Module FileClosed

Import path

Critical.FileClosed

Imports

PointsTo

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

Predicates

Classes