RicoloveFeng / SPA-Freestyle-GuidanceLinks
带你畅游《软件分析》
☆277Updated 3 years ago
Alternatives and similar repositories for SPA-Freestyle-Guidance
Users that are interested in SPA-Freestyle-Guidance are comparing it to the libraries listed below
Sorting:
- 静态分析基础教程☆170Updated last month
- Precision-guided context sensitivity for pointer analysis☆61Updated 2 years ago
- oh my soot !☆92Updated 3 years ago
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆185Updated 2 years ago
- ☆79Updated last week
- Taint analysis implementation based on Heros and Soot☆45Updated last year
- Tai-e assignments for static program analysis☆1,188Updated last month
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆30Updated 4 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆143Updated last week
- Tai-e assignments for static program analysis☆32Updated 3 years ago
- ☆29Updated 3 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆51Updated 3 years ago
- 每日论文推荐☆292Updated 4 years ago
- ☆42Updated 2 years ago
- 程序分析大作业：使用 SOOT 框架，实现 Java 上的静态指针分析☆37Updated 7 years ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆342Updated last year
- The source code of project "LLift" (Enhancing static analysis with LLM)☆77Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆197Updated 4 months ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆181Updated last year
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Updated 2 weeks ago
- A step-by-step tutorial for Soot (a Java static analysis framework)☆443Updated 2 years ago
- A structure-aware grey box fuzzer based on modeling the input processing logic.☆171Updated last year
- 每周定期更新论文笔记分享的markdown以及图片☆186Updated 4 years ago
- SecCodeBench is a benchmark suite focusing on evaluating the security of code generated by large language models (LLMs).☆71Updated 2 weeks ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 10 months ago
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆35Updated last year
- Archive of AAA CTF 2022 (XCTF competition)☆78Updated 11 months ago
- YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different pro…☆47Updated last week
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆73Updated last year
- ☆11Updated last year