A MILP-based Approach to Path Sensitization of Embedded Software

Provided by: edaa
Topic: Hardware
Format: PDF
The authors propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In order to seamlessly handle variable values, pointers and arrays, and variable aliasing, their method uses memory addresses for data references. This implies a dynamic methodology where all decisions are taken as the program executes. During execution, they gather constraints for the MILP problem, whose solution will directly yield the input values for the desired path.

Find By Topic