static-analysis

There are 138 repositories under static-analysis topic.

koalaman / shellcheck
ShellCheck, a static analysis tool for shell scripts
haskell shell static-analysis bash linter developer-tools
Language:Haskell 32203
ImHex
WerWolv / ImHex
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
hex-editor reverse-engineering ips dear-imgui disassembler analyzer mathematical-evaluator pattern-language dark-mode hacktoberfest forensics multi-platform binary-analysis c-plus-plus static-analysis windows cybersecurity hacking preprocessor
Language:C++ 28569
realm / SwiftLint
A tool to enforce Swift style and conventions.
code-quality linter linting static-analysis swift
Language:Swift 17398
nikic / PHP-Parser
A PHP parser written in PHP
php parser ast static-analysis
Language:PHP 16140
charliermarsh / ruff
An extremely fast Python linter, written in Rust.
linter pep8 python python3 ruff rust rustpython static-analysis static-code-analysis style-guide styleguide
Language:Rust 15077
Mobile-Security-Framework-MobSF
MobSF / Mobile-Security-Framework-MobSF
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.
static-analysis dynamic-analysis python mobsf android-security mobile-security windows-mobile-security ios-security mobile-security-framework api-testing web-security malware-analysis runtime-security devsecops apk rest cwe owasp mstg masvs
Language:JavaScript 14108
facebook / infer
A static analyzer for Java, C, C++, and Objective-C
static-analysis static-code-analysis code-quality java c cpp objective-c
Language:OCaml 14046
Konloch / bytecode-viewer
A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
java-decompiler apk java procyon cfr fernflower krakatau bytecode-viewer bytecode smali baksmali dex2jar decompiler recompiler compiler war jsp static-analysis android
Language:Java 13751
PHP-CS-Fixer
PHP-CS-Fixer / PHP-CS-Fixer
A tool to automatically fix PHP Coding Standards issues
php static-analysis code-style code-standards
Language:PHP 11962
phpstan / phpstan
PHP Static Analysis Tool - discover bugs in your code without running it!
phpstan static-analysis php php7 testing static-code-analysis static-analyzer
Language:PHP 11894
static-analysis
analysis-tools-dev / static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
static-analysis static-analyzers linter code-quality awesome-list static-code-analysis sast analysis
Language:Rust 11321
ttroy50 / cmake-examples
Useful CMake Examples
cmake cpp tutorial clang cppcheck static-analysis clang-format unit-testing google-test catch boost cpack ctest
Language:CMake 10529
OWASP / owasp-mastg
The Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes the technical processes for verifying the controls listed in the OWASP Mobile Application Security Verification Standard (MASVS).
mobile-app pentesting android-application ios-app runtime-analysis network-analysis static-analysis reverse-engineering dynamic-analysis mobile-security android ios hacking reverse-enginnering mstg testing-cryptography compliancy-checklist mast mastg
Language:Python 10305
squizlabs / PHP_CodeSniffer
PHP_CodeSniffer tokenizes PHP files and detects violations of a defined set of coding standards.
php coding-standards automation cli qa static-analysis
Language:PHP 10211
rshipp / awesome-malware-analysis
Defund the Police.
malware-analysis awesome awesome-list list malware-samples analysis-framework dynamic-analysis static-analysis threat-intelligence automated-analysis domain-analysis network-traffic threatintel malware-collection malware-research threat-sharing chinese-translation chinese drop-ice
9828
quay / clair
Vulnerability Static Analysis for Containers
containers static-analysis go kubernetes docker oci oci-image vulnerabilities clair
Language:Go 9541
hadolint / hadolint
Dockerfile linter, validate inline bash, written in Haskell
dockerfile linter shellcheck haskell dockerfile-linter docker static-analysis
Language:Haskell 8626
semgrep
returntocorp / semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
c go java javascript python r2c ruby sast semgrep static-analysis static-code-analysis typescript
Language:OCaml 8218
SonarSource / sonarqube
Continuous Inspection
sonarqube code-quality static-analysis
Language:Java 7791
checkstyle
checkstyle / checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
java static-code-analysis command-line-tool static-analysis code-quality
Language:Java 7737
Scanners-Box
We5ter / Scanners-Box
A powerful and open-source toolkit for hackers and security automation - 安全行业从业者自研开源扫描器合辑
pentesting-tools hacker-tools vulnerability-scanners information-security redteam-tools penetration-testing devsecops security-automation smart-contracts privacy-compliance apk-analysis binary-analysis exploitation-framework malware-analysis security-audit code-analyzer static-analysis wifi-hacking wifi-security
7246
securego / gosec
Golang security checker
golang security security-tools security-automation static-analysis static-code-analysis
Language:Go 6861
brakeman
presidentbeef / brakeman
A static analysis security vulnerability scanner for Ruby on Rails applications
ruby rails security static-analysis vulnerabilities brakeman security-vulnerability security-tools security-audit
Language:Ruby 6657
google / error-prone
Catch common Java mistakes as compile-time errors
java static-analysis
Language:Java 6452
reviewdog
reviewdog / reviewdog
🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
linter go lint ci code-review github gitlab codereview cli code-quality static-analysis static-code-analysis bitbucket
Language:Go 6394
facebook / pyre-check
Performant type-checking for python.
python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis control-flow-analysis
Language:OCaml 6356
palantir / tslint
:vertical_traffic_light: An extensible linter for the TypeScript language
typescript linting-rules linter tslint static-analysis octo-correct-managed
Language:TypeScript 5921
tfsec
aquasecurity / tfsec
Security scanner for your Terraform code
terraform security scanner static-analysis ci aws azure google-cloud-platform compliance infrastructure-as-code devsecops vulnerability-scanners misconfiguration digitalocean devops linter go terraform-security hacktoberfest
Language:Go 5905
grype
anchore / grype
A vulnerability scanner for container images and filesystems
containers security vulnerability docker golang go static-analysis container-image tool oci cyclonedx vulnerabilities hacktoberfest
Language:Go 5811
bridgecrewio / checkov
Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.
terraform static-analysis aws gcp azure aws-security azure-security gcp-security cloudformation scans compliance kubernetes kubernetes-security devsecops policy-as-code infrastructure-as-code devops terraform-security hacktoberfest bicep
Language:Python 5602
detekt
detekt / detekt
Static code analysis for Kotlin
static analysis kotlin codesmells linter gradle-plugin static-analysis lint code-quality hacktoberfest
Language:Kotlin 5435
davidhalter / jedi
Awesome autocompletion, static analysis and refactoring library for python
static-analysis auto-complete python refactoring type-inference
Language:Python 5427
phan / phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
php static-analysis phan analysis analyzer static-code-analysis
Language:PHP 5423
go-tools
dominikh / go-tools
Staticcheck - The advanced Go linter
linters static-analysis linter staticcheck sponsor
Language:Go 5388
vimeo / psalm
A static analysis tool for finding errors in PHP applications
static-analysis php type-inference security-analysis taint-analysis hacktoberfest
Language:PHP 5209
ofabry / go-callvis
Visualize call graph of a Go program using Graphviz
awesome-go callgraph golang golang-tools graphviz static-analysis visualization
Language:Go 5192

Related Topics

hacktoberfest golang pytorch ruby django