BytecodeDL / ByteCodeDLLinks
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
☆342Updated last year
Alternatives and similar repositories for ByteCodeDL
Users that are interested in ByteCodeDL are comparing it to the libraries listed below
Sorting:
- CodeQL extractor for java, which don't need to compile java source☆345Updated 2 years ago
- 静态分析及代码审计自动化相关资料收集☆296Updated 3 years ago
- Corax for Java: A general static analysis framework for java code checking.☆255Updated 9 months ago
- 自动反编译闭源应用,创建codeql数据库☆314Updated 3 years ago
- 记录学习codeql的过程☆389Updated 2 years ago
- 《深入理解SAST静态应用安全测试》Static Application Security Testing.☆351Updated last year
- ☆183Updated 2 months ago
- 静态分析笔记 Static-Analysis-Notes 程序分析笔记 资源分享☆185Updated 2 years ago
- xAST评价体系,让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆413Updated 2 weeks ago
- S&P2023 Paper☆39Updated 3 years ago
- A benchmark to evaluate taint analysis☆29Updated 3 years ago
- SecCodeBench is a benchmark suite focusing on evaluating the security of code generated by large language models (LLMs).☆56Updated last month