Topic: static-analysis Goto Github
Some thing interesting about static-analysis
Some thing interesting about static-analysis
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.
Organization: analysis-tools-dev
Home Page: https://analysis-tools.dev
static-analysis,A vulnerability scanner for container images and filesystems
Organization: anchore
static-analysis,CLI tool and library for generating a Software Bill of Materials from container images and filesystems
Organization: anchore
static-analysis,Tfsec is now part of Trivy
Organization: aquasecurity
Home Page: https://aquasecurity.github.io/trivy/
static-analysis,⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Organization: ast-grep
Home Page: https://ast-grep.github.io/
static-analysis,An extremely fast Python linter and code formatter, written in Rust.
Organization: astral-sh
Home Page: https://docs.astral.sh/ruff
static-analysis,Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.
Organization: bridgecrewio
Home Page: https://www.checkov.io/
static-analysis,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.
Organization: checkstyle
Home Page: https://checkstyle.org
static-analysis,The modern Java bytecode editor
User: col-e
Home Page: https://recaf.coley.software
static-analysis,Static Analyzer for Solidity and Vyper
Organization: crytic
Home Page: https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/
static-analysis,static analysis of C/C++ code
User: danmar
Home Page: https://cppcheck.sourceforge.io/
static-analysis,Awesome autocompletion, static analysis and refactoring library for python
User: davidhalter
Home Page: http://jedi.readthedocs.io
static-analysis,Static code analysis for Kotlin
Organization: detekt
Home Page: https://detekt.dev
static-analysis,🚀Optimizer for mobile applications
Organization: didi
Home Page: https://booster.johnsonlee.io
static-analysis,Staticcheck - The advanced Go linter
User: dominikh
Home Page: https://staticcheck.dev
static-analysis,TypeScript Compiler API wrapper for static analysis and programmatic code changes.
User: dsherret
Home Page: https://ts-morph.com
static-analysis,Scanning APK file for URIs, endpoints & secrets.
User: dwisiswant0
static-analysis,A static analyzer for Java, C, C++, and Objective-C
Organization: facebook
Home Page: http://fbinfer.com/
static-analysis,Performant type-checking for python.
Organization: facebook
Home Page: https://pyre-check.org/
static-analysis,Catch common Java mistakes as compile-time errors
Organization: google
Home Page: https://errorprone.info
static-analysis,Dockerfile linter, validate inline bash, written in Haskell
Organization: hadolint
static-analysis,Program for determining types of files for Windows, Linux and MacOS.
User: horsicq
Home Page: http://ntinfo.biz
static-analysis,ShellCheck, a static analysis tool for shell scripts
User: koalaman
Home Page: https://www.shellcheck.net
static-analysis,A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
User: konloch
Home Page: https://bytecodeviewer.com
static-analysis,🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint
User: mgechev
Home Page: https://revive.run
static-analysis,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.
Organization: mobsf
Home Page: https://opensecurity.in
static-analysis,A PHP parser written in PHP
User: nikic
static-analysis,Visualize call graph of a Go program using Graphviz
User: ondrajz
Home Page: https://ofabry.github.io/go-callvis
static-analysis,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).
Organization: owasp
Home Page: https://mas.owasp.org/
static-analysis,:vertical_traffic_light: An extensible linter for the TypeScript language
Organization: palantir
Home Page: http://palantir.github.io/tslint/
static-analysis,Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Organization: phan
Home Page: https://github.com/phan/phan/wiki
static-analysis,A tool to automatically fix PHP Coding Standards issues
Organization: php-cs-fixer
Home Page: https://cs.symfony.com
static-analysis,PHP Static Analysis Tool - discover bugs in your code without running it!
Organization: phpstan
Home Page: https://phpstan.org/
static-analysis,An extensible multilanguage static code analyzer.
Organization: pmd
Home Page: https://pmd.github.io
static-analysis,A static analysis security vulnerability scanner for Ruby on Rails applications
User: presidentbeef
Home Page: https://brakemanscanner.org/
static-analysis,It's not just a linter that annoys you!
Organization: pylint-dev
Home Page: https://pylint.readthedocs.io/en/latest/
static-analysis,Vulnerability Static Analysis for Containers
Organization: quay
Home Page: https://quay.github.io/clair/
static-analysis,A tool to enforce Swift style and conventions.
Organization: realm
Home Page: https://realm.github.io/SwiftLint
static-analysis,🐶 Automated code review tool integrated with any code analysis tools regardless of programming language
Organization: reviewdog
static-analysis,A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
User: rrrene
Home Page: http://credo-ci.org/
static-analysis,Defund the Police.
User: rshipp
Home Page: https://blacklivesmatters.carrd.co/#donate
static-analysis,Go security checker
Organization: securego
Home Page: https://securego.io
static-analysis,Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Organization: semgrep
Home Page: https://semgrep.dev
static-analysis,Continuous Inspection
Organization: sonarsource
Home Page: http://www.sonarqube.org
static-analysis,PHP_CodeSniffer tokenizes PHP files and detects violations of a defined set of coding standards.
Organization: squizlabs
static-analysis,Validate and visualize dependencies. Your rules. JavaScript, TypeScript, CoffeeScript. ES6, CommonJS, AMD.
User: sverweij
Home Page: https://npmjs.com/dependency-cruiser
static-analysis,Useful CMake Examples
User: ttroy50
Home Page: http://ttroy50.github.io/cmake-examples
static-analysis,A static analysis tool for finding errors in PHP applications
Organization: vimeo
Home Page: https://psalm.dev
static-analysis,A powerful and open-source toolkit for hackers and security automation - 安全行业从业者自研开源扫描器合辑
User: we5ter
static-analysis,🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
User: werwolv
Home Page: https://imhex.werwolv.net
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.