angr.analyses.decompiler.semantic_naming.array_index_naming

Semantic variable naming for array indices.

This module detects variables used as array indices and names them appropriately.

class angr.analyses.decompiler.semantic_naming.array_index_naming.ArrayIndexNaming

Bases: ClinicNamingBase

Detects variables used as array indices and renames them.

Array index patterns detected: - base + idx * scale (common array indexing) - base + idx (byte array or pointer arithmetic) - ptr[idx] style access

PRIORITY: int = 50

__init__(*args, **kwargs)

analyze()

Analyze the graph for array index patterns.

Return type:

dict[SimVariable, str]

Returns:

Dictionary mapping SimVariable to new name