Explore Projects

Discover 116 open source projects

Active filters (1):
Search: static-analysisร—
Clear all

Showing 101-116 of 116 projects

pschanely/CrossHair

CrossHair is a static and dynamic analysis tool for Python that blends testing and type systems.

1.3K
Active
Python
Testing
API Frameworks
Python
#static-analysis#dynamic-analysis#symbolic-execution

carlosas/phpat

Easy architecture testing for PHP projects to ensure they follow best practices.

1.2K
Active
PHP
Linters & Formatters
API Frameworks
PHP
#architecture#testing#php

secure-software-engineering/FlowDroid

FlowDroid is a static data flow tracker that analyzes Android apps to detect potential security vulnerabilities.

1.2K
Active
Java
Static Analysis
Security Research
#data-flow-analysis#android-security#static-analysis

eliasgranderubio/dagda

A security tool for analyzing vulnerabilities, malware, and anomalous activities in Docker images and containers.

1.2K
Archived
Python
Security Research
Containerization
#docker#security#vulnerability-scanning

pascal-lab/Tai-e-assignments

Provides static program analysis assignments for Java developers

1.2K
Stable
Java
React
#static-analysis#java-programming#education

SonarSource/SonarJS

Static code analysis tool for JavaScript and TypeScript focused on code quality and maintainability.

1.2K
Active
TypeScript
Linters & Formatters
API Frameworks
TypeScript
#code-quality#linting#static-analysis

SonarSource/eslint-plugin-sonarjs

A TypeScript-based ESLint plugin for code analysis and quality enforcement.

1.2K
Archived
TypeScript
Linters & Formatters
React
#code-analysis#eslint#javascript

SonarSource/sonar-java

A static code analyzer and linter for Java, focused on code quality and security.

1.2K
Active
Java
Linters & Formatters
API Frameworks
Java
#static-analysis#code-quality#security

felixfbecker/php-language-server

A PHP implementation of the Language Server Protocol for IDE integrations and static code analysis.

1.2K
Archived
PHP
IDE Extensions
API Frameworks
PHP
#autocomplete#code-analysis#ide

XmirrorSecurity/OpenSCA-cli

An open-source software supply chain security solution for detecting dependencies, vulnerabilities, and license compliance.

1.1K
Active
Go
Security Research
API Frameworks
#software-supply-chain-security#software-composition-analysis#vulnerability-detection

meziantou/Meziantou.Analyzer

A Roslyn analyzer to enforce good coding practices in C# projects

1.1K
Active
C#
Linters & Formatters
API Frameworks
C#
#analyzer#csharp#dotnet

golangci/awesome-go-linters

A curated list of awesome Go linters and static analysis tools for Go developers.

1.1K
Archived
Go
Linters & Formatters
#go#golang#linters

semgrep/semgrep-rules

A collection of Semgrep community-contributed rules for static code analysis and security scanning.

1.1K
Active
HCL
Linters & Formatters
Security Scanner
Semgrep
#static-analysis#security-scanning#code-quality

caramelomartins/awesome-linters

A curated list of awesome linters and static code analysis tools for various programming languages.

1.1K
Archived
Linters & Formatters
#linter#static-analysis#style-checker

jspecify/jspecify

A Java library for static analysis and nullability checking, useful for improving code quality and stability.

1.1K
Active
Java
Linters & Formatters
API Frameworks
Java
#annotations#bug-finding#nullability-analysis

secure-software-engineering/phasar

A powerful LLVM-based static analysis framework for C/C++ developers to improve code quality and security.

1.0K
Active
C++
CLI Tools
Static Analysis
#c++#llvm#program-analysis

Stay in the loop

Get weekly updates on trending AI coding tools and projects.