angr.analyses.analysis

class angr.analyses.analysis.AnalysisLogEntry

Bases: object

__init__(message, exc_info=False)
format()
Return type:

str

class angr.analyses.analysis.AnalysesHub

Bases: PluginVendor[Any]

This class contains functions for all the registered and runnable analyses,

__init__(project)
class angr.analyses.analysis.KnownAnalysesPlugin

Bases: Protocol

Identifier: type[Identifier]
CalleeCleanupFinder: type[CalleeCleanupFinder]
VSA_DDG: type[VSA_DDG]
CDG: type[CDG]
BinDiff: type[BinDiff]
CFGEmulated: type[CFGEmulated]
CFB: type[CFBlanket]
CFBlanket: type[CFBlanket]
CFG: type[CFG]
CFGFast: type[CFGFast]
StaticHooker: type[StaticHooker]
DDG: type[DDG]
CongruencyCheck: type[CongruencyCheck]
Reassembler: type[Reassembler]
BackwardSlice: type[BackwardSlice]
BinaryOptimizer: type[BinaryOptimizer]
VFG: type[VFG]
LoopFinder: type[LoopFinder]
Disassembly: type[Disassembly]
Veritesting: type[Veritesting]
CodeTagging: type[CodeTagging]
BoyScout: type[BoyScout]
VariableRecoveryFast: type[VariableRecoveryFast]
VariableRecovery: type[VariableRecovery]
ReachingDefinitions: type[ReachingDefinitionsAnalysis]
CompleteCallingConventions: type[CompleteCallingConventionsAnalysis]
Clinic: type[Clinic]
Propagator: type[PropagatorAnalysis]
CallingConvention: type[CallingConventionAnalysis]
Decompiler: type[Decompiler]
XRefs: type[XRefsAnalysis]
__init__(*args, **kwargs)
class angr.analyses.analysis.AnalysesHubWithDefault

Bases: AnalysesHub, KnownAnalysesPlugin

This class has type-hinting for all built-in analyses plugin

class angr.analyses.analysis.AnalysisFactory

Bases: Generic

__init__(project, analysis_cls)
Parameters:
prep(fail_fast=None, kb=None, progress_callback=None, show_progressbar=False)
Return type:

type[TypeVar(A, bound= Analysis)]

Parameters:
class angr.analyses.analysis.Analysis

Bases: object

This class represents an analysis on the program.

Variables:

  • project – The project for this analysis.

  • kb (KnowledgeBase) – The knowledgebase object.

  • _progress_callback – A callback function for receiving the progress of this analysis. It only takes one argument, which is a float number from 0.0 to 100.0 indicating the current progress.

  • _show_progressbar (bool) – If a progressbar should be shown during the analysis. It’s independent from _progress_callback.

  • _progressbar (progress.Progress) – The progress bar object.

project: Project
kb: KnowledgeBase
errors: list[AnalysisLogEntry] = []
named_errors: defaultdict[str, list[AnalysisLogEntry]] = {}
log: list
property ram_usage: float

Return the current RAM usage of the Python process, in bytes. The value is updated at most once per second.

angr.analyses.analysis.register_analysis(cls, name)