jplevyak / ifa
IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis researchers.
☆13Updated last month
Alternatives and similar repositories for ifa:
Users that are interested in ifa are comparing it to the libraries listed below
- Turn an interpreter into a code generator☆31Updated 9 years ago
- Counting the collisions with perl hash tables per function☆12Updated 5 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last month
- Regular Expression Pattern Analyzer☆17Updated last year
- ☆13Updated 3 years ago
- A rethinking of the C time library☆10Updated 2 months ago
- Support for ternary logic in SSE, XOP, AVX2 and x86 programs☆31Updated 4 months ago
- ☆43Updated 2 months ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- A vectorized single header hash function.☆19Updated 5 months ago
- SIMDized check which bytes are in a set☆28Updated 6 years ago
- Self-hosting C toolchain, from scratch☆34Updated 2 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Benchmark supporting baseless libel against clang-format☆11Updated 5 years ago
- a copy of m^2 's fsbench (https://chiselapp.com/user/Justin_be_my_guide/repository/fsbench/) with the latest density updates☆13Updated 5 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆12Updated 12 years ago
- Quick experiment to see how expensive safety is in C, for research☆12Updated 6 years ago
- Improved NetBSD's Perfect Hash Generation Tool v3☆19Updated last year
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆41Updated 8 months ago
- Region based memory allocator☆15Updated 4 years ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 2 months ago
- libFirm regression testsuite☆18Updated 5 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- Floating-Point Scalar Evolution☆12Updated 5 years ago
- Octosort is an in-place stable adaptive block merge sort.☆18Updated 2 years ago
- 100% XXTEA authenticated, chunked file encryption☆18Updated 4 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- intelligent and automatic build system for C☆12Updated 4 years ago