RicoloveFeng / SPA-Freestyle-GuidanceLinks
带你畅游《软件分析》
☆278Updated 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:
- 静态分析基础教程☆171Updated 2 months ago
- Precision-guided context sensitivity for pointer analysis☆61Updated 2 years ago
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆185Updated 2 years ago
- Tai-e assignments for static program analysis☆1,175Updated this week
- Tai-e assignments for static program analysis☆31Updated 3 years ago
- oh my soot !☆91Updated 3 years ago
- ☆77Updated 2 weeks ago
- Taint analysis implementation based on Heros and Soot☆45Updated last year
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆29Updated 4 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆50Updated 2 years ago
- ☆28Updated 3 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆137Updated 3 weeks ago
- 程序分析大作业：使用 SOOT 框架，实现 Java 上的静态指针分析☆37Updated 7 years ago
- A step-by-step tutorial for Soot (a Java static analysis framework)☆443Updated 2 years ago
- 每日论文推荐☆293Updated 4 years ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆339Updated last year
- The source code of project "LLift" (Enhancing static analysis with LLM)☆75Updated last year
- Some test samples for CPG execution logic.☆20Updated last year
- ☆41Updated 2 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Updated last week
- An easy-to-learn/use static analysis framework for Java☆1,647Updated last week
- SecCodeBench is a benchmark suite focusing on evaluating the security of code generated by large language models (LLMs).☆54Updated 2 weeks ago
- A repository-level AI-generated code security evaluation benchmark☆126Updated last month
- 每周定期更新论文笔记分享的markdown以及图片☆186Updated 4 years ago
- Curated list of classic fuzzing books, papers about fuzzing at information security top conferences over the years, commonly used fuzzing…☆364Updated 3 weeks ago
- Tai-e学习记录☆17Updated last year
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆179Updated 11 months ago
- The official repo of Doop, the declarative pointer analysis framework.☆183Updated 2 months ago
- A structure-aware grey box fuzzer based on modeling the input processing logic.☆171Updated 10 months ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆77Updated last year