Module visitor

rapx::analysis::senryx

Module visitor 

Source

Structs§

BodyVisitor
Visitor that traverses MIR body and builds symbolic and pointer chains. Holds analysis state such as type mappings, value domains and constraints.
CheckResult

Enums§

PlaceTy