ISRC-CAS / PLCT-OpenDay-2020Links
PLCT实验室2020年开放日活动的演讲资料
☆13Updated 4 years ago
Alternatives and similar repositories for PLCT-OpenDay-2020
Users that are interested in PLCT-OpenDay-2020 are comparing it to the libraries listed below
Sorting:
- OSDT社区(HelloGCC、HelloLLVM)组织的活动中的报告☆47Updated 4 years ago
- OSDT2019相关资料☆16Updated 6 years ago
- LLVM pass☆24Updated 5 years ago
- Linux kernel labs☆55Updated 4 years ago
- 史宁宁(知乎ID:小乖他爹(已经改为:编译船夫),CSDN ID:snsn1984)的演讲交流PPT及相关资料。☆45Updated last year
- Program Analysis framework using LLVM. Course project of Advanced Compiler☆18Updated 8 years ago
- Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0☆148Updated last year
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago
- LLVM DSA fork for SeaHorn☆21Updated 6 years ago
- website of hellollvm.org☆39Updated 5 months ago
- 开源开发工具周刊☆194Updated last week
- A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…☆105Updated 3 years ago
- ☆78Updated this week
- 方舟编译器的Runtime参考实现。这不是华为官方项目,是PLCT实验室的培训项目。☆80Updated 5 years ago
- Concurrency Paper☆113Updated 2 years ago
- predicate scientific program performance model using llvm☆27Updated 10 years ago
- Build lexers and parsers by deriving traits.☆25Updated last year
- ChocoPy LLVM Repo☆77Updated 2 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆18Updated last week
- 对zircon内核的一些分析,欢迎补充!☆60Updated 5 years ago
- 开源开发工具大会2020的幻灯片☆46Updated 4 years ago
- AST interpreter with clang 5.0.0 and llvm 5.0.0☆14Updated 5 years ago
- ☆20Updated 3 years ago
- My Slide☆40Updated 7 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆166Updated 4 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆27Updated 5 years ago
- ☆15Updated 4 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆211Updated 8 months ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 5 years ago
- OS教学实验:用Rust&C实现各种历史上的经典OS Kernels的实例☆46Updated 3 years ago