- api/
- constraints/
- flow/
- infrastructure/
- meta/
- nodes/
- phases/SubstrateIntrinsicGraphBuilder.java
- plugins/PointstoGraphBuilderPlugins.java
- reports/
- results/
- typestate/
- typestore/
- util/
- AnalysisObjectScanner.java
- AnalysisPolicy.java
- BigBang.java
- BytecodeSensitiveAnalysisPolicy.java
- DefaultAnalysisPolicy.java
- HeapScanningPolicy.java
- ObjectScanner.java