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

CI: update SVF to latest upstream release #422

Closed lzaoral closed 2 years ago

lzaoral commented 2 years ago

SVF now uses LLVM 13.

mchalupa commented 2 years ago

Great, thanks!