[−][src]Module falcon::analysis::stack_pointer_offsets

Determine offset of stack pointer from function entry.

Determine the value of the stack pointer at every location in the function as an offset from the stack pointer's value at function entry.

This analysis works off a very simple lattice, Top/Value/Bottom, where Value is an isize.

Enums

The offset of the stack pointer from the beginning of the function.

perfect	Returns true if there is a valid StackPointerOffset value for every location in the function.
stack_pointer_offsets	Determine offset of stack pointer from program entry at each place in the program.