llvm Call Graph分析
☆10May 27, 2017Updated 8 years ago
Alternatives and similar repositories for llvm_CGPass
Users that are interested in llvm_CGPass are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- llvm control flow graph☆26Sep 16, 2019Updated 6 years ago
- 简化版本llvm的stackprotector策略，将其包装成一个pass，对程序的stack进行保护☆13Jul 13, 2017Updated 8 years ago
- TriFlow: Triaging Android Applications using Speculative Information Flows☆13Dec 26, 2022Updated 3 years ago
- Formální jazyky a překladače - Projekt - Implementace překladače imperativního jazyka IFJ17☆13Dec 7, 2017Updated 8 years ago
- ☆16Dec 12, 2014Updated 11 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆31Apr 7, 2019Updated 6 years ago
- PoC for a kernel rootkit☆10Feb 20, 2020Updated 6 years ago
- an example of dragging control points of bezier curves using d3.js☆10Sep 6, 2014Updated 11 years ago
- AI blogs and papers☆10May 28, 2021Updated 4 years ago
- ☆20Feb 12, 2018Updated 8 years ago
- Peripheral Transplantation to Rehost Embedded Linux kernels☆16Mar 6, 2022Updated 4 years ago
- Masquerade NAT in C☆19Apr 12, 2023Updated 2 years ago
- 手机访问电脑文件，上传下载，控制鼠标☆32May 22, 2014Updated 11 years ago
- ☆26Oct 5, 2016Updated 9 years ago
- ☆18Nov 2, 2022Updated 3 years ago
- ☆21Jul 20, 2024Updated last year
- MutRex - A generator of fault detecting strings for regular expressions☆12Mar 18, 2024Updated 2 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- 这是提供给.Net使用的window hook和api hook托管和非托管混合项目☆12May 13, 2016Updated 9 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- ☆11Aug 10, 2021Updated 4 years ago
- An Optical Character Recognition software based on a simple neural network created from scratch in C.☆19Apr 5, 2019Updated 6 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- 🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。☆12May 31, 2021Updated 4 years ago
- This repository moved. Please use the new location https://gitlab.com/pandark/libft☆11May 5, 2024Updated last year
- ☆20Mar 12, 2026Updated last week
- Fully Functional Point of Sale (POS) CLI system with sales, predictive and analytics tool. Written in pure C language☆12Jan 19, 2022Updated 4 years ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- A rule-based static code analyzer with PeopleCode-specific features and an extensible plug-in architecture.☆11Apr 10, 2021Updated 4 years ago
- MIPS32 emulation fuzzing☆13Nov 17, 2020Updated 5 years ago
- DARPA Cyber Grand Challenge Linux source code☆18Jul 9, 2015Updated 10 years ago
- "When one door of happiness closes, another opens; but often we look so long at the closed door that we do not see the one which has been…☆17Aug 17, 2021Updated 4 years ago
- ☆10Sep 10, 2022Updated 3 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆16Dec 20, 2021Updated 4 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Sep 5, 2021Updated 4 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Oct 28, 2020Updated 5 years ago
- Result files from various fuzzing runs☆16Oct 18, 2021Updated 4 years ago
- Translate java jar files into Boogie programs☆12Apr 16, 2024Updated last year
- llvm Data Flow Graph dump☆36May 24, 2021Updated 4 years ago