angr.analyses.decompiler.semantic_naming.call_result_naming

Semantic variable naming for function call results.

This module detects variables that store function call results and names them based on the called function (e.g., malloc result -> ptr, strlen result -> len).

class angr.analyses.decompiler.semantic_naming.call_result_naming.CallResultNaming

Bases: ClinicNamingBase

Detects variables that store function call results and names them based on the called function.

PRIORITY: int = 40
__init__(*args, **kwargs)
analyze()

Analyze the graph for function call result patterns.

Return type:

dict[SimVariable, str]

Returns:

Dictionary mapping SimVariable to new name