danmar / gcc-plugins
GCC plugins
☆28Updated 13 years ago
Alternatives and similar repositories for gcc-plugins:
Users that are interested in gcc-plugins are comparing it to the libraries listed below
- Experiments with the gcc plugin mechanism☆108Updated last year
- Steps to build the Linux kernel using Clang☆99Updated 2 years ago
- ☆110Updated 11 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆106Updated 6 years ago
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆25Updated 5 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 9 years ago
- clang checker to find heartbleed☆85Updated 10 years ago
- An assembler to intermediate language translator based on Qemu☆31Updated 8 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- KLEE's version of uClibc☆51Updated 7 months ago
- ☆28Updated 8 years ago
- Python wrapper for the Clang C++ preprocessor and parser.☆126Updated 10 years ago
- NOVA userland☆48Updated 11 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆40Updated 5 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆178Updated 2 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆105Updated 5 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆41Updated 3 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆43Updated 9 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- Tracing framework for full system simulators☆55Updated 9 years ago
- ☆74Updated 2 years ago
- API tracing framework for Linux C/C++ applications☆158Updated 9 years ago
- Lightweight Symbolic Execution Engine☆22Updated 9 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- Dump page tables on various OSes and analyze them☆28Updated 9 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago