angr.analyses.init_finder

class angr.analyses.init_finder.SimEngineInitFinderVEX

Bases: SimEngineNostmtVEX[None, Base | int | None, None]

The VEX engine class for InitFinder.

__init__(project, replacements, overlay, pointers_only=False)

static is_concrete(expr)

Return type:

bool

class angr.analyses.init_finder.InitializationFinder

Bases: ForwardAnalysis, Analysis

Finds possible initializations for global data sections and generate an overlay to be used in other analyses later on.