secure-software-engineering / phasarLinks
A LLVM-based static analysis framework.
☆996Updated last week
Alternatives and similar repositories for phasar
Users that are interested in phasar are comparing it to the libraries listed below
Sorting:
- A wrapper script to build whole-program LLVM bitcode files☆716Updated 8 months ago
- SymCC: efficient compiler-based symbolic execution☆832Updated 3 months ago
- Static Value-Flow Analysis Framework for Source Code