llvm Call Graph分析
☆10May 27, 2017Updated 9 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 9 years ago
- Formální jazyky a překladače - Projekt - Implementace překladače imperativního jazyka IFJ17☆13Dec 7, 2017Updated 8 years ago
- TriFlow: Triaging Android Applications using Speculative Information Flows☆13Dec 26, 2022Updated 3 years ago
- ☆16Dec 12, 2014Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆31Apr 7, 2019Updated 7 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
- 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…☆13Sep 27, 2021Updated 4 years ago
- AI blogs and papers☆11May 28, 2021Updated 5 years ago
- ☆20Feb 12, 2018Updated 8 years ago
- ☆22Jul 20, 2024Updated 2 years ago
- Masquerade NAT in C☆19Apr 12, 2023Updated 3 years ago
- An Optical Character Recognition software based on a simple neural network created from scratch in C.☆19Apr 5, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Peripheral Transplantation to Rehost Embedded Linux kernels☆17Mar 6, 2022Updated 4 years ago
- ☆26Oct 5, 2016Updated 9 years ago
- ☆18Nov 2, 2022Updated 3 years ago
- This repository moved. Please use the new location https://gitlab.com/pandark/libft☆11May 5, 2024Updated 2 years ago
- ☆11Aug 10, 2021Updated 4 years ago
- MutRex - A generator of fault detecting strings for regular expressions☆14Mar 18, 2024Updated 2 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- 这是提供给.Net使用的window hook和api hook托管和非托管混合项目☆12May 13, 2016Updated 10 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Fully Functional Point of Sale (POS) CLI system with sales, predictive and analytics tool. Written in pure C language☆13Jan 19, 2022Updated 4 years ago
- 🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。☆12May 31, 2021Updated 5 years ago
- MIPS32 emulation fuzzing☆13Nov 17, 2020Updated 5 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.☆10Apr 10, 2021Updated 5 years ago
- ☆10Sep 10, 2022Updated 3 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
- Basic bittorrent client written in c - class project☆23Mar 7, 2013Updated 13 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆26Sep 5, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 2 years ago
- ☆13Jul 22, 2025Updated last year
- Asynchronous Off-Policy Deep Reinforcement Learning For Wheeled Robot Path Planning☆45Jun 14, 2019Updated 7 years ago
- Rust and C Benchmarks☆15Nov 21, 2024Updated last year
- llvm Data Flow Graph dump☆36May 24, 2021Updated 5 years ago