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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Toolset to do differential testing on the Clang Static Analyzer☆24Nov 21, 2022Updated 3 years ago
- ATTENTION: The lifetime safety warnings have move to:☆18Aug 22, 2019Updated 7 years ago
- CodeCompass is a software comprehension tool for large scale software written in C/C++, C# and Python.☆614Updated this week
- An easy guide to Clang Static Analyzer extension.☆146Mar 21, 2020Updated 6 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Misuse cases of Cryptography in real world software products☆11Nov 4, 2018Updated 7 years ago
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆48Nov 10, 2017Updated 8 years ago
- writeup of some ctf challs☆11Apr 20, 2025Updated last year
- ☆26Oct 13, 2015Updated 11 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆17Jul 30, 2026Updated 2 months ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 4 years ago
- ☆15Sep 26, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆14Oct 27, 2022Updated 3 years ago
- distorm3☆12Jun 16, 2012Updated 14 years ago
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,631Updated this week
- Template (Compile-time) Turing Machine in C++20☆12Jan 31, 2021Updated 5 years ago
- Fast Binary Translator for the Kernel☆28Sep 23, 2013Updated 13 years ago
- The LOOM IR instrumentation framework☆19Apr 23, 2024Updated 2 years ago
- jeap, exploit 10 in 0ctf 2016 quals☆15Mar 14, 2016Updated 10 years ago
- The MonoSAT SMT solver with a CTL model checking theory☆10Oct 21, 2024Updated 2 years ago
- PESTT: PESTT EDUCATIONAL SOFTWARE TESTING TOOL☆14Mar 12, 2014Updated 12 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 0CTF 2015 Final web problem☆16Apr 27, 2015Updated 11 years ago
- ☆18May 13, 2019Updated 7 years ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆11Aug 21, 2019Updated 7 years ago
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆20Feb 18, 2018Updated 8 years ago
- E2E, API and Visual Tests with Robot Framework, SeleniumLib, RequestsLib, EyesLib and FakerLib☆17Apr 24, 2024Updated 2 years ago
- QSEE Shellcode to directly hijack the "Normal World" Linux Kernel☆55May 5, 2016Updated 10 years ago
- ☆12May 24, 2022Updated 4 years ago
- ☆12May 8, 2017Updated 9 years ago
- Tools released in CSS 2019☆38Aug 1, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CLang Plugin for calculating AST hashes☆16Feb 11, 2019Updated 7 years ago
- clang checker to find heartbleed☆87Apr 28, 2014Updated 12 years ago
- Python library & CLI for your Outback/Mate3s solar power system☆13Feb 28, 2022Updated 4 years ago
- 一个通过提取 fuzz crash 触发的调用堆栈 hash， 来动态分类的小工具☆15Nov 24, 2021Updated 4 years ago
- Information about Cassowary and implementation☆16Oct 6, 2022Updated 4 years ago
- tree command for Go AST☆13Aug 4, 2025Updated last year
- ☆11May 21, 2021Updated 5 years ago