jplevyak / ifaLinks
IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis researchers.
☆13Updated 3 months ago
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
- A rethinking of the C time library☆11Updated 4 months ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆35Updated 7 years ago
- A vectorized single header hash function.☆19Updated 7 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated this week
- Regular Expression Pattern Analyzer☆17Updated last year
- Improved NetBSD's Perfect Hash Generation Tool v3☆20Updated last year
- ☆13Updated 4 years ago
- mirror of Fabrice Bellard's libbf tar releases☆13Updated 2 years ago
- Miscellaneous macros useful for writing x86 asm in nasm or yasm☆7Updated 4 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 11 years ago
- SIMD-accelerated UTF-8 to UTF-32 conversion☆11Updated 6 years ago
- A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD☆12Updated 6 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Octosort is an in-place stable adaptive block merge sort.☆18Updated 2 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Counting the collisions with perl hash tables per function☆12Updated 6 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 3 months ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆25Updated 5 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated 2 years ago
- Common dependency management for various Trail of Bits C++ codebases☆34Updated last year
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- Debugger in the Trepan family for x-python☆17Updated last week
- Multiplying... backward?☆13Updated 4 years ago
- 100% XXTEA authenticated, chunked file encryption☆18Updated 4 years ago
- GCC plugin for C language that tracks references to allocated objects☆27Updated last month
- Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64☆10Updated 4 years ago
- ☆43Updated 4 months ago