generate facts from bytecode (source is https://github.com/plast-lab/doop-mirror/tree/master/generators)
☆23Nov 24, 2024Updated last year
Alternatives and similar repositories for soot-fact-generator
Users that are interested in soot-fact-generator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- neo4j plugin of ByteCodeDL for the IntelliJ Platform. ByteCodeDL-Neo4j-IDEA-Plugin☆16Dec 28, 2023Updated 2 years ago
- A neo4j procedure for tabby☆137May 17, 2025Updated 11 months ago
- Plume is a code representation benchmarking library with options to extract the AST from Java bytecode and store the result in various gr…☆79Oct 14, 2024Updated last year
- 之前方便自己研究RASP原理和绕过时顺手写的，用于快速启动和重置RASP环境☆72Oct 13, 2024Updated last year
- Unofficial Dockerfile and scripts for building CodeQL databases for the OpenJDK☆49Jan 7, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆78Jan 12, 2021Updated 5 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆81Mar 19, 2024Updated 2 years ago
- ☆147Jan 16, 2023Updated 3 years ago
- Spring Cloud Netflix Hystrix Dashboard template resolution vulnerability CVE-2021-22053☆37Dec 15, 2022Updated 3 years ago
- ☆60May 22, 2023Updated 2 years ago
- ☆276Oct 28, 2021Updated 4 years ago
- 基于Java ASM技术和GadgetInspector的原理，尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析☆39Oct 26, 2021Updated 4 years ago
- 在原版nps的基础上，增加了nps探测，以及对应的利用方式（如获取cookie，页面等），进行一些简单的二开。未经过大量测试，可能存在bug。☆21Aug 5, 2025Updated 8 months ago
- A declarative static analysis tool for jvm bytecode based Datalog like CodeQL☆342Jan 6, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tai-e的Web插件☆23Jun 11, 2024Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆208Updated this week
- 编译原理学习代码仓库☆23Jan 17, 2022Updated 4 years ago
- Use java instrument API without JAR file☆47Jun 19, 2022Updated 3 years ago
- Automatically scan jar packages by using ast to find fastjson gadgets. In particular, this project is limited to mining Gadgets that may …☆49Mar 8, 2022Updated 4 years ago
- YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different pro…☆81Updated this week
- Android Security Bug Queries for CheckMarx☆20Sep 13, 2022Updated 3 years ago
- WALA 学习笔记☆14Aug 8, 2023Updated 2 years ago
- 静态程序分析工具 主要生成方法的CFG和.java文件的AST☆134Jul 12, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 利用链、漏洞检测工具☆375Jul 31, 2024Updated last year
- database of pocassist（漏洞库）☆16Jun 16, 2021Updated 4 years ago
- ☆156Jun 18, 2024Updated last year
- Hessian UTF-8 Overlong Encoding☆21Mar 9, 2024Updated 2 years ago
- Thymeleaf SSTI Bypass☆13Nov 24, 2021Updated 4 years ago
- Java web路由内存分析工具☆439May 22, 2025Updated 11 months ago
- ☆297May 7, 2022Updated 3 years ago
- gitlab version index☆65Nov 10, 2021Updated 4 years ago
- payloads☆15Mar 17, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 高版本Fastjson在Java原生反序列化中的利用演示☆26Jan 12, 2025Updated last year
- System using the Analysis Query Language☆14Jun 20, 2022Updated 3 years ago
- Java表达式语句生成器☆194Oct 9, 2023Updated 2 years ago
- Burp插件，转发处理☆14Jan 17, 2023Updated 3 years ago
- A new version of Soot with a completely overhauled architecture☆781Updated this week
- Java code comparison tool (jar / class)☆342Jun 4, 2020Updated 5 years ago
- CodeQL extractor for java, which don't need to compile java source☆347Nov 25, 2022Updated 3 years ago