NASA-SW-VnV / ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
☆2,329Updated last month
Related projects ⓘ
Alternatives and complementary repositories for ikos
- A superoptimizer for LLVM IR☆2,168Updated 2 months ago
- C Bounded Model Checker☆848Updated this week
- ☕ GDBFrontend is an easy, flexible and extensible gui debugger.☆2,855Updated 5 months ago
- C-Reduce, a C and C++ program reducer☆1,307Updated 5 months ago
- static analysis of C/C++ code☆5,825Updated this week
- 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,221Updated last month
- KLEE Symbolic Execution Engine☆2,649Updated 2 weeks ago
- Csmith, a random generator of C programs☆1,021Updated 9 months ago
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,657Updated 2 years ago
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,755Updated 4 months ago
- Binary Analysis Platform☆2,071Updated 3 months ago
- A LLVM-based static analysis framework.☆942Updated last week
- Bloaty: a size profiler for binaries☆4,790Updated last month
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆2,345Updated 4 months ago
- The Linux perf GUI for performance analysis.☆4,153Updated this week
- zapcc is a caching C++ compiler based on clang, designed to perform faster compilations☆1,250Updated 4 years ago
- A heap memory profiler for Linux☆3,343Updated this week
- A categorized list of C++ resources.☆4,568Updated this week
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,518Updated last year
- Record and Replay Framework☆9,193Updated this week
- Dynamic Instrumentation Tool Platform☆2,672Updated this week
- A tool for use with clang to analyze #includes in C and C++ source files☆4,127Updated this week
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,416Updated 2 weeks ago
- ☆739Updated this week
- Automatic verification of LLVM optimizations☆795Updated last week
- The compiler is available for download. Get it!☆2,407Updated last year
- LIEF - Library to Instrument Executable Formats (C++, Python, Rust)☆4,502Updated this week
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆632Updated 3 weeks ago
- Conan - The open-source C and C++ package manager☆8,285Updated this week
- llvm-mctoll☆816Updated 4 months ago