Alternatives and similar repositories for ikos

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

• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,514Updated this week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,632Updated last year
• google / souper
  A superoptimizer for LLVM IR
  ☆2,314Updated last year
• google / fuzztest
  ☆944Updated this week
• diffblue / cbmc
  C Bounded Model Checker
  ☆1,008Updated this week
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,888Updated last week
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,147Updated last year
• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆2,994Updated last month
• namhyung / uftrace
  Function graph tracer for C/C++/Rust/Python
  ☆3,375Updated last month
• seanbaxter / circle
  The compiler is available for download. Get it!
  ☆2,544Updated 2 years ago
• yrnkrn / zapcc
  zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
  ☆1,270Updated 5 years ago
• standardese / cppast
  Library to parse and work with the C++ AST
  ☆1,762Updated last year
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,329Updated this week
• DynamoRIO / drmemory
  Memory Debugger for Windows, Linux, Mac, and Android
  ☆2,691Updated 3 weeks ago
• danmar / cppcheck
  static analysis of C/C++ code
  ☆6,460Updated last week
• include-what-you-use / include-what-you-use
  A tool for use with clang to analyze #includes in C and C++ source files
  ☆4,590Updated this week
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆5,185Updated this week
• secure-software-engineering / phasar
  A LLVM-based static analysis framework.
  ☆1,026Updated this 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,257Updated last year
• emil-e / rapidcheck
  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
  ☆1,057Updated last year
• trailofbits / deepstate
  A unit test-like interface for fuzzing and symbolic execution
  ☆848Updated 4 months ago
• eliben / pycparser
  Complete C99 parser in pure Python
  ☆3,459Updated 3 months ago
• pfultz2 / Cloak
  A mini-preprocessor library to demostrate the recursive capabilites of the preprocessor
  ☆965Updated 5 years ago
• epasveer / seer
  Seer - a gui frontend to gdb
  ☆3,314Updated this week
• Ericsson / CodeCompass
  CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
  ☆585Updated last week
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,839Updated last week
• arximboldi / immer
  Postmodern immutable and persistent data structures for C++ — value semantics at scale
  ☆2,791Updated this week
• mull-project / mull
  Practical mutation testing and fault injection for C and C++
  ☆789Updated 3 weeks ago
• StanfordPL / stoke
  STOKE: A stochastic superoptimizer and program synthesizer
  ☆840Updated 2 years ago
• google / orbit
  C/C++ Performance Profiler
  ☆4,310Updated 11 months ago