Project

class pySym.Project.Project(file, debug=False)

Bases: object

factory

file_name

str – Name of the file that’s being symbolically executed.

hook(address, callback)

Registers pySym to hook address and call the callback when hit.

Callback function will be called with the current state as the first parameter.

Args:

address (int): Line number of the source code to hook this callback to. callback (types.FunctionType): Function to call when line number is hit.

Example:

>>> def my_callback(state):
        print(state)
>>> project.hook(12, my_callback)