Tfsec is now part of Trivy
Repository Index
47,133 repositories indexed
1–14 of 14 · Most stars
static analysis of C/C++ code
- cppcheck
- c-plus-plus
- static-analysis
- cross-platform
🚀Optimizer for mobile applications
- optimizer
- android
- gradle-plugin
- bytecode-manipulation
Manage translation and localization with static analysis, for Ruby i18n
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
- continuous-testing
- unit-testing
- cloudformation
- aws
StaCoAn is a crossplatform tool which aids developers, bugbounty hunters and ethical hackers performing static code analysis on mobile applications.
- bugbounty
- security
- security-tools
- mobile-security
phpcs-security-audit is a set of PHP_CodeSniffer rules that finds vulnerabilities and weaknesses related to security in PHP code
- php
- php-codesniffer
- phpcs
- static-code-analysis
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.
PHPStan analysis for Blade templates
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]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Find missing or unused translations in your Ember.js projects
The MongoDB Analyzer is a free tool that helps you understand how your code translates into the MongoDB Query API.
- c-sharp
- csharp
- dotnet
- linq