用来将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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆30Aug 30, 2022Updated 3 years ago
- A benchmark for Java gadget chain detecting algorithms.☆15Jun 20, 2025Updated 9 months ago
- ☆206Oct 27, 2025Updated 4 months ago
- 一款使用Yaml定义搜索规则来搜索Class的工具☆108Aug 2, 2023Updated 2 years ago
- 抽离出 utf-8-overlong-encoding 的序列化逻辑，实现 2 3 字节加密序列化数组☆140Mar 11, 2024Updated 2 years ago
- Artifact for ICSE 2023☆50Sep 24, 2022Updated 3 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 4 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 8 months ago
- ☆21Apr 30, 2021Updated 4 years ago
- Common Exploitation Techniques for Java RCE Vulnerabilities in Real-World Scenarios | 实战场景较通用的 Java Rce 相关漏洞的利用方式☆544Mar 6, 2025Updated last year
- Java JDK 8-18 CodeQL databases☆17Jun 2, 2024Updated last year
- Hessian UTF-8 Overlong Encoding☆21Mar 9, 2024Updated 2 years ago
- Jsp Decoder Source Code☆16Mar 23, 2021Updated 5 years ago
- Some ReadObject Sink With JDBC☆243May 8, 2024Updated last year
- 记录一些代码审计过的源码☆182Feb 26, 2025Updated last year
- ☆23Jul 3, 2022Updated 3 years ago
- 一个 CLASS 文件混淆工具，支持方法字段参数名引用分析和重命名混淆，支持字符串提取/AES加密运行时解密/整型异或混淆/垃圾代码花指令混淆/错误注解崩溃/特殊字符迷惑用户/反编译器对抗/方法和字段的隐藏等，配置简单，容易上手☆310Jan 26, 2026Updated last month
- Java web路由内存分析工具☆438May 22, 2025Updated 10 months ago
- A Java Route Collection Tool☆102Aug 1, 2024Updated last year
- Thymeleaf SSTI Bypass☆13Nov 24, 2021Updated 4 years ago
- 闭源系统半自动漏洞挖掘工具，针对 jar/war/zip 进行静态代码分析，输出从source到sink的可达路径。LLM将验证路径可达性，并根据上下文给出该路径可信分数☆506Jan 12, 2026Updated 2 months ago
- ☆14Feb 4, 2020Updated 6 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆15Oct 3, 2024Updated last year
- 使用 agent 实现反序列化 utf8 overlong☆84Apr 24, 2024Updated last year
- https://ssa.to main page for ssa compiler utils☆56Mar 17, 2026Updated last week
- Lessons for syntaxflow zero to hero☆55Sep 14, 2024Updated last year
- 一个简单的批量反编译jar包的小脚本☆45Mar 20, 2022Updated 4 years ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆345Jan 6, 2024Updated 2 years ago
- 一个用于修改右键插件菜单层级的Burpsuite插件。A simple BurpSuite extension to change extension context menu level.☆30Feb 4, 2024Updated 2 years ago
- JDBC Attack Tricks☆154Sep 3, 2023Updated 2 years ago
- xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆467Jan 15, 2026Updated 2 months ago
- CodeQL extractor for java, which don't need to compile java source☆348Nov 25, 2022Updated 3 years ago
- An easy-to-learn/use static analysis framework for Java☆1,771Feb 16, 2026Updated last month
- Java bytecode line number restoration tool☆135Aug 31, 2025Updated 6 months ago
- nativeRasp that can hook native methods☆23Apr 24, 2023Updated 2 years ago
- 不那么一样的 Java Agent 内存马☆289Nov 27, 2023Updated 2 years ago
- A CAT called tabby ( Code Analysis Tool )☆1,641Jan 17, 2026Updated 2 months ago
- A vul-finder for loading CPG and automated finding vul-call-chains☆72Jul 22, 2025Updated 8 months ago
- Tai-e的Web插件☆23Jun 11, 2024Updated last year