Module dominated_graph 

Dominated graph model used by the MIR visitor and checkers. Dominated graph state model for Senryx MIR analysis.

The graph stores MIR locals, synthetic memory objects, field-sensitive nodes, points-to relationships, contract fact sets, and operational trace states (OTS). Checkers query this graph to decide whether an unsafe call’s safety contracts are satisfied on the current path.

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.