efficios / ctfLinks
Common Trace Format requirements and specifications
☆11Updated 3 years ago
Alternatives and similar repositories for ctf
Users that are interested in ctf are comparing it to the libraries listed below
Sorting:
- Fork of LLVM with modifications to support a program repository☆25Updated 3 years ago
- Oink is a collaboration of C++ static analysis tools.☆156Updated 3 years ago
- 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
- Generator of ANSI C tracers which output CTF data streams☆78Updated 6 months ago
- Babeltrace /ˈbæbəltreɪs/ is an open-source trace manipulation toolkit.☆113Updated this week
- Software Instrumentation Dynamically Enabled☆13Updated this week
- Reworking of Agner Fog's performance test programs for Linux☆117Updated 3 months ago
- QuickCheck-like property based automated testing tool for C++☆13Updated 11 months ago
- QuickCheck-like property based automated testing tool for C++☆111Updated 9 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
- TLSF: two-level segregated fit O(1) allocator☆83Updated 3 years ago
- mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development☆82Updated 4 years ago
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆176Updated 7 years ago
- Clang Static Analyzer Plugin for MISRA C++ Compliance☆34Updated 8 years ago
- Two Level Segregated Fit (TLSF) memory allocator implementation, BSD License☆119Updated last month
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 8 years ago
- persistent monitor (for static source code analysis, GCC based)☆61Updated last year
- Header-only C++17 library for property-based testing.☆127Updated last year
- Port of linux kernel jump labels to userspace. Uses GCC goto asm extension.☆19Updated 11 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆49Updated 10 months ago
- Comparison of build program expressive power☆87Updated 6 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- ALLVM Tools☆57Updated 3 years ago
- Analyses scripts for LTTng kernel and user-space traces (official repository)☆104Updated 2 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 11 years ago
- Simple and powerful standalone project for clang-based tools using libtooling (e.g. refactoring, auto-completion, etc.)☆56Updated last year
- Continuous Perfomance Monitor (CPM) for C++ code☆40Updated 2 years ago
- Tools to dealing with template instantiation profiles generated by templight.☆83Updated 2 years ago
- A catalogue of efficient and accurate polynomial approximations☆17Updated 4 years ago