BytecodeDL / ByteCodeDL
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
☆327Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for ByteCodeDL
- CodeQL extractor for java, which don't need to compile java source☆322Updated last year
- 自动反编译闭源应用,创建codeql数据库☆298Updated 2 years ago
- 静态分析及代码审计自动化相关资料收集☆283Updated 2 years ago
- 记录学习codeql的过程☆363Updated last year
- Corax for Java: A general static analysis framework for java code checking.☆233Updated last month
- xAST评价体系,让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆335Updated this week
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆171Updated last year
- 《深入理解SAST静态应用安全测试》Static Application Security Testing.☆318Updated 6 months ago
- Codeql学习笔记☆840Updated 2 years ago
- A neo4j procedure for tabby☆114Updated 5 months ago
- GitHub项目监控 && CodeQL自动扫描 (GitHub project monitoring && CodeQL automatic analysis)☆396Updated 6 months ago
- 利用链、漏洞检测工具☆365Updated 3 months ago
- 一个利用ASM对字节码进行污点传播分析的静态代码审计应用(添加了大量代码注释,适合大家进行源码学习)。也加入了挖掘Fastjson反序列化gadget chains和SQLInject(JdbcTemplate、MyBatis、JPA、Hibernate、原生jdbc等)静…☆439Updated 2 years ago
- CodeQL Java 全网最全的中文学习资料☆739Updated 2 years ago
- Java漏洞靶场☆312Updated 10 months ago
- 项目监控工具 以及 Codeql 自动运行☆308Updated last year
- Java web路由内存分析工具☆422Updated this week
- ☆79Updated 2 months ago
- 个人使用CodeQL编写的一些规则☆172Updated 2 years ago
- S&P2023 Paper☆39Updated 2 years ago
- Taint analysis implementation based on Heros and Soot☆40Updated 6 months ago
- IoT固件漏洞挖掘工具☆226Updated last year
- 零基础入门V8 引擎漏洞挖掘☆237Updated 7 months ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆150Updated last month
- 静态程序分析工具 主要生成方法的CFG和.java文件的AST☆126Updated last year
- 二进制安全高级参考资料☆119Updated 4 years ago
- java decompile audit tools☆222Updated 2 years ago
- writeups for XNUCA2020Qualifier☆70Updated 3 years ago
- IoT安全教程☆275Updated 4 years ago