Skip to content

A stable release for LLVM-9.0.0
Compare
Choose a tag to compare
@yuleisui yuleisui released this 28 Mar 06:52
· 3279 commits to master since this release
SVF-1.8
8113b1f

This is a stable release with WPA, MTA, DDA and Saber in place. The next release will be significant refactoring of SVF code to decouple SVF from LLVM to make SVF language-agnostic.

Assets 2
Loading