Sign in

Repository Index

47,133 repositories indexed

Tags: Static analysis
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–24 of 28 · 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.

⚗️ Adds code analysis to Laravel improving developer productivity and code quality.

A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications

A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

  • code-analyzer
  • code-style
  • coding-standards
  • formatter

PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.

TranslatedA SQL full-lifecycle quality management platform that supports many different types of databases, covers pre-event control, post-event supervision, and standard release scenarios, and helps you establish quality standards

DevSkim is a set of IDE plugins, language analyzers, and rules that provide security "linting" capabilities.

Flay analyzes code for structural similarities. Differences in literal values, variable, class, method names, whitespace, programming style, braces vs do/end, etc are all ignored.

Static Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).

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.

Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.

Roslyn-based analysis for code using the Serilog logging library. Checks for common mistakes and usage problems.

  • serilog
  • roslyn
  • analysis
  • refactor