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,523Updated this week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,633Updated last year
• google / fuzztest
  ☆952Updated this week
• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆3,002Updated 2 months ago
• diffblue / cbmc
  C Bounded Model Checker
  ☆1,012Updated last week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,343Updated 2 weeks ago
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆5,199Updated this 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,609Updated last week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,317Updated last year
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,146Updated 2 years ago
• danmar / cppcheck
  static analysis of C/C++ code
  ☆6,488Updated this week
• rizsotto / Bear
  Bear is a tool that generates a compilation database for clang tooling.
  ☆6,146Updated last week
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,102Updated 3 weeks ago
• klee / klee
  KLEE Symbolic Execution Engine
  ☆2,895Updated 3 weeks ago
• 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,261Updated last year
• epasveer / seer
  Seer - a gui frontend to gdb
  ☆3,334Updated this week
• google / orbit
  C/C++ Performance Profiler
  ☆4,314Updated last year
• namhyung / uftrace
  Function graph tracer for C/C++/Rust/Python
  ☆3,380Updated 2 months ago
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,288Updated last month
• ccurtsinger / stabilizer
  Stabilizer: Rigorous Performance Evaluation
  ☆586Updated 4 years ago
• emil-e / rapidcheck
  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
  ☆1,060Updated last week
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆1,043Updated this week
• seanbaxter / circle
  The compiler is available for download. Get it!
  ☆2,545Updated 2 years ago
• DynamoRIO / drmemory
  Memory Debugger for Windows, Linux, Mac, and Android
  ☆2,693Updated last month
• friendlyanon / cmake-init
  The missing CMake project initializer
  ☆2,476Updated 5 months ago
• mjansson / rpmalloc
  Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
  ☆2,398Updated 3 months ago
• aras-p / ClangBuildAnalyzer
  Clang build analysis tool using -ftime-trace
  ☆1,190Updated 10 months ago
• Ericsson / CodeCompass
  CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
  ☆586Updated this week
• root-project / cling
  The cling C++ interpreter
  ☆4,094Updated this week
• KDE / heaptrack
  A heap memory profiler for Linux
  ☆3,955Updated last week