Cross Translation Unit analysis capability for Clang Static Analyzer. (Fork of official clang at http://llvm.org/git/clang)
☆15Nov 27, 2019Updated 6 years ago
Alternatives and similar repositories for clang
Users that are interested in clang are comparing it to the libraries listed below
Sorting:
- Toolset to do differential testing on the Clang Static Analyzer☆22Nov 21, 2022Updated 3 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- ☆38Jan 4, 2015Updated 11 years ago
- ☆26Oct 13, 2015Updated 10 years ago
- CodeCompass is a software comprehension tool for large scale software written in C/C++, C# and Python.☆589Updated this week
- A companion extension to PgBouncer that can be used to manage and run PgBouncer from Postgres☆15May 29, 2024Updated last year
- An easy guide to Clang Static Analyzer extension.☆144Mar 21, 2020Updated 5 years ago
- The home of the clang-based implementation of lifetime safety warnings.☆41Jul 14, 2021Updated 4 years ago
- The Captive Hypervisor☆45Dec 11, 2025Updated 2 months ago
- Linux kernel for Qualcomm's Hexagon processors☆10Mar 14, 2013Updated 12 years ago
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago
- ☆10Jul 24, 2017Updated 8 years ago
- Misuse cases of Cryptography in real world software products☆12Nov 4, 2018Updated 7 years ago
- ☆16Feb 27, 2026Updated last week
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Oct 2, 2017Updated 8 years ago
- ☆17Feb 10, 2026Updated 3 weeks ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- Yet another implementation of TI C6x DSP simulator☆12Jan 16, 2014Updated 12 years ago
- ☆10Feb 23, 2024Updated 2 years ago
- QEMU bare metal test for validating TrustZone support☆11Apr 23, 2015Updated 10 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆10Aug 21, 2019Updated 6 years ago
- RcppDeepState, a simple way to fuzz test code in Rcpp packages☆10Oct 24, 2022Updated 3 years ago
- KLEE / CSE Project☆48Apr 3, 2020Updated 5 years ago
- CRAX: software CRash analysis for Automatic eXploit generation☆50Aug 19, 2015Updated 10 years ago
- fast float to string algorithm.☆26Updated this week
- distorm3☆12Jun 16, 2012Updated 13 years ago
- writeup of some ctf challs☆11Apr 20, 2025Updated 10 months ago
- Python code that can parse mach-o and ELF files, parse DWARF debug info and generate a new symbolication format.☆18Nov 9, 2017Updated 8 years ago
- Library for commenting things with violations from static code analysis.☆12Oct 7, 2025Updated 5 months ago
- Port of Amber ARM Core project to Marsohod2 platform☆13Dec 4, 2019Updated 6 years ago
- OpenRewrite recipes for data flow analysis.☆15Feb 25, 2026Updated last week
- CLang Plugin for calculating AST hashes☆15Feb 11, 2019Updated 7 years ago
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆14Dec 28, 2024Updated last year
- A UEFI Firmware for blueline (Google Pixel3)☆13May 26, 2021Updated 4 years ago
- E2E, API and Visual Tests with Robot Framework, SeleniumLib, RequestsLib, EyesLib and FakerLib☆15Apr 24, 2024Updated last year
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Feb 28, 2026Updated last week