hsupu / ucas-hwk-pointer-analysis
程序分析大作业：使用 SOOT 框架，实现 Java 上的静态指针分析
☆37Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for ucas-hwk-pointer-analysis
- Precision-guided context sensitivity for pointer analysis☆57Updated last year
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- A points-to and alias analysis benchmark suite☆36Updated 6 years ago
- oh my soot !☆87Updated 2 years ago
- ☆75Updated this week
- Interprocedural Taint Analysis using SOOT☆8Updated 7 years ago
- Taint analysis implementation based on Heros and Soot☆41Updated 6 months ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 8 months ago
- Flow analysis using Soot☆51Updated 4 years ago
- a basic Gradle configuration to get started with WALA☆28Updated last month
- ☆11Updated 6 years ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆28Updated 3 years ago
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆22Updated 2 years ago
- 南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference☆283Updated 2 years ago
- IFDS/IDE Solver for Soot and other frameworks☆232Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆164Updated this week
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- Static analysis to detect taint in java programs☆9Updated 11 years ago
- 带你畅游《软件分析》☆274Updated 2 years ago
- ☆20Updated 2 years ago
- A Pointer Analysis Framework for Rust☆42Updated last month
- Software Analysis and Verification Group☆13Updated 2 months ago
- Recent Paper About Bug Detection☆30Updated 5 years ago
- z3 solver 学习☆45Updated last year
- ☆23Updated 8 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆29Updated 4 years ago
- Finding the potential null pointer exception☆28Updated 3 years ago
- ☆36Updated last year
- Works about detecting vulnerable using ML.☆83Updated 4 years ago