reasoner/datalog/points_to_analysis library
Classes
- PointsToAnalysis
- High-level API for points-to analysis results.
Extensions
- FunctionPointsToAnalysisExtension on FunctionIr
- Extension to add analysis capability to FunctionIr.
- PointsToAnalysisExtension on FileIr
- Extension to add analysis capability to FileIr.