Alternatives and similar repositories for ikos

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

• rohanrhu / gdb-frontend
  ☕ GDBFrontend is an easy, flexible and extensible gui debugger.
  ☆2,955Updated 7 months ago
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,136Updated 4 months ago
• google / souper
  A superoptimizer for LLVM IR
  ☆2,288Updated 11 months ago
• google / fuzztest
  ☆882Updated this week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,603Updated last year
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,436Updated 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,443Updated 3 weeks ago
• seanbaxter / circle
  The compiler is available for download. Get it!
  ☆2,520Updated last year
• 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,243Updated 10 months ago
• plasma-umass / Mesh
  A memory allocator that automatically reduces the memory footprint of C/C++ applications.
  ☆1,826Updated last year
• csmith-project / csmith
  Csmith, a random generator of C programs
  ☆1,111Updated last year
• rizsotto / Bear
  Bear is a tool that generates a compilation database for clang tooling.
  ☆5,752Updated last week
• epasveer / seer
  Seer - a gui frontend to gdb
  ☆3,193Updated 2 weeks ago
• KDAB / hotspot
  The Linux perf GUI for performance analysis.
  ☆4,797Updated last week
• ulfjack / ryu
  Converts floating point numbers to decimal strings
  ☆1,276Updated last year
• hanickadot / compile-time-regular-expressions
  Compile Time Regular Expression in C++
  ☆3,643Updated 2 months ago
• MattPD / cpplinks
  A categorized list of C++ resources.
  ☆5,062Updated this week
• Snaipe / Criterion
  A cross-platform C and C++ unit testing framework for the 21st century
  ☆2,142Updated 4 months ago
• mjansson / rpmalloc
  Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
  ☆2,332Updated this week
• nakst / gf
  A GDB frontend for Linux.
  ☆2,526Updated 4 months ago
• diffblue / cbmc
  C Bounded Model Checker
  ☆941Updated 2 weeks ago
• aras-p / ClangBuildAnalyzer
  Clang build analysis tool using -ftime-trace
  ☆1,133Updated 4 months ago
• google / orbit
  C/C++ Performance Profiler
  ☆4,314Updated 6 months ago
• pizlonator / fil-c
  Fil-C
  ☆942Updated this week
• facebookarchive / BOLT
  Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries
  ☆2,529Updated 2 years ago
• standardese / cppast
  Library to parse and work with the C++ AST
  ☆1,736Updated last year
• KDE / heaptrack
  A heap memory profiler for Linux
  ☆3,740Updated 3 weeks ago
• yrnkrn / zapcc
  zapcc is a caching C++ compiler based on clang, designed to perform faster compilations
  ☆1,262Updated 5 years ago
• Ericsson / CodeCompass
  CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
  ☆562Updated 3 weeks ago
• namhyung / uftrace
  Function graph tracer for C/C++/Rust/Python
  ☆3,292Updated last week