Skip to content

Latest commit

 

History

History
37 lines (24 loc) · 1.04 KB

readme.md

File metadata and controls

37 lines (24 loc) · 1.04 KB
Raw

pointer analysis

A simple prototype of pointer analysis which trys to be as simple as possible to learn the basic algorithm. It currently includes:

  • anderson/inclusion pointer analysis
  • steensgard/unification pointer analysis

the default chosen algorithm is anderson, you can change to steensgard by adding command line argument -steen.

Build & run

Hint: You may need to change the hard-coded llvm path in CMakeList.txt!

  mkdir build
  cd build
  cmake .. 

  # run a simple test
  chmod +x run.sh
  ./run.sh bc/test00.bc
  # for steensgard/unification pointer analysis, type
  ./run.sh bc/test00.bc -steen

the points-to-graph will output as a ".png" file if you have graphviz installed. The sample figure(steensgard with test00.c):

other command line arguments:

  • -dump-module: dump module
  • -dump-cons: dump constraints

reference

https://github.com/grievejia/andersen : A really good anderson implementation for study, but it's more complicated.