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
Related projects ⓘ
Alternatives and complementary repositories for ifa
- Turn an interpreter into a code generator☆29Updated 9 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 weeks ago
- A toy code generator (i.e. "program synthesis") using the Z3 solver☆33Updated 6 years ago
- ☆13Updated 3 years ago
- Counting the collisions with perl hash tables per function☆12Updated 5 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 10 years ago
- reverse engineering branch predictors☆17Updated 8 years ago
- SIMD-accelerated UTF-8 to UTF-32 conversion☆10Updated 5 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 tool for testing C compilers automatically☆20Updated 8 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- Cuckoo Hashtable C Library☆34Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆66Updated 8 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 2 years ago
- Common dependency management for various Trail of Bits C++ codebases☆31Updated 4 months ago
- a copy of m^2 's fsbench (https://chiselapp.com/user/Justin_be_my_guide/repository/fsbench/) with the latest density updates☆12Updated 4 years ago
- A vectorized single header hash function.☆18Updated last year
- Tools for testing C compilers for the correct handling of volatile objects.☆25Updated 10 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- GCC plugin for C language that tracks references to allocated objects☆23Updated 5 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 2 months ago
- Regular Expression Pattern Analyzer☆17Updated last year
- A compiler and mutation testing framework for the programming language Pascal-86☆18Updated 10 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆25Updated this week
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated last year
- Ninja-based configuration system☆11Updated 4 years ago
- A Python library for easy and fast program transformation/repair☆15Updated 3 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆15Updated last year
- symbolic reachability checker☆23Updated 3 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year