k6ymaker / NJU-static-program-analysis-nodeLinks
☆10Updated 3 years ago
Alternatives and similar repositories for NJU-static-program-analysis-node
Users that are interested in NJU-static-program-analysis-node are comparing it to the libraries listed below
Sorting:
- ☆11Updated last year
- A benchmark to evaluate taint analysis☆30Updated 2 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated 4 months ago
- Taint analysis implementation based on Heros and Soot☆45Updated last year
- Study WALA and static code analysis . This project introduces the required knowledge and study roadmap.☆22Updated 4 years ago
- Precision-guided context sensitivity for pointer analysis☆60Updated last year
- ☆25Updated 2 years ago
- 近年来容器安全相关论文收集整理☆15Updated 2 years ago
- JAVA指针分析☆13Updated 5 years ago
- This repository has been merged into https://github.com/HXSecurity/DongTai. DongTai-engine used to analyze the method data collected by …☆20Updated 3 years ago
- ☆12Updated 3 years ago
- easy_Pwn☆19Updated 6 years ago
- source code of XCTF 2019 Final web task "tfboys"☆29Updated 2 years ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆28Updated 4 years ago
- A Vulnerable Web App written by JavaScript (Vue+Egg)☆12Updated 7 months ago
- Collection of CTF challenges I made☆18Updated 7 years ago
- A c0 -> LLVM IR compiler, with some optimization.☆12Updated 4 years ago
- CTF stuff☆40Updated 2 years ago
- ☆11Updated 6 years ago
- 企业级安全智能化实践☆69Updated 3 years ago
- 基于JVM-Sandbox实现RASP安全监控防护☆52Updated last year
- An automatic testing tool for Java software☆25Updated 7 years ago
- a dataflow analysis framework implemented in Go, like soot☆35Updated 2 years ago
- gosec动态规则修改版☆12Updated 3 years ago
- [NDSS 2024] ReqsMiner is an innovative fuzzing framework developed to discover previously unexamined inconsistencies in CDN forwarding re…☆20Updated 11 months ago
- 一些Java RASP demo☆11Updated 5 years ago
- Tai-e学习记录☆16Updated last year
- Personal CodeQL queries☆64Updated 2 weeks ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆13Updated last week
- 一个Java攻击框架☆23Updated 4 years ago