program-analysis-team / cooddy
Source code (C,C++,Java) static analysis tool
☆38Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for cooddy
- Precision-guided context sensitivity for pointer analysis☆57Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆163Updated this week
- A static analysis tool for Java programs, based on the theory of code property graphs.☆16Updated last year
- Taint analysis implementation based on Heros and Soot☆41Updated 6 months ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆51Updated 8 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- 静态分析基础教程☆148Updated last week
- Some test samples for CPG execution logic.☆18Updated 7 months ago
- ☆20Updated 2 years ago
- oh my soot !☆87Updated 2 years ago
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆70Updated last month
- 南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis homework; ... Not official, just a reference☆283Updated 2 years ago
- Doop - Framework for Java Pointer and Taint Analysis☆17Updated 5 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 8 months ago
- ☆75Updated this week
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆115Updated 2 years ago
- ☆22Updated 9 months ago
- a basic Gradle configuration to get started with WALA☆28Updated last month
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆54Updated 3 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆29Updated last year
- ☆12Updated 5 months ago
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆171Updated last year
- A benchmark to evaluate taint analysis☆30Updated 2 years ago
- a dataflow analysis framework implemented in Go, like soot☆29Updated 2 years ago
- ☆36Updated last year
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆79Updated 11 months ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆16Updated 8 months ago
- 带你畅游《软件分析》☆274Updated 2 years ago
- Mutation-guided mutation-based fuzz testing☆41Updated 4 months ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆28Updated 3 years ago