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 this week
• efficios / babeltrace
  Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.
  ☆113Updated this week
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆117Updated 3 months ago
• mpdelbuono / wildcop
  Clang Static Analyzer Plugin for MISRA C++ Compliance
  ☆34Updated 8 years ago
• deater / deterministic
  code for examining determinism of performance counters
  ☆21Updated 4 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…
  ☆124Updated this week
• 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
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• lttng / lttng-analyses
  Analyses scripts for LTTng kernel and user-space traces (official repository)
  ☆104Updated 2 years ago
• lttng / lttng-scope
  A trace viewer and analyzer for LTTng kernel and user space traces
  ☆29Updated 2 years ago
• efficios / barectf
  Generator of ANSI C tracers which output CTF data streams
  ☆78Updated 6 months ago
• tromey / gdb-helpers
  GDB helper scripts
  ☆47Updated 2 months ago
• thejohnfreeman / autocheck
  Header-only C++17 library for property-based testing.
  ☆127Updated last year
• grogers0 / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆111Updated 9 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• stass / libsegfault
  FreeBSD libsegfault
  ☆73Updated 7 years ago
• philipp-classen / CppQuickCheck
  QuickCheck-like property based automated testing tool for C++
  ☆13Updated 11 months ago
• rmind / tlsf
  TLSF: two-level segregated fit O(1) allocator
  ☆83Updated 3 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆156Updated 3 years ago
• androm3da / optviewer-demo
  Demonstration of LLVM's opt-viewer tool
  ☆71Updated 8 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• bretthall / Wyatt-STM
  Software transactional memory system developed at Wyatt Technology
  ☆30Updated 6 years ago
• maxk-org / hogl
  Scalable, high performance and low overhead logging library for C++ and C applications
  ☆17Updated last year
• mgehre / llvm-project
  The home of the clang-based implementation of lifetime safety warnings.
  ☆41Updated 4 years ago
• abbyssoul / libsolace
  Modern C++ framework for critical systems
  ☆21Updated 2 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• 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
• computee / s-keys
  Port of linux kernel jump labels to userspace. Uses GCC goto asm extension.
  ☆19Updated 11 years ago
• RobertLeahy / AsioUring
  ☆59Updated 4 years ago
• eschulte / clang-mutate
  Manipulate C-family ASTs with Clang
  ☆69Updated 11 years ago