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:
- This is an Eclipse plugin that shows C/C++ static analysis results found by Clang Static Analyzer and Clang Tidy☆31Jan 23, 2020Updated 6 years ago
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 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.☆615Updated this week
- An easy guide to Clang Static Analyzer extension.☆146Mar 21, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Misuse cases of Cryptography in real world software products☆11Nov 4, 2018Updated 8 years ago
- Proposal to add static reflection to C++☆14Jun 30, 2018Updated 8 years ago
- ☆26Oct 13, 2015Updated 11 years ago
- writeup of some ctf challs☆11Apr 20, 2025Updated last year
- ☆13Jul 31, 2016Updated 10 years ago
- Text objects and motions for Latex editing in Vim.☆14Sep 28, 2020Updated 6 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 13 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆17Oct 29, 2026Updated 2 weeks ago
- CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.☆2,634Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- collection of family oriented self hosted apps/services☆16Jul 26, 2025Updated last year
- 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
- ☆14Oct 27, 2022Updated 4 years ago
- distorm3☆12Jun 16, 2012Updated 14 years ago
- Template (Compile-time) Turing Machine in C++20☆12Jan 31, 2021Updated 5 years ago
- Discovery of Structured Parallelism In Sequential and Parallel Code☆10Feb 13, 2021Updated 5 years ago
- C++ implementation of RCU based on reference counting and hazard pointers.☆28Jan 24, 2013Updated 13 years ago
- jeap, exploit 10 in 0ctf 2016 quals☆15Mar 14, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 0CTF 2015 Final web problem☆16Apr 27, 2015Updated 11 years ago
- DBT-RISE - A versatile Dynamic Binary Translation (DBT) based environment to implement instruction set simulator (ISS)☆12Updated this week
- E2E, API and Visual Tests with Robot Framework, SeleniumLib, RequestsLib, EyesLib and FakerLib☆17Apr 24, 2024Updated 2 years ago
- ☆12May 8, 2017Updated 9 years ago
- ☆18May 13, 2019Updated 7 years ago
- QSEE Shellcode to directly hijack the "Normal World" Linux Kernel☆55May 5, 2016Updated 10 years ago
- clang checker to find heartbleed☆87Apr 28, 2014Updated 12 years ago
- 一个通过提取 fuzz crash 触发的调用堆栈 hash， 来动态分类的小工具☆15Nov 24, 2021Updated 4 years ago
- The OpenCpuX API☆10Jun 26, 2026Updated 4 months 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.
- Library with JIT (Just-in-time) compilation support to optimize performance of small and medium matrix multiplication☆14Apr 27, 2021Updated 5 years ago
- Personal task reminder for programmers.☆10Feb 4, 2021Updated 5 years ago
- ☆23Nov 5, 2021Updated 5 years ago
- PESTT: PESTT EDUCATIONAL SOFTWARE TESTING TOOL☆14Mar 12, 2014Updated 12 years ago
- An aid for developing correct WebAssembly implementations through generative fuzzing☆15Aug 30, 2022Updated 4 years ago
- ☆14Jun 15, 2026Updated 5 months ago
- ☆11May 21, 2021Updated 5 years ago
Are these results useful?