Module MemoryFreed

Import path

Critical.MemoryFreed

Imports

PointsTo

Provides classes and predicates implementing a points-to analysis based on Steensgaard’s algorithm, extended to support fields.

Predicates

Classes