ChinaNuke / Point-to-AnalysisLinks
国科大编译作业三: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
Sorting:
- 国科大编译作业二:LLVM Pass处理函数调用☆17Updated 3 years ago
- 国科大编译作业:基于Clang的C语言解释执行器☆39Updated 3 years ago
- Simple passes for CFG and DFG analysis☆44Updated 6 years ago
- ☆68Updated 5 months ago
- An unofficial reference implementation of the C Minus Minus Compiler☆61Updated 8 months ago
- CSCD70 Compiler Optimization☆260Updated 2 years ago
- A fast compiler for SysY code☆18Updated 3 years ago
- The artifact for SecSMT paper -- Usenix Security 2022☆27Updated 3 years ago
- Our repository for NSCSCC☆19Updated 7 months ago
- generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG☆41Updated 6 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆146Updated last year
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 3 years ago
- The MOSAIC Operating Systems Model and Checker☆196Updated 2 years ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆157Updated 2 weeks ago
- ☆51Updated 5 years ago
- BUAASE2019级的编译实验的实验指导与实验安排☆119Updated 2 years ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆143Updated 4 years ago
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 8 months ago
- ☆72Updated last year
- learn javassist by example☆31Updated 3 years ago
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 3 years ago
- ☆23Updated 2 years ago
- ☆15Updated 2 years ago
- A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs☆112Updated last week
- A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education …☆118Updated 11 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 6 months ago
- clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…☆275Updated 3 years ago
- PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆115Updated 9 years ago
- Compiler development environment.☆20Updated 9 months ago
- 龙芯杯21个人赛作品☆35Updated 4 years ago