
recurse
Agentic reverse engineering IDE with a pure-Rust multi-architecture disassembler, native decompiler, debugger, and LLM agent for binary analysis and…

Agentic reverse engineering IDE with a pure-Rust multi-architecture disassembler, native decompiler, debugger, and LLM agent for binary analysis and…

A vulnerability scanner for container images and filesystems

Mobile app security auditing tool focused on automating SAST analysis, identifying underlying technologies (React Native, Flutter, Xamarin, native),…

Rust CLI suite that statically decompiles, deobfuscates, and unpacks native code, bytecode, scripts, firmware, and app packages across 15+ ecosystems…

Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and…

Static analysis tool for Android/iOS apps focusing on security issues outside the source code

A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)

A native APK and DEX decompiler written in Rust

Static analysis CLI that scans AI-generated code for vulnerabilities like SQL injection, unsafe reflection, and hardcoded secrets, with SARIF export…

Malware detection using learning and information retrieval for Android

shell script protector (obfuscation, embedded interpreter, DRM) - invisible to kernel tracing

Buildless dependency auditor that scans 10 ecosystems offline, reporting CVEs prioritized by CISA KEV and EPSS, EOL packages, licenses, committed…

Automated mobile application security testing framework for Android, iOS, and Windows. Performs static and dynamic analysis, malware detection, and…

Some good resources for getting started with application security

0-day malware detection for binaries, source & scripts (that doesn't suck)

An effort to build a single place for all useful android and iOS security related stuff. All references and tools belong to their respective owners.…

The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection — papers…

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…