NASA-SW-VnV / ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
☆2,021Updated 2 weeks ago
Related projects: ⓘ
- C-Reduce, a C and C++ program reducer☆1,249Updated 3 months ago
- KLEE Symbolic Execution Engine☆2,605Updated last month
- Csmith, a random generator of C programs☆1,005Updated 7 months ago
- A superoptimizer for LLVM IR☆2,111Updated 3 weeks ago
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,743Updated 2 months ago
- Smart pointers for the (GNU) C programming language☆1,573Updated last year
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,202Updated this week
- CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy☆2,200Updated this week
- Bloaty: a size profiler for binaries☆4,722Updated 2 weeks ago
- A tool for use with clang to analyze #includes in C and C++ source files☆4,063Updated last week
- Library to parse and work with the C++ AST☆1,688Updated 3 months ago
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,511Updated last year
- QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.☆991Updated 2 months ago
- zapcc is a caching C++ compiler based on clang, designed to perform faster compilations☆1,250Updated 4 years ago
- Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C☆2,105Updated 2 months ago
- C Bounded Model Checker☆819Updated this week
- ☕ GDBFrontend is an easy, flexible and extensible gui debugger.☆2,821Updated 3 months ago
- ☆697Updated this week
- STOKE: A stochastic superoptimizer and program synthesizer☆735Updated last year
- A mini-preprocessor library to demostrate the recursive capabilites of the preprocessor☆912Updated 4 years ago
- Memory Debugger for Windows, Linux, Mac, and Android☆2,416Updated 2 weeks ago
- Automatic verification of LLVM optimizations☆758Updated this week
- The CompCert formally-verified C compiler☆1,851Updated last week
- ☆600Updated this week
- A categorized list of C++ resources.☆4,471Updated this week
- A heap memory profiler for Linux☆3,233Updated last week
- A unit test-like interface for fuzzing and symbolic execution☆814Updated 3 months ago
- C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server p…☆2,343Updated 4 years ago
- static analysis of C/C++ code☆5,713Updated this week
- A LLVM-based static analysis framework.☆931Updated last week