Explore Projects

Discover 116 open source projects

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

Showing 61-80 of 116 projects

NASA-SW-VnV/ikos

A static analyzer for C/C++ based on Abstract Interpretation, useful for software verification and validation.

3.1K
Experimental
C++
Static Analysis
API Frameworks
#static-analysis#software-verification#program-analysis

qltysh/qlty

A CLI tool for enforcing code quality standards through linting, formatting, security scanning, and maintainability checks.

3.0K
Active
Rust
Linters & Formatters
API Frameworks
#code-quality#linter#formatter

carthage-software/mago

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

2.9K
Active
Rust
Linters & Formatters
API Frameworks
#code-analyzer#code-style#coding-standards

mtshiba/pylyzer

A fast, feature-rich static code analyzer & language server for Python

2.9K
Experimental
Rust
React
#static-analysis#type-checker#python

exakat/php-static-analysis-tools

A curated list of useful PHP static analysis tools for developers to improve code quality and catch bugs.

2.9K
Archived
Linters & Formatters
API Frameworks
#php#static-analysis#code-quality

Bearer/bearer

Security scanning tool for detecting and prioritizing security risks in code

2.6K
Active
Go
Go
#security-scanning#static-analysis#vulnerability-detection

ajinabraham/nodejsscan

A static security code scanner for Node.js applications to help identify security vulnerabilities.

2.6K
Stable
CSS
Linters & Formatters
Security Research
Node.js
#security#code-analysis#static-analysis

Ericsson/codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

2.5K
Active
Python
Static Analyzers
API Frameworks
#static-analysis#clang#llvm

protectai/vulnhuntr

Zero-shot vulnerability discovery using large language models (LLMs) for security researchers.

2.5K
Experimental
Python
LLM Frameworks
Security Research
Python
#security#vulnerability-detection#static-analysis

friendlyanon/cmake-init

A boilerplate project for C/C++ development using the CMake build system, with various static analysis and CI tools.

2.5K
Stable
CMake
Build Tools
Linters & Formatters
#boilerplate#cmake#c++

phpmd/phpmd

PHPMD is a PHP linter that analyzes code for style and security issues.

2.4K
Active
PHP
Linters & Formatters
React
#linter#security#style

find-sec-bugs/find-sec-bugs

A Java security audit plugin that helps developers find security vulnerabilities in web and Android apps.

2.4K
Experimental
Java
Security Research
Linters & Formatters
#security-audit#static-analysis#cwe

JoshuaKGoldberg/TypeStat

A TypeScript tool that automatically converts JavaScript to TypeScript and improves TypeScript code.

2.2K
Active
TypeScript
Linters & Formatters
Frontend Frameworks
TypeScript
#typescript#javascript#conversion

praetorian-inc/gokart

A static analysis tool for securing Go code, focused on code security and vulnerability detection.

2.2K
Archived
Go
Linters & Formatters
Security Research
#golang#security#static-analysis

glebm/i18n-tasks

A Ruby library for managing translations and localization using static analysis

2.2K
Active
Ruby
Linters & Formatters
Backend Frameworks
Rails
#i18n#localization#translation-management

CYB3RMX/Qu1cksc0pe

All-in-one malware analysis tool for security-focused developers and researchers.

2.0K
Stable
YARA
Security Research
CLI Tools
#malware-analysis#security-tools#static-analysis

guardrailsio/awesome-golang-security

An awesome collection of resources for securing Go applications and infrastructure.

2.0K
Archived
Security Research
Linters & Formatters
#golang#security#static-analysis

rubik/radon

A Python library that provides various code metrics and static analysis tools for Python projects.

1.9K
Archived
Python
CLI Tools
Linters & Formatters
#code-analysis#code-metrics#static-analysis

jar-analyzer/jar-analyzer

A Java GUI tool that provides advanced JAR file analysis, including method call relationship search, call chain analysis, and JVM emulation.

1.9K
Active
Java
CLI Tools
Program Analysis
#bytecode-analysis#jar-analysis#java-security

JustasMasiulis/lazy_importer

A C++ library for importing functions from DLLs in a hidden, reverse engineer-unfriendly way.

1.9K
Archived
C++
CLI Tools
Security Research
#anti-reversing#obfuscation#reverse-engineering

Stay in the loop

Get weekly updates on trending AI coding tools and projects.