Alternatives and similar repositories for ctf

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

• efficios / libside
  Software Instrumentation Dynamically Enabled
  ☆13Updated last month
• efficios / barectf
  Generator of ANSI C tracers which output CTF data streams
  ☆76Updated 3 months ago
• SNSystems / sn-llvm-project-prepo
  Fork of LLVM with modifications to support a program repository
  ☆25Updated 3 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆56Updated last year
• efficios / babeltrace
  Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.
  ☆106Updated last month
• tromey / gdb-helpers
  GDB helper scripts
  ☆47Updated 5 years ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆34Updated 8 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• crdelozier / ironclad
  Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lea…
  ☆18Updated 2 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆114Updated 6 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆84Updated last week
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• AdaCore / gnatcoverage
  GNATcoverage: Coverage Analysis Tool
  ☆43Updated this week
• intel / soft-crc
  ISA-L and intel-ipsec-mb obsolete soft-crc project. Please refer and use them instead for efficient CRC implementation. https://github.co…
  ☆56Updated last year
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• stass / libsegfault
  FreeBSD libsegfault
  ☆72Updated 7 years ago
• terminaldweller / mutator
  mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development
  ☆80Updated 3 years ago
• nimble-code / Cobra
  An interactive (fast) static source code analyzer
  ☆173Updated this week
• pkhuong / polynomial-approximation-catalogue
  A catalogue of efficient and accurate polynomial approximations
  ☆16Updated 3 years ago
• thejohnfreeman / autocheck
  Header-only C++17 library for property-based testing.
  ☆127Updated last year
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• cemeyer / structhole
  A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)
  ☆22Updated 7 years ago
• osandov / asmase
  An assembly REPL.
  ☆38Updated 7 years ago
• computee / s-keys
  Port of linux kernel jump labels to userspace. Uses GCC goto asm extension.
  ☆19Updated 11 years ago
• xiangzhai / dragonegg
  DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
  ☆20Updated 6 years ago
• memtt / malt
  MALT is a MALloc Tracker to find where and how your made your memory allocations in C/C++/Fortran applications (and python in experimenta…
  ☆121Updated last week
• hiraditya / cpp2cxx
  A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…
  ☆48Updated 7 years ago
• securesystemslab / LLVM-MCA-Daemon
  ☆21Updated 6 months ago