用来将Tai-e改造为开箱即用的静态代码安全分析框架的一些demo
☆37Apr 17, 2024Updated last year
Alternatives and similar repositories for Tai-e-demo
Users that are interested in Tai-e-demo are comparing it to the libraries listed below
Sorting:
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 8 months ago
- ☆30Aug 30, 2022Updated 3 years ago
- ☆206Oct 27, 2025Updated 4 months ago
- 一款使用Yaml定义搜索规则来搜索Class的工具☆108Aug 2, 2023Updated 2 years ago
- Artifact for ICSE 2023☆50Sep 24, 2022Updated 3 years ago
- 抽离出 utf-8-overlong-encoding 的序列化逻辑,实现 2 3 字节加密序列化数组☆140Mar 11, 2024Updated last year
- ☆21Apr 30, 2021Updated 4 years ago
- 一个 CLASS 文件混淆工具,支持方法字段参数名引用分析和重命名混淆,支持字符串提取/AES加密运行时解密/整型异或混淆/垃圾代码花指令混淆/错误注解崩溃/特殊字符迷惑用户/反编译器对抗/方法和字段的隐藏等,配置简单,容易上手☆307Jan 26, 2026Updated last month
- 记录一些代码审计过的源码☆182Feb 26, 2025Updated last year
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 4 months ago
- A Java Route Collection Tool☆102Aug 1, 2024Updated last year
- Jsp Decoder Source Code☆16Mar 23, 2021Updated 4 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆13Oct 3, 2024Updated last year
- Common Exploitation Techniques for Java RCE Vulnerabilities in Real-World Scenarios | 实战场景较通用的 Java Rce 相关漏洞的利用方式☆545Mar 6, 2025Updated 11 months ago
- Thymeleaf SSTI Bypass☆13Nov 24, 2021Updated 4 years ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆14Jul 24, 2025Updated 7 months ago
- 闭源系统半自动漏洞挖掘工具,针对 jar/war/zip 进行静态代码分析,输出从source到sink的可达路径。LLM将验证路径可达性,并根据上下文给出该路径可信分数☆502Jan 12, 2026Updated last month
- Some ReadObject Sink With JDBC☆243May 8, 2024Updated last year
- 使用 agent 实现反序列化 utf8 overlong☆83Apr 24, 2024Updated last year
- Java web路由内存分析工具☆437May 22, 2025Updated 9 months ago
- ☆14Feb 4, 2020Updated 6 years ago
- Hessian UTF-8 Overlong Encoding☆21Mar 9, 2024Updated last year
- nativeRasp that can hook native methods☆24Apr 24, 2023Updated 2 years ago
- 一个用于修改右键插件菜单层级的Burpsuite插件。A simple BurpSuite extension to change extension context menu level.☆30Feb 4, 2024Updated 2 years ago
- A vul-finder for loading CPG and automated finding vul-call-chains☆71Jul 22, 2025Updated 7 months ago
- CodeQL extractor for java, which don't need to compile java source☆348Nov 25, 2022Updated 3 years ago
- Java JDK 8-18 CodeQL databases☆17Jun 2, 2024Updated last year
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆345Jan 6, 2024Updated 2 years ago
- Java bytecode line number restoration tool☆134Aug 31, 2025Updated 6 months ago
- ☆50Nov 4, 2022Updated 3 years ago
- https://ssa.to main page for ssa compiler utils☆55Sep 26, 2025Updated 5 months ago
- JDBC Attack Tricks☆154Sep 3, 2023Updated 2 years ago
- Apache Dubbo漏洞测试Demo及其POC☆65Mar 27, 2023Updated 2 years ago
- Java表达式语句生成器☆194Oct 9, 2023Updated 2 years ago
- xAST评价体系,让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆463Jan 15, 2026Updated last month
- 构造字节在ASCII范围内的jar☆139Feb 14, 2022Updated 4 years ago
- A CAT called tabby ( Code Analysis Tool )☆1,637Jan 17, 2026Updated last month
- Tai-e的Web插件☆23Jun 11, 2024Updated last year
- CTF-Java-Gadget专注于收集CTF中Java赛题的反序列化片段☆276Dec 13, 2024Updated last year