47,133 repositories indexed
1–18 of 18 · Most stars
Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.
Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.
Tfsec is now part of Trivy
static analysis of C/C++ code
High performance, maintainable stylesheets.
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
TranslatedDesktop Android leak audit: permissions, endpoints, data flows, reversible fixes. Phone privacy audit: uses adb to scan an Android app's permissions, reporting endpoints, and data flows, and provides reversible remediation.
Linting tool for CloudFormation templates
The tool to avoid various issues due to inconsistencies and inefficiencies between a database schema and application models.
StaCoAn is a crossplatform tool which aids developers, bugbounty hunters and ethical hackers performing static code analysis on mobile applications.
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
Performs advanced static analysis on PHP code
A high-performance static analysis toolkit for Ruby
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Django application that performs SAST and Malware Analysis for Android APKs
Gixy-Next: NGINX Configuration Security Scanner & Performance Checker
A cross-platform Vulkan layer which checks Vulkan applications for best practices on Arm Mali devices.
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]