| NASA-SW-VnV/ikos |
1,935 |
|
0 |
0 |
about 2 years ago |
0 |
|
38 |
other |
C++ |
| Static analyzer for C/C++ based on the theory of Abstract Interpretation. |
| secure-software-engineering/phasar |
857 |
|
0 |
0 |
over 2 years ago |
0 |
|
37 |
other |
C++ |
| A LLVM-based static analysis framework. |
| seahorn/seahorn |
391 |
|
0 |
0 |
over 2 years ago |
0 |
|
20 |
other |
C |
| SeaHorn Verification Framework |
| mchalupa/dg |
376 |
|
0 |
0 |
over 3 years ago |
0 |
|
78 |
mit |
C++ |
| [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode. |
| learn-llvm/awesome-llvm |
369 |
|
0 |
0 |
about 2 years ago |
0 |
|
0 |
|
Python |
| A curated list of awesome LLVM (including Clang, etc) related resources. |
| seahorn/clam |
240 |
|
0 |
0 |
over 2 years ago |
0 |
|
3 |
apache-2.0 |
C |
| Static Analyzer for LLVM bitcode based on Abstract Interpretation |
| Enna1/LLVM-Study-Notes |
123 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
other |
Python |
| Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0 |
| GaloisInc/MATE |
120 |
|
0 |
0 |
over 3 years ago |
0 |
|
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. |
| roachspray/opcde2017 |
112 |
|
0 |
0 |
almost 9 years ago |
0 |
|
0 |
|
C++ |
| Slides and very basic examples |
| GaloisInc/cclyzerpp |
89 |
|
0 |
0 |
almost 3 years ago |
0 |
|
27 |
bsd-3-clause |
C++ |
| cclyzer++ is a precise and scalable global pointer analysis for LLVM code. |
