d1tto
Follow
Lists (1)
Stars
Open Source Static Scanning tool to detect data flows in your code, find data security vulnerabilities & generate accurate Play Store Data Safety Report.
Offline alternative to Notion. Eidos is an extensible framework for managing your personal data throughout your lifetime in one place.
Joint Advanced Defect assEsment for android applications
A Micro-benchmarking Framework for Python Type Inference Tools
TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
Awesome list of step by step techniques to achieve Remote Code Execution on various apps!
A structure-aware grey box fuzzer based on modeling the input processing logic.
The heart & core of Privado code scanner
Integrate cutting-edge LLM technology quickly and easily into your apps
Security Vulnerability Repair via Concolic Execution and Code Mutations
Multi-platform auto-proxy client, supporting Sing-box, X-ray, TUIC, Hysteria, Reality, Trojan, SSH etc. It’s an open-source, secure and ad-free.
Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.
aider is AI pair programming in your terminal
Seq2seq Type Inference using Static Analysis and CodeT5
Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformati…
xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".
🌙🦊 Dalfox is a powerful open-source XSS scanner and utility focused on automation.
🔱 Powerfull XSS Scanning and Parameter analysis tool&gem
CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- please file tickets, bug reports, or pull requests at the ups…
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)