pascal-lab / java-benchmarks
☆10Updated last year
Alternatives and similar repositories for java-benchmarks:
Users that are interested in java-benchmarks are comparing it to the libraries listed below
- Taint analysis implementation based on Heros and Soot☆43Updated 8 months ago
- This repository has been merged into https://github.com/HXSecurity/DongTai. DongTai-engine used to analyze the method data collected by …☆20Updated 2 years ago
- Tai-e学习记录☆13Updated 9 months ago
- JAVA指针分析☆13Updated 5 years ago
- A benchmark to evaluate taint analysis☆30Updated 2 years ago
- analysis java dependence and store in neo4j☆18Updated 6 years ago
- ☆10Updated 2 years ago
- Personal CodeQL queries☆59Updated last week
- 基于Java ASM技术和GadgetInspector的原理,尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析☆36Updated 3 years ago
- Study WALA and static code analysis . This project introduces the required knowledge and study roadmap.☆21Updated 4 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆74Updated 10 months ago
- 《深入理解Semgrep》Finding vulnerabilities with Semgrep.☆43Updated last year
- a dataflow analysis framework implemented in Go, like soot☆32Updated 2 years ago
- ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection☆78Updated 2 years ago
- ☆12Updated 3 years ago
- Unofficial Dockerfile and scripts for building CodeQL databases for the OpenJDK☆48Updated last year
- generate facts from bytecode (source is https://github.com/plast-lab/doop-mirror/tree/master/generators)☆23Updated last month
- 向TSRC投稿的文章,对应的pdf,代码和思维导图☆19Updated 4 years ago
- S&P2023 Paper☆39Updated 2 years ago
- CodeQL中文资料和常见使用解释。Chinese version of Codeql documents☆9Updated 4 years ago
- ☆41Updated 3 years ago
- Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…☆17Updated last month
- 个人用于在自动化挖掘gadget时,方便查找gadget chains中class所在jar包,以助于便捷审计测试gadget有效性的那么一个小工具。☆60Updated 4 years ago
- Programs for producing static and dynamic (runtime) call graphs for Java programs☆15Updated 3 years ago
- Java agent without file 无文件的Java agent☆78Updated 2 years ago
- neo4j plugin of ByteCodeDL for the IntelliJ Platform. ByteCodeDL-Neo4j-IDEA-Plugin☆16Updated last year
- 基于JVM-Sandbox实现RASP安全监控防护☆52Updated last year
- gosec动态规则修改版☆12Updated 3 years ago
- 静态程序分析工具 主要生成方法的CFG和.java文件的AST☆128Updated last year