search

mchalupa / dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
MIT License
482 stars 135 forks source link

Model argv[] #280

Open mchalupa opened 5 years ago

mchalupa commented 5 years ago

We do not model this explicitly, so we get unknown pointer. We can do better.

mchalupa commented 5 years ago

We can also add a new special memory location argv