jplevyak / ifaLinks
IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis researchers.
☆13Updated last week
Alternatives and similar repositories for ifa
Users that are interested in ifa are comparing it to the libraries listed below
Sorting:
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Improved NetBSD's Perfect Hash Generation Tool v3☆20Updated last year
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated last year
- Regular Expression Pattern Analyzer☆17Updated last year
- Common dependency management for various Trail of Bits C++ codebases☆33Updated last year
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- ☆13Updated 4 years ago
- pure-python C types packer/unpacker☆18Updated 5 years ago
- A vectorized single header hash function.☆19Updated 7 months ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 2 years ago
- measure entropy of memory allocators☆12Updated 3 years ago
- Multiplying... backward?☆14Updated 4 years ago
- A rethinking of the C time library☆11Updated 4 months ago
- a simple and human readable binary diff format and implementation☆17Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 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
- A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD☆12Updated 6 years ago
- Octosort is an in-place stable adaptive block merge sort.☆18Updated 2 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- Cuckoo Hashtable C Library☆33Updated 5 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 11 years ago
- reverse engineering branch predictors☆17Updated 9 years ago
- ☆42Updated 2 weeks ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 8 years ago
- unicode security guidelines for identifiers☆26Updated 7 months ago
- Authenticated Blowfish-encrypted pipe☆23Updated 7 years ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago