jplevyak / ifa
IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis researchers.
☆12Updated 4 years ago
Alternatives and similar repositories for ifa:
Users that are interested in ifa are comparing it to the libraries listed below
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 months ago
- Turn an interpreter into a code generator☆30Updated 9 years ago
- Improved NetBSD's Perfect Hash Generation Tool v3☆17Updated 8 months ago
- A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD☆12Updated 5 years ago
- XML representation of the x86 instruction set☆28Updated 2 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 11 years ago
- ☆13Updated 3 years ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated 6 months ago
- reverse engineering branch predictors☆17Updated 8 years ago
- A vectorized single header hash function.☆19Updated 2 months ago
- SIMDized check which bytes are in a set☆28Updated 6 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- Common dependency management for various Trail of Bits C++ codebases☆33Updated 7 months ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- ☆11Updated 9 months ago
- like ChaCha, but 64-bit instead of 32-bit thanks to BLAKE2b's permutation☆15Updated 7 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- GCC plugin for C language that tracks references to allocated objects☆24Updated 2 months ago
- EBNF grammar fuzzer☆18Updated 5 years ago
- SIMD-accelerated UTF-8 to UTF-32 conversion☆11Updated 6 years ago
- Regular Expression Pattern Analyzer☆17Updated last year
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆12Updated 6 years ago
- A more realistic demo of a buffer overflow cause by -ffast-math☆11Updated 2 years ago
- Counting the collisions with perl hash tables per function☆12Updated 5 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆17Updated this week
- Quick experiment to see how expensive safety is in C, for research☆12Updated 5 years ago
- intelligent and automatic build system for C☆12Updated 3 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago