efficios / ctfLinks
Common Trace Format requirements and specifications
☆11Updated 2 years ago
Alternatives and similar repositories for ctf
Users that are interested in ctf are comparing it to the libraries listed below
Sorting:
- Software Instrumentation Dynamically Enabled☆13Updated 2 months ago
- Generator of ANSI C tracers which output CTF data streams☆75Updated last month
- Reworking of Agner Fog's performance test programs for Linux☆114Updated 6 years ago
- MALT is a MALloc Tracker to find where and how your made your memory allocations in C/C++/Fortran applications (and python in experimenta…☆120Updated this week
- a tool for querying Dwarf (debuginfo) graphs☆55Updated last year
- A trace viewer and analyzer for LTTng kernel and user space traces☆29Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 11 months ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Updated 8 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- Header-only C++17 library for property-based testing.☆127Updated last year
- Fork of LLVM with modifications to support a program repository☆27Updated 3 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆47Updated 7 years ago
- 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
- QuickCheck-like property based automated testing tool for C++☆13Updated 6 months ago
- Library for Restartable Sequences☆73Updated this week
- Analyses scripts for LTTng kernel and user-space traces (official repository)☆103Updated last year
- Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.☆104Updated last month
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Update of original etrace program.☆68Updated 2 years ago
- QuickCheck-like property based automated testing tool for C++☆111Updated 8 years ago
- TLSF: two-level segregated fit O(1) allocator☆80Updated 2 years ago
- ☆54Updated last year
- Tools to dealing with template instantiation profiles generated by templight.☆83Updated 2 years ago
- This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…☆94Updated last week
- Modern C++ framework for critical systems☆21Updated last year
- persistent monitor (for static source code analysis, GCC based)☆60Updated last year
- code for examining determinism of performance counters☆21Updated 4 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆27Updated 4 years ago
- A framework for reusing code in Clang tools☆125Updated last month
- GDB helper scripts☆47Updated 5 years ago