ChinaNuke / llvm-pass
国科大编译作业二:LLVM Pass处理函数调用
☆18Updated 3 years ago
Alternatives and similar repositories for llvm-pass:
Users that are interested in llvm-pass are comparing it to the libraries listed below
- 国科大编译作业三:Point to 分析☆18Updated 3 years ago
- 国科大编译作业:基于Clang的C语言解释执行器☆40Updated 3 years ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 5 years ago
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆27Updated 2 years ago
- ☆50Updated 4 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆66Updated last year
- Tai-e assignments for static program analysis☆31Updated 2 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆31Updated last month
- Simple passes for CFG and DFG analysis☆43Updated 5 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆25Updated last year
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- ☆24Updated 8 years ago
- Learning and Teaching Software Analysis and Verification via SVF☆22Updated 10 months ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆39Updated 8 months ago
- An unofficial reference implementation of the C Minus Minus Compiler☆53Updated last month
- ☆33Updated 11 months ago
- Sth in Control-Flow Integrity☆20Updated 6 years ago
- A Simple CPP Static Analysis Framework☆21Updated last year
- A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education …☆114Updated 4 months ago
- llvm Data Flow Graph dump☆37Updated 3 years ago
- ☆23Updated last year
- a guide to writing LLVM Pass for beginners☆15Updated 6 months ago
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated last month
- ☆15Updated last year
- ChocoPy LLVM Repo☆75Updated 2 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆147Updated last year
- RISC-V模拟器,相关硬件实现`riscv-isa-sim`以及模拟器pk, bbl的指导手册☆52Updated 4 years ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆41Updated 5 years ago
- 中科大 2017 级数字电路实验/组成原理实验的同学经验和资料分享☆12Updated 5 years ago
- CSCD70 Compiler Optimization☆252Updated last year