An easy-to-learn/use static analysis framework for Java
☆1,760Feb 16, 2026Updated last week
Alternatives and similar repositories for Tai-e
Users that are interested in Tai-e are comparing it to the libraries listed below
Sorting:
- Tai-e assignments for static program analysis☆1,219Aug 28, 2025Updated 5 months ago
- A CAT called tabby ( Code Analysis Tool )☆1,635Jan 17, 2026Updated last month
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆345Jan 6, 2024Updated 2 years ago
- 《深入理解CodeQL》Finding vulnerabilities with CodeQL.☆1,754Nov 21, 2023Updated 2 years ago
- A new version of Soot with a completely overhauled architecture☆772Feb 20, 2026Updated last week
- Getting started with static program analysis. 静态程序分析入门教程。☆1,764Mar 20, 2024Updated last year
- 带你畅游《软件分析》☆277Aug 1, 2022Updated 3 years ago
- CodeQL extractor for java, which don't need to compile java source☆348Nov 25, 2022Updated 3 years ago
- xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆463Jan 15, 2026Updated last month
- Codeql学习笔记☆900Apr 25, 2022Updated 3 years ago
- Soot - A Java optimization framework☆3,071Feb 13, 2026Updated 2 weeks ago
- A helpful Java Deserialization exploit framework.☆1,239Feb 17, 2025Updated last year
- Java web路由内存分析工具☆437May 22, 2025Updated 9 months ago
- java内存对象搜索辅助工具☆823Sep 23, 2022Updated 3 years ago
- Java安全相关的漏洞和技术demo，原生Java、Fastjson、Jackson、Hessian2、XML反序列化漏洞利用和Spring、Dubbo、Shiro、CAS、Tomcat、RMI、Nexus等框架\中间件\功能的exploits以及Java Security…☆2,689Mar 14, 2024Updated last year
- Corax for Java: A general static analysis framework for java code checking.☆254Dec 3, 2024Updated last year
- A neo4j procedure for tabby☆137May 17, 2025Updated 9 months ago
- KunLun-M是一个完全开源的静态白盒扫描工具，支持PHP、JavaScript的语义扫描，基础安全、组件安全扫描，Chrome Ext\Solidity的基础扫描。☆2,380Jan 16, 2026Updated last month
- a rep for documenting my study, may be from 0 to 0.1☆2,249Nov 10, 2025Updated 3 months ago
- ZKar is a Java serialization protocol analysis tool implement in Go.☆647Feb 15, 2025Updated last year
- CodeQLpy是一款基于CodeQL实现的半自动化代码审计工具，目前仅支持java语言。实现从源码反编译，数据库生成，脆弱性发现的全过程，可以辅助代码审计人员快速定位源码可能存在的漏洞。☆844Jul 6, 2023Updated 2 years ago
- Java web common vulnerabilities and security code which is base on springboot and spring security☆2,649Dec 2, 2024Updated last year
- Share Things Related to Java - Java安全漫谈笔记相关内容☆1,992Apr 9, 2025Updated 10 months ago
- CodeQL Java 全网最全的中文学习资料☆799Mar 18, 2022Updated 3 years ago
- The official repo of Doop, the declarative pointer analysis framework.☆203Updated this week
- spring boot Fat Jar 任意写文件漏洞到稳定 RCE 利用技巧☆754Apr 14, 2021Updated 4 years ago
- 一个利用ASM对字节码进行污点传播分析的静态代码审计应用（添加了大量代码注释，适合大家进行源码学习）。也加入了挖掘Fastjson反序列化gadget chains和SQLInject（JdbcTemplate、MyBatis、JPA、Hibernate、原生jdbc等）静…☆458Mar 24, 2022Updated 3 years ago
- A byte code analyzer for finding deserialization gadget chains in Java applications☆1,079Jun 15, 2021Updated 4 years ago
- WebSocket 内存马/Webshell，一种新型内存马/WebShell技术☆1,487Apr 10, 2023Updated 2 years ago
- Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.…☆2,959Updated this week
- 一款支持自定义的 Java 内存马生成工具｜A customizable Java in-memory webshell generation tool.☆2,151Aug 21, 2025Updated 6 months ago
- 建议使用新版：https://github.com/jar-analyzer/jar-analyzer☆896Nov 30, 2023Updated 2 years ago
- Some ReadObject Sink With JDBC☆243May 8, 2024Updated last year
- 静态分析基础教程☆179Jan 3, 2026Updated last month
- JDBC Connection URL Attack☆438Sep 10, 2021Updated 4 years ago
- Jar Analyzer - 一个 JAR 包 GUI 分析工具，方法调用关系搜索，方法调用链 DFS 算法分析，模拟 JVM 的污点分析验证 DFS 结果，字符串搜索，Java Web 组件入口分析，CFG 程序分析，JVM 栈帧分析，自定义表达式搜索，紧跟 AI 技术发…☆1,929Feb 9, 2026Updated 2 weeks ago
- Java Js Engine Payloads All in one☆289Aug 21, 2023Updated 2 years ago
- 自动反编译闭源应用，创建codeql数据库☆316Mar 2, 2022Updated 3 years ago
- Fastjson姿势技巧集合☆1,824Oct 20, 2023Updated 2 years ago