Skip to content

SVF-2.5
Compare
Choose a tag to compare
@yuleisui yuleisui released this 22 Jul 01:24
· 1583 commits to master since this release
SVF-2.5
b0ef2ba
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. SVF IR design and implementation (SVFStmt, SVFVar and etc.)
  2. Refactoring to further remove LLVM dependence
  3. General CFL implementation
  4. External API implementation based on json read/write + programmatically side-effects
  5. Write/read SVFG into/from a user-specified text file
  6. Array-sensitive pointer analysis (-model-arrays)
  7. Supporting data structure for symbolic solving (-model-consts)
  8. Make version-based vfs pointer analysis multithreaded
Assets 2
Loading