jplevyak / ifa
IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis researchers.
☆12Updated last week
Alternatives and similar repositories for ifa:
Users that are interested in ifa are comparing it to the libraries listed below
- ☆13Updated 3 years ago
- A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD☆12Updated 5 years ago
- Improved NetBSD's Perfect Hash Generation Tool v3☆18Updated 10 months ago
- A vectorized single header hash function.☆19Updated 4 months ago
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Multiplying... backward?☆13Updated 4 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- reverse engineering branch predictors☆17Updated 9 years ago
- SIMD-accelerated UTF-8 to UTF-32 conversion☆11Updated 6 years ago
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- Counting the collisions with perl hash tables per function☆12Updated 5 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated 9 months ago
- Cuckoo Hashtable C Library☆33Updated 5 years ago
- Regular Expression Pattern Analyzer☆17Updated last year
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- A tool for testing C compilers automatically☆20Updated 9 years ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 2 months ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- ☆11Updated 11 months ago
- measure entropy of memory allocators☆12Updated 3 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- pure-python C types packer/unpacker☆18Updated 5 years ago
- NetBSD cdb (constant database) library☆14Updated 5 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- SIMDized check which bytes are in a set☆28Updated 6 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 5 years ago
- LOCKIN is a locking library with various lock algorithms implemented in header files for ease of use☆10Updated 7 years ago