yugr / sortcheck
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
☆35Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for sortcheck
- 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
- Tool for locating internal symbols unnecessarily exported from shared libraries.☆37Updated last year
- Proof-of-concept tool for checking signal handlers for reentrancy issues.☆17Updated 4 years ago
- Automatically spawn gdb on error.☆65Updated 2 years ago
- ☆31Updated last year
- Markup source code showing optimizations☆35Updated 4 years ago
- Compiler/BuildSystem Interface Library☆24Updated 2 years ago
- A list of compiler warning flags for different GCC and clang versions☆62Updated 2 months ago
- grep for C/C++ source files.☆25Updated 2 months ago
- Scripts to build binary packages of GCC snapshots☆28Updated last week
- CLang Plugin for calculating AST hashes☆15Updated 5 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
- Utilities and eXtensionS (UXS) library is a collection of useful (template) classes and functions developed upon standard C++ library☆11Updated 2 months ago
- A tool which hides symbols exported from shared libraries or relocatable object files☆37Updated last year
- Fork of LLVM with modifications to support a program repository☆26Updated 2 years ago
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 6 months ago
- Source code for a presentation on refactoring C++ while accounting for preprocessor interactions☆12Updated 10 months ago
- SIMDized check which bytes are in a set☆28Updated 6 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 8 years ago
- Create man pages from information used by Intel Intrinsics Guide and optionally uops.info☆43Updated 3 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 3 years ago
- Clade is a tool for extracting information about software build process and source code☆19Updated 11 months ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- A bunch of useful scripts for toolchain/distro maintenance.☆17Updated 9 months ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 3 months ago
- FAINT - FAult INjection Tester☆12Updated 3 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago