Module dominated_graph

rapx::analysis::senryx

Module dominated_graph 

Source

Structs§

DominatedGraph
A dominated graph.
FunctionSummary
A summary of a function’s behavior.
InterResultNode
A node in the intermediate result graph.
States
A collection of state properties for a memory location.
VariableNode
A node in the dominated graph.

Functions§

html_escape 🔒
Escape HTML characters in a string.