NSSL-SJTU / VoAPI2Links
☆23Updated last year
Alternatives and similar repositories for VoAPI2
Users that are interested in VoAPI2 are comparing it to the libraries listed below
Sorting:
- ☆41Updated 2 years ago
- A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between…☆315Updated 9 months ago
- ☆51Updated 2 years ago
- Awesome Large Language Models for Vulnerability Detection☆252Updated this week
- ☆27Updated last year
- A manually vetted dataset for security vulnerability detection in Java projects☆76Updated last month
- SecCodeBench is a benchmark suite focusing on evaluating the security of code generated by large language models (LLMs).☆56Updated last month
- BambooFuzz: An IoT Firmware Vulnerability Mining System based on Static and Dynamic Analysis☆53Updated 3 years ago
- A data pool-aware static analyzer to detect cross-layer threats in Android apps.☆12Updated last year
- A curated list of Security Big4 papers for Privacy, Mobile Security and Access Control.☆15Updated 11 months ago
- YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different pro…☆32Updated last week
- Corax for Java: A general static analysis framework for java code checking.☆255Updated 9 months ago
- A structure-aware grey box fuzzer based on modeling the input processing logic.☆171Updated 11 months ago
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆72Updated last year
- A neurosymbolic framework for vulnerability detection in code☆228Updated 2 weeks ago
- ☆12Updated last year
- ☆18Updated 2 years ago
- PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' promp…☆289Updated last month
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆180Updated last year
- ☆21Updated 3 years ago
- ☆35Updated 6 months ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆342Updated last year
- MiniTracker: Large-Scale Sensitive Information Tracking in Mini Apps.☆31Updated 9 months ago
- ☆24Updated 3 years ago
- Curated list of classic fuzzing books, papers about fuzzing at information security top conferences over the years, commonly used fuzzing…☆369Updated last month
- Some test samples for CPG execution logic.☆20Updated last year
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆12Updated 11 months ago
- 记录自己在看 afl 源码时候的一些笔记和想法,还有一些自己觉得有意思的魔改。2020年12月2日update:添加混合模糊测试目录☆110Updated 4 years ago
- oh my soot !☆92Updated 3 years ago
- ODGen is a JavaScript Static Analysis tool to detect multiple types of vulnerabilities in Node.js packages.☆155Updated last year