Stars
62
Forks
11
Language
C++
Last Updated
Mar 08, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| C++ | 688 | A LLVM-based static analysis framework. | Aug 14, 2022 | |
| C++ | 2 | A LLVM-based static analysis framework. | Apr 01, 2022 | |
| Python | 347 | An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing. | Aug 02, 2022 | |
| C++ | 8 | Anderson points-to analysis implementation based on LLVM | Apr 26, 2022 | |
| Java | 4 | Taint analysis implementation based on Heros and Soot | Jun 20, 2023 | |
| C++ | 89 | cclyzer++ is a precise and scalable global pointer analysis for LLVM code. | Apr 14, 2023 | |
| Python | 55 | Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis | Jul 20, 2023 | |
| LLVM | 4 | Taint-based program analysis framework for empirical performance modeling. | Sep 27, 2021 | |
| Go | 23 | Automatically taint and evict nodes with high CPU load | Apr 05, 2023 | |
| C++ | 2 | libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis) | Jul 19, 2023 | |
| C++ | 2 | Static analysis using symbolic execution on top of LLVM IR | Sep 19, 2022 | |
| Python | 6 | Type-sensitive points-to analysis prototype in Datalog for an llvm-like language | Dec 16, 2019 | |
| Matlab | 16 | A MATLAB Toolbox for High-order Tensor Data Decompositions and Analysis | Feb 14, 2023 | |
| C | 222 | Static Analyzer for LLVM bitcode based on Abstract Interpretation | May 09, 2023 | |
| Python | 3 | High frequency factors based on order and trade data. | Jun 12, 2023 | |
| JavaScript | 3 | Static Analysis based on Esprima | Aug 25, 2014 | |
| Julia | 52 | High-level, high-performance, constraint-based reconstruction and analysis in Julia | Jul 28, 2022 | |
| C++ | 57 | A curvilinear mesh generator for high order finite element analysis | May 09, 2023 | |
| C++ | 183 | Andersen's inclusion-based pointer analysis re-implementation in LLVM | Mar 22, 2023 | |
| C | 8 | try to do static analysis on llvm as a pass with differential-datalog | Sep 15, 2022 | |
| MATLAB | 9 | Modulation recognition using feature-based (High order cumulant) method and CNN-based method. | May 24, 2023 | |
| C++ | 9 | precise and high-resolution spatiotemporal pandemic simulation for entire countries | Aug 03, 2022 | |
| C++ | 19 | Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton. | Jun 17, 2022 | |
| LLVM | 706 | Playing with the Tigress software protection. Break some of its protections and solve their reverse … | May 03, 2023 | |
| C++ | 2 | A LLVM Alias Analysis pass based on Target Library Information | Jan 20, 2023 | |
| Python | 122 | Static code analysis tool based on Elasticsearch | Sep 23, 2022 | |
| JavaScript | 52 | dva static analysis based on javascript ast. | Oct 18, 2021 | |
| Rust | 24 | Rust-based static analysis for TypeScript projects | Jun 21, 2023 | |
| C++ | 432 | Precise localization based on GNSS and IMU. | Apr 25, 2023 | |
| C# | 16 | Static analysis of MSIL based on the analysis-net infrastructure | Apr 20, 2021 | |
| LLVM | 9 | Houses LLVM static analyzer and detectors for smart contracts | May 26, 2022 | |
| Python | 2 | Efficient and precise algorithms for numerical analysis of fundamental frequencies | Oct 08, 2021 | |
| Python | 85 | Precise phylogenetic analysis of microbial isolates and genomes from metagenomes | Apr 28, 2023 | |
| Clojure | 93 | Pinpointer is yet another clojure.spec error reporter based on a precise error analysis | May 23, 2022 | |
| C++ | 2 | Integer Range Analysis pass implemented for LLVM (High Performance Processors and Systems | UIC 569, … | Jan 31, 2023 | |
| C++ | 135 | Fiuggi Compiler Collection (FCC) is a high-performance compiler based on LLVM. | Sep 02, 2022 | |
| Python | 192 | An llvm-based framework for generating and calling into high-performance native code from Python. | Apr 29, 2023 | |
| Go | 5 | Go AST based static analysis tool with Rego | Sep 07, 2022 | |
| Go | 11 | Don't: template-based, decentralized static analysis for Go | Nov 23, 2018 | |
| C++ | 2 | Rate based Static Impact Analysis for robotic systems | Feb 01, 2019 | |
| Python | 27 | Static Php Analysis and Fuzzer | Jul 19, 2021 | |
| Python | 10 | Modes and nodes for high-order discretizations | Aug 16, 2022 | |
| C | 16 | Ghidra P-Code emulation and static LLVM lifting in Python | Jun 22, 2022 | |
| C++ | 427 | [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM … | Jun 01, 2023 | |
| JavaScript | 2171 | RBush — a high-performance JavaScript R-tree-based 2D spatial index for points and rectangles | Apr 24, 2023 | |
| Java | 24 | A points-to and alias analysis benchmark suite | Apr 02, 2022 | |
| Matlab | 2 | Image Processing. Segmentation and high energy centroid points calculation. | Apr 07, 2023 | |
| C++ | 138 | A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA. | Jan 15, 2023 | |
| Racket | 3 | A static analysis framework and suite | Feb 06, 2022 | |
| Haskell | 43 | Fortran parsing and static analysis infrastructure | Mar 29, 2023 |