Skip to content

SVF-2.6
Compare
Choose a tag to compare
@yuleisui yuleisui released this 30 Dec 06:43
· 949 commits to master since this release
SVF-2.6
a60d125
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  1. Improvements in SVF IR design and implementation (including SVFType, SVFValue, SVFModule)
  2. Completely remove LLVM dependence (LLVM data structures are contained in the svf-llvm folder)
  3. Abstract Execution
  4. CMake simplified (two folders and generating svfcore.a and svfllvm.a)
  5. Address sanitiser CI/CD
  6. CFL POCR implementation
  7. Reading external API summary from ExtAPI.json
  8. Various bug fixings
Assets 2
Loading