| joernio/joern |
1,685 |
|
0 |
15 |
about 2 years ago |
1,315 |
November 29, 2023 |
293 |
apache-2.0 |
Scala |
| Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc |
| japaric/cargo-call-stack |
469 |
|
0 |
0 |
about 3 years ago |
16 |
February 27, 2023 |
18 |
apache-2.0 |
Rust |
| Whole program static stack analysis |
| simit-lang/simit |
429 |
|
0 |
0 |
almost 7 years ago |
0 |
|
51 |
other |
C++ |
| A language for computing on sparse systems |
| 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. |
| ChrisCummins/ProGraML |
253 |
|
0 |
0 |
almost 3 years ago |
4 |
January 21, 2022 |
21 |
other |
C++ |
| A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations |
| goldsborough/ig |
167 |
|
0 |
0 |
almost 9 years ago |
5 |
May 11, 2017 |
0 |
mit |
Python |
| :fireworks: Include graph visualization for C++ |
| praezi/rust |
54 |
|
0 |
0 |
about 7 years ago |
0 |
|
2 |
other |
Rust |
| RustPräzi: Representing crates.io as a call-based dependency network |
| cdisselkoen/llvm-ir-analysis |
53 |
|
0 |
1 |
over 2 years ago |
6 |
May 31, 2023 |
0 |
mit |
Rust |
| ShiftLeftSecurity/llvm2graphml |
37 |
|
0 |
0 |
about 6 years ago |
0 |
|
0 |
apache-2.0 |
C++ |
| Explore LLVM Bitcode interactively using a graph database |
| nuchi/tf-to-xla-to-wasm |
29 |
|
0 |
0 |
almost 8 years ago |
0 |
|
0 |
mit |
|
| Compile a tensorflow graph to WebAssembly (via XLA) |