Module pointer 

Field-sensitive Steensgaard alias / points-to analysis.

Sibling to crate::ssa::heap: where heap tracks per-value container identity for element abstractions, this module tracks field-sensitive points-to so the engine can distinguish a receiver from a sub-field. c.mu.Lock() acquires on Field(c, mu), not c, so the resource-lifecycle pass doesn’t mis-attribute the acquire. Cross-method field flow (method A writes this.cache, method B reads it) observes the shared Field(SelfParam, cache) location.

Re-exports

pub use analysis::PointsToFacts;

pub use analysis::analyse_body;

pub use analysis::extract_field_points_to;

pub use analysis::is_container_read_callee_pub;

pub use analysis::is_container_write_callee;

pub use domain::AbsLoc;

pub use domain::LocId;

pub use domain::LocInterner;

pub use domain::PointsToSet;

pub use domain::PtrProxyHint;

Modules

analysis

Field-sensitive Steensgaard points-to analysis driver.

domain

Abstract domain for field-sensitive Steensgaard points-to.

Functions

is_enabled

Returns whether the field-sensitive pointer analysis is enabled. Set NYX_POINTER_ANALYSIS=0 (or false) to disable.