Expand description
Static Byte Code Analysis
Structs§
- Analysis
- Result of the executable analysis
- CfgNode
- A node of the control-flow graph
- DfgEdge
- An edge of the data-flow graph
- Topological
Index - Used for topological sort
Enums§
- Data
Resource - The register or memory location a data-flow edge guards
- DfgEdge
Kind - The kind of a data-flow edge
- DfgNode
- An instruction or Φ node of the data-flow graph
Type Aliases§
- Trace
LogEntry - Register state recorded after executing one instruction