Alternatives and similar repositories for ikos

Users that are interested in ikos are comparing it to the libraries listed below

• diffblue / cbmc
  C Bounded Model Checker
  ☆986Updated last week
• checkedc / checkedc
  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,252Updated last year
• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆2,980Updated 2 weeks ago
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,832Updated this week
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆5,150Updated this week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,622Updated last year
• google / souper
  A superoptimizer for LLVM IR
  ☆2,305Updated last year
• google / fuzztest
  ☆929Updated last week
• Snaipe / Criterion
  A cross-platform C and C++ unit testing framework for the 21st century
  ☆2,189Updated last month
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,491Updated this week
• KDE / heaptrack
  A heap memory profiler for Linux
  ☆3,860Updated 2 weeks ago
• mjansson / rpmalloc
  Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
  ☆2,364Updated last month
• seanbaxter / circle
  The compiler is available for download. Get it!
  ☆2,538Updated 2 years ago
• include-what-you-use / include-what-you-use
  A tool for use with clang to analyze #includes in C and C++ source files
  ☆4,553Updated 2 weeks ago
• pizlonator / fil-c
  Fil-C: completely compatible memory safety for C and C++
  ☆2,592Updated this week
• root-project / cling
  The cling C++ interpreter
  ☆4,057Updated this week
• Ericsson / CodeCompass
  CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
  ☆579Updated last week
• pfultz2 / Cloak
  A mini-preprocessor library to demostrate the recursive capabilites of the preprocessor
  ☆963Updated 5 years ago
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,136Updated last year
• namhyung / uftrace
  Function graph tracer for C/C++/Rust/Python
  ☆3,355Updated this week
• yrnkrn / zapcc
  zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
  ☆1,269Updated 5 years ago
• DynamoRIO / drmemory
  Memory Debugger for Windows, Linux, Mac, and Android
  ☆2,666Updated last month
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,863Updated 3 weeks ago
• emeryberger / Hoard
  The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, and Mac.
  ☆1,185Updated last month
• includeos / IncludeOS
  A minimal, resource efficient unikernel for cloud services
  ☆5,193Updated 3 weeks ago
• emil-e / rapidcheck
  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
  ☆1,052Updated last year
• simd-everywhere / simde
  Implementations of SIMD instruction sets for systems which don't natively support them.
  ☆2,862Updated last week
• stclib / STC
  A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forw…
  ☆1,772Updated 2 months ago
• rizsotto / Bear
  Bear is a tool that generates a compilation database for clang tooling.
  ☆6,033Updated 2 weeks ago
• standardese / cppast
  Library to parse and work with the C++ AST
  ☆1,759Updated last year