ChinaNuke / Point-to-Analysis
国科大编译作业三:Point to 分析
☆18Updated 3 years ago
Alternatives and similar repositories for Point-to-Analysis:
Users that are interested in Point-to-Analysis are comparing it to the libraries listed below
- 国科大编译作业二:LLVM Pass处理函数调用☆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
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- Simple passes for CFG and DFG analysis☆42Updated 5 years ago
- A fast compiler for SysY code☆18Updated 2 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆52Updated last month
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated last month
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆147Updated last year
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆41Updated 5 years ago
- An emulator to run mips executable and to differentially validate noop.☆7Updated 3 years ago
- ☆23Updated last year
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 3 years ago
- ☆31Updated 2 years ago
- Compiler development environment.☆17Updated 3 months ago
- Our repository for NSCSCC☆19Updated 2 weeks ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆25Updated last year
- BUAASE2019级的编译实验的实验指导与实验安排☆116Updated 2 years ago
- ☆47Updated last month
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆138Updated 3 years ago
- llvm Data Flow Graph dump☆37Updated 3 years ago
- ☆14Updated last year
- [TACO 2024] A hardware prefetching framework employing Tyche, a hardware prefetcher designed for indirect memory access patterns.☆20Updated 10 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆202Updated this week
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆17Updated last year
- ☆33Updated last year
- The artifact for SecSMT paper -- Usenix Security 2022☆27Updated 2 years ago
- A repo to store the compiler project☆74Updated 2 years ago
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆27Updated 2 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆66Updated last year