wuruoyu / A-Working-C-CompilerLinks
Implement a working compiler for a C language subset (front-end + various optimizatons on LLVM IR + back-end)
☆0Updated 2 years ago
Alternatives and similar repositories for A-Working-C-Compiler
Users that are interested in A-Working-C-Compiler are comparing it to the libraries listed below
Sorting:
- LLVM pass☆23Updated 5 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆24Updated 3 years ago
- A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis☆81Updated 7 months ago
- Pointer analysis prototype (currently including anderson, steensgard).☆15Updated 3 years ago
- ☆16Updated 11 months ago
- A LLVM Pass with runtime dataflow sanitization☆33Updated 6 years ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆56Updated 6 years ago
- ☆61Updated 3 years ago
- llvm Data Flow Graph dump☆38Updated 4 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- The published code repo for the Cortex-M SoK paper.☆19Updated last month
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆26Updated 2 months ago
- ☆38Updated last year
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 5 months ago
- TypeForge: Synthesizing and Selecting Best-Fit Composite Data Types for Stripped Binaries (S&P 2025)☆31Updated last week
- A fuzzer for SMT solvers☆19Updated last month
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆64Updated last year
- ☆18Updated 3 months ago
- Papers related with kernel papers☆13Updated 2 years ago
- LLVM IR CMake utils for bitcode file manipulation by opt and friends☆75Updated 7 months ago
- llvm control flow graph☆26Updated 5 years ago
- ☆27Updated 2 years ago
- An standalone execution trace library built on DynamoRIO.☆22Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆21Updated 2 years ago
- Source code of ASAN--☆95Updated last year
- Docker image for RISC-V 32/64 development environment, along with Qemu☆25Updated 3 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆17Updated 8 years ago