yugr / sortcheck
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
☆35Updated 2 years ago
Related projects: ⓘ
- LD_PRELOAD-able library which runs all spawned processes under Valgrind.☆15Updated 2 years ago
- Tool for detecting violations of ordering axioms in STL comparators☆15Updated last year
- Automatically spawn gdb on error.☆65Updated 2 years ago
- Proof-of-concept tool for checking signal handlers for reentrancy issues.☆17Updated 4 years ago
- Tool for locating internal symbols unnecessarily exported from shared libraries.☆36Updated last year
- Utilities and eXtensionS (UXS) library is a collection of useful (template) classes and functions developed upon standard C++ library☆11Updated 3 weeks ago
- Markup source code showing optimizations☆35Updated 4 years ago
- A tool which hides symbols exported from shared libraries or relocatable object files☆37Updated last year
- ☆30Updated last year
- Scripts to build binary packages of GCC snapshots☆28Updated this week
- Compiler/BuildSystem Interface Library☆24Updated 2 years ago
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Updated 8 months ago
- CLang Plugin for calculating AST hashes☆14Updated 5 years ago
- grep for C/C++ source files.☆25Updated this week
- A bunch of useful scripts for toolchain/distro maintenance.☆16Updated 7 months ago
- A list of compiler warning flags for different GCC and clang versions☆61Updated 4 months ago
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆42Updated 2 years ago
- A set of C Preprocessor analysis and source code rejuvenation tools that perform source to source translation of C++ programs by replacin…☆46Updated 6 years ago
- A Valgrind tool for finding redundant loads/stores☆21Updated 4 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 4 months ago
- ☆15Updated this week
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 8 years ago
- Header-only llvm::Expected<T>☆38Updated 4 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…☆57Updated last year
- ☆23Updated 9 years ago
- Fork of LLVM with modifications to support a program repository☆26Updated 2 years ago
- Convert a C Standard Draft PDF into HTML☆17Updated 2 years ago