search

arcana-lab / noelle

NOELLE Offers Empowering LLVM Extensions
MIT License
72 stars 35 forks source link

Update may_points_to_analysis and pdg_analysis #97

Closed chenxiao2402 closed 9 months ago

chenxiao2402 commented 9 months ago
  1. Add an intra-procedural, flow-insensitive, field-insensitive may-points-to-analysis in src/core/may_points_to_analysis.
  2. In src/core/pdg_analysis, replace AllocAA with this may-points-to-analysis to check alias info more precisely.
  3. In src/core/pdg_analysis, remove some over-conservative dependences between LoadInst and print functions.
  4. In tests/condor/bin/runRegression.sh, early quit if test case not exits.