search

mchalupa / dg

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

Fix bugs in annotator #417

Closed lzaoral closed 2 years ago

lzaoral commented 2 years ago