Pa.llvm
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Ikos | 1,935 | 3 months ago | 38 | other | C++ | |||||
| Static analyzer for C/C++ based on the theory of Abstract Interpretation. | ||||||||||
| Phasar | 857 | 3 months ago | 37 | other | C++ | |||||
| A LLVM-based static analysis framework. | ||||||||||
| Awesome Llvm | 395 | a month ago | Python | |||||||
| A curated list of awesome LLVM (including Clang, etc) related resources. | ||||||||||
| Seahorn | 391 | 6 months ago | 20 | other | C | |||||
| SeaHorn Verification Framework | ||||||||||
| Dg | 376 | a year ago | 78 | mit | C++ | |||||
| [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode. | ||||||||||
| Clam | 247 | a month ago | 3 | apache-2.0 | C | |||||
| Static Analyzer for LLVM bitcode based on Abstract Interpretation | ||||||||||
| Llvm Study Notes | 127 | 4 months ago | other | Python | ||||||
| Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0 | ||||||||||
| Mate | 120 | a year ago | 32 | bsd-3-clause | Python | |||||
| MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs. | ||||||||||
| Opcde2017 | 112 | 7 years ago | C++ | |||||||
| Slides and very basic examples | ||||||||||
| Cclyzerpp | 89 | a year ago | 27 | bsd-3-clause | C++ | |||||
| cclyzer++ is a precise and scalable global pointer analysis for LLVM code. | ||||||||||
Alternatives To Pa.llvmSelect To Compare
Alternative Project Comparisons
Popular Llvm Projects
Popular Program Analysis Projects
Popular Compilers Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Llvm
Symbolic Execution
Program Analysis
Taint Analysis