Module analysis 

Field-sensitive Steensgaard points-to analysis driver.

Flow-insensitive union-find over SSA values; field sensitivity comes from representing each obj.f access as a structural AbsLoc::Field keyed by (parent_loc, field).

Structs

PointsToFacts

Per-body points-to result.

Functions

analyse_body

Analyse a single body and return its PointsToFacts.

extract_field_points_to

Derive a crate::summary::points_to::FieldPointsToSummary from per-body points-to facts.

is_container_read_callee_pub

Public re-export of is_container_read_callee for the taint engine.

is_container_write_callee

Container-write callees, mirror of is_container_read_callee.