fbenz / FpDebugLinks
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
☆24Updated 2 years ago
Alternatives and similar repositories for FpDebug
Users that are interested in FpDebug are comparing it to the libraries listed below
Sorting:
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- Composable high-level instrumentation for C libraries' malloc and friends☆17Updated 7 months ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆44Updated 9 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Updated 10 years ago
- x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, cons…☆48Updated 9 years ago
- Checks to verify the usage of the MPI API in C and C++ code, based on Clang’s Static Analyzer and Clang-Tidy.☆38Updated 10 months ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 3 years ago
- STAT - the Stack Trace Analysis Tool☆67Updated 2 months ago
- Constexpr hash map, generates a constant KV hash map at compile time.☆18Updated 9 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- immintrin_dbg.h is an include file, a wrapper around immintrin.h. It implements most of AVX, AVX2, AVX-512 vector intrinsics to enable so…☆56Updated 2 years ago
- Tool for detecting violations of ordering axioms in STL comparators☆17Updated 3 months ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- gcc plugin to discover optimization passes used during compilation☆20Updated 4 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- Sort-of GNU C99 Declaration Parser☆11Updated 5 years ago
- floating-point errors checker☆58Updated this week
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- A program for automatically resolving #ifdef statements in C code.☆37Updated 8 months ago
- Collection of Agner Fog Software☆43Updated 7 years ago
- Tool to demangle C++ symbols.☆58Updated 2 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- resurrected LLVM "C Backend", with improvements☆129Updated 4 years ago
- AST - Extractor for LLVM☆18Updated 4 years ago
- hmemory is a lightweight memory error detector for c/c++ programs, specifically designed for embedded systems.☆16Updated 2 years ago
- Embed GDB breakpoints in C source code☆54Updated 13 years ago
- API tracing framework for Linux C/C++ applications☆160Updated 9 years ago
- Fine-grained frequency and voltage transition tests☆20Updated 2 years ago