cybersecurity static analysis
1.0.0
คอลเล็กชั่นการสแกนช่องโหว่ที่ยอดเยี่ยมและการดูแลอย่างต่อเนื่องและการจัดสรรซอฟต์แวร์การสแกนห้องสมุดและเฟรมเวิร์กแนวทางที่ดีที่สุดและทรัพยากรทางเทคนิคและการทดสอบความปลอดภัยแอปพลิเคชันแบบคงที่ที่สำคัญที่สุด (SAST)
What is Static Analysis?การวิเคราะห์แบบคงที่คือการทดสอบและการประเมินผลของแอปพลิเคชันโดยการตรวจสอบรหัสโดยไม่ดำเนินการแอปพลิเคชัน
Why Static Code Analysis is important?มันตรวจสอบเส้นทางการดำเนินการที่เป็นไปได้ทั้งหมดและค่าตัวแปรไม่ใช่แค่เส้นทางที่เรียกใช้ในระหว่างการดำเนินการ ดังนั้นการวิเคราะห์แบบคงที่สามารถเปิดเผยข้อผิดพลาดที่อาจไม่ปรากฏตัวจนถึงสัปดาห์เดือนหรือปีหลังจากการปล่อยตัว การวิเคราะห์แบบคงที่นี้มีคุณค่าโดยเฉพาะอย่างยิ่งในการประกันความปลอดภัยเนื่องจากการโจมตีด้านความปลอดภัยมักใช้แอปพลิเคชันในรูปแบบที่ไม่คาดฝันและไม่ผ่านการทดสอบ
Table of ContentsProgramming Languagesgolangci-lint สำหรับโครงการใหม่Go Meta Linter : Golangci-Lint เป็นผู้รวบรวม Linterspep8 , pydocstyle , flake8 และ pylintpyflakes , pycodestyle และ mccabeflake8 , isort และ modernizepylint , pep8 , mccabe และอื่น ๆpep8 ) ตรวจสอบรหัส Python กับการประชุมสไตล์บางอย่างใน PEP 8pyreverse (เครื่องกำเนิดไดอะแกรม UML) และ symilar (ตัวตรวจสอบความคล้ายคลึงกัน)radon . ale — Asynchronous Lint Engine for Vim and NeoVim with support for many languages.
Android Studio — Based on IntelliJ IDEA, and comes bundled with tools for Android including Android Lint.
AppChecker ©️ — Static analysis for C/C++/C#, PHP and Java.
Application Inspector ©️ — Commercial Static Code Analysis which generates exploits to verify vulnerabilities.
ApplicationInspector — Creates reports of over 400 rule patterns for feature detection (eg the use of cryptography or version control in apps).
APPscreener ©️ — Static code analysis for binary and source code - Java/Scala, PHP, Javascript, C#, PL/SQL, Python, T-SQL, C/C++, ObjectiveC/Swift, Visual Basic 6.0, Ruby, Delphi, ABAP, HTML5 and Solidity.
ArchUnit — Unit test your Java or Kotlin architecture.
Atom-Beautify
Axivion Bauhaus Suite ©️ — Tracks down error-prone code locations, style violations, cloned or dead code, cyclic dependencies and more for C/C++, C#/.NET, Java and Ada 83/Ada 95.
Better Code Hub ©️ — Better Code Hub checks your GitHub codebase against 10 engineering guidelines devised by the authority in software quality, Software Improvement Group.
CAST Highlight ©️ — Commercial Static Code Analysis which runs locally, but uploads the results to its cloud for presentation.
Checkmarx CxSAST ©️ — Commercial Static Code Analysis which doesn't require pre-compilation.
ClassGraph — A classpath and module path scanner for querying or visualizing class metadata or class relatedness.
Clayton ©️ — AI-powered code reviews for Salesforce. Secure your developments, enforce best practice and control your technical debt in real-time.
coala — Language independent framework for creating code analysis - supports over 60 languages by default.
Cobra ©️ — Structural source code analyzer by NASA's Jet Propulsion Laboratory.
Codacy ©️ — Code Analysis to ship Better Code, Faster.
Code Intelligence ©️ — CI/CD-agnostic DevSecOps platform which combines industry-leading fuzzing engines for finding bugs and visualizing code coverage
Codeac ©️ — Automated code review tool integrates with GitHub, Bitbucket and GitLab (even self-hosted). Available for JavaScript, TypeScript, Python, Ruby, Go, PHP, Java, Docker, and more. (open-source free)
codeburner
codechecker — A defect database and viewer extension for the Clang Static Analyzer with web GUI.
CodeFactor ©️ — Automated Code Analysis for repos on GitHub or BitBucket.
CodeFlow ©️ — Automated code analysis tool to deal with technical depth. Integrates with Bitbucket and Gitlab. (free for Open Source Projects)
CodeIt.Right ©️ — CodeIt.Right™ provides a fast, automated way to ensure that your source code adheres to (your) predefined design and style guidelines as well as best coding practices.
CodePatrol ©️ — Automated SAST code reviews driven by security, supports 15+ languages and includes security training.
codeql — Deep code analysis - semantic queries and dataflow for several languages with VSCode plugin support.
Coderrect ©️ — Advanced static analyzer for multi-threaded software. Supports OpenMP, Pthreads, std::thread, and GPU/CUDA.
CodeRush ©️ — Code creation, debugging, navigation, refactoring, analysis and visualization tools that use the Roslyn engine in Visual Studio 2015 and up.
CodeScan ©️ — Code Quality and Security for Salesforce Developers. Made exclusively for the Salesforce platform, CodeScan's code analysis solutions provide you with total visibility into your code health.
CodeScene ©️ — CodeScene is a quality visualization tool for software. Prioritize technical debt, detect delivery risks, and measure organizational aspects. Fully automated.
CodeSonar from GrammaTech ©️ — Advanced, whole program, deep path, static analysis of C, C++, Java and C# with easy-to-understand explanations and code and path visualization.
Codiga ©️ — Automated Code Reviews and Technical Debt management platform that supports 12+ languages.
Corrode
Coverity ©️ — Synopsys Coverity supports 20 languages and over 70 frameworks including Ruby on rails, Scala, PHP, Python, JavaScript, TypeScript, Java, Fortran, C, C++, C#, VB.NET.
cqc
DeepCode ©️ — DeepCode finds bugs, security vulnerabilities, performance and API issues based on AI. DeepCode's speed of analysis allow us to analyse your code in real time and deliver results when you hit the save button in your IDE. Supported languages are Java, C/C++, JavaScript, Python, and TypeScript. Integrations with GitHub, BitBucket and Gitlab.
DeepSource ©️ — In-depth static analysis to find issues in verticals of bug risks, security, anti-patterns, performance, documentation and style. Native integrations with GitHub, GitLab and Bitbucket. Less than 5% false positives.
Depends — Analyses the comprehensive dependencies of code elements for Java, C/C++, Ruby.
DevSkim — Regex-based static analysis tool for Visual Studio, VS Code, and Sublime Text - C/C++, C#, PHP, ASP, Python, Ruby, Java, and others.
Embold ©️ — Intelligent software analytics platform that identifies design issues, code issues, duplication and metrics. Supports Java, C, C++, C#, JavaScript, TypeScript, Python, Go, Kotlin and more.
ESLint — An extensible linter for JS, following the ECMAScript standard.
Find Security Bugs — The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Fortify ©️ — A commercial static analysis platform that supports the scanning of C/C++, C#, VB.NET, VB6, ABAP/BSP, ActionScript, Apex, ASP.NET, Classic ASP, VB Script, Cobol, ColdFusion, HTML, Java, JS, JSP, MXML/Flex, Objective-C, PHP, PL/SQL, T-SQL, Python (2.6, 2.7), Ruby (1.9.3), Swift, Scala, VB, and XML.
Goodcheck — Regexp based customizable linter.
goone
graudit — Grep rough audit - source code auditing tool.
HCL AppScan Source ©️ — Commercial Static Code Analysis.
เครื่องกระโดด
Hound CI — Comments on style violations in GitHub pull requests. Supports Coffeescript, Go, HAML, JavaScript, Ruby, SCSS and Swift.
imhotep — Comment on commits coming into your repository and check for syntactic errors and general lint warnings.
include-gardener#include relations of a given set of files.
Infer — A static analyzer for Java, C and Objective-C
InsiderSec
Kiuwan ©️ — Identify and remediate cyber threats in a blazingly fast, collaborative environment, with seamless integration in your SDLC. Python, CC++, Java, C#, PHP and more.
Klocwork ©️ — Quality and Security Static analysis for C/C++, Java and C#.
LGTM ©️ — Find security vulnerabilities, variants, and critical code quality issues using queries over source code. Automatic PR code review; free for open source. Formerly semmle.
LGTM.com ©️ — Deep code analysis for GitHub and Bitbucket to find security vulnerabilities and critical code quality issues (using Semmle QL). Automatic code review for pull requests; free for public repositories.
lizard — Lizard is an extensible Cyclomatic Complexity Analyzer for many programming languages including C/C++ (doesn't require all the header files or Java imports). It also does copy-paste detection (code clone detection/code duplicate detection) and many other forms of static code analysis. Counts lines of code without comments, CCN (cyclomatic complexity number), token count of functions, parameter count of functions.
Mega-Linter — Mega-Linter can handle any type of project thanks to its 70+ embedded Linters, its advanced reporting, runnable on any CI system or locally, with assisted installation and configuration, able to apply formatting and fixes
oclint — A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C.
ocular ©️ — Enables code auditors and security teams to interactively investigate their unique code bases to find business logic flaws and technical vulnerabilities that traditional SASTs cannot. This is done by enabling the analyst to write their own custom queries. Can find hard-coded secrets, authentication issues, and malicious code like rootkits and backdoors.
Offensive 360 ©️ — Commercial Static Code Analysis system doesn't require building the source code or pre-compilation.
parasoft ©️ — Automated Software Testing Solutions for unit-, API-, and web UI testing. Complies with MISRA, OWASP, and others.
pfff — Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages.
PMD — A source code analyzer for Java, Salesforce Apex, Javascript, PLSQL, XML, XSL and others.
pre-commit — A framework for managing and maintaining multi-language pre-commit hooks.
Prettier — An opinionated code formatter.
Pronto — Quick automated code review of your changes. Supports more than 40 runners for various languages, including Clang, Elixir, JavaScript, PHP, Ruby and more.
PT.PM
PVS-Studio ©️ — A (conditionally free for FOSS and individual developers) static analysis of C, C++, C# and Java code. For advertising purposes you can propose a large FOSS project for analysis by PVS employees. Supports CWE mapping, MISRA and CERT coding standards.
pylama — Code audit tool for Python and JavaScript. Wraps pycodestyle, pydocstyle, PyFlakes, Mccabe, Pylint, and more
Refactoring Essentials
relint — A static file linter that allows you to write custom rules using regular expressions (RegEx).
ReSharper ©️ — Extends Visual Studio with on-the-fly code inspections for C#, VB.NET, ASP.NET, JavaScript, TypeScript and other technologies.
RIPS ©️ — A static source code analyser for vulnerabilities in PHP scripts.
Rome — Rome is a linter, compiler, bundler, and more for JavaScript, TypeScript, JSON, HTML, Markdown, and CSS.
Roslyn Analyzers — Roslyn-based implementation of FxCop analyzers.
Roslyn Security Guard — Project that focuses on the identification of potential vulnerabilities such as SQL injection, cross-site scripting (XSS), CSRF, cryptography weaknesses, hardcoded passwords and many more.
Scanmycode CE (Community Edition) — Scanmycode - Code Scanning/SAST/Linting using many tools/Scanners with One Report
Scrutinizer ©️ — A proprietary code quality checker that can be integrated with GitHub.
Security Code Scan — Security code analyzer for C# and VB.NET. Detects various security vulnerability patterns: SQLi, XSS, CSRF, XXE, Open Redirect, etc. Integrates into Visual Studio 2015 and newer. Detects various security vulnerability patterns: SQLi, XSS, CSRF, XXE, Open Redirect, etc.
Semgrep — A fast, open-source, static analysis tool for finding bugs and enforcing code standards at editor, commit, and CI time. Its rules look like the code you already write; no abstract syntax trees or regex wrestling. Supports 17+ languages.
ShiftLeft ©️ — Identify vulnerabilities that are unique to your code base before they reach production. Leverages the Code Property Graph (CPG) to run its analyses concurrently in a single graph of graphs. Automatically finds business logic flaws in dev like hardcoded secrets and logic bombs
ShiftLeft Scan — Scan is a free open-source DevSecOps platform for detecting security issues in source code and dependencies. It supports a broad range of languages and CI/CD pipelines.
เรียบร้อย
Sider ©️ — An automated code reviewing tool. Improving developers' productivity.
Similarity Tester — A tool that finds similarities between or within files to support you encountering DRY principle violations.
Snyk ©️ — Vulnerability scanner for dependencies of node.js apps (free for Open Source Projects).
SonarCloud ©️ — Multi-language cloud-based static code analysis. History, trends, security hot-spots, pull request analysis and more. Free for open source.
SonarLint for Visual Studio — SonarLint is an extension for Visual Studio 2015 and 2017 that provides on-the-fly feedback to developers on new bugs and quality issues injected into .NET code.
SonarQube — SonarQube is an open platform to manage code quality.
Sonatype ©️ — Reports known vulnerabilities in common dependencies and recommends updated packages to minimize breaking changes
Soto Platform ©️ — Suite of static analysis tools consisting of the three components Sotoarc (Architecture Analysis), Sotograph (Quality Analysis), and Sotoreport (Quality report). Helps find differences between architecture and implementation, interface violations (eg external access of private parts of subsystems, detection of all classes, files, packages and subsystems which are strongly coupled by cyclical relationships and more. The Sotograph product family runs on Windows and Linux.
SourceMeter ©️ — Static Code Analysis for C/C++, Java, C#, Python, and RPG III and RPG IV versions (including free-form).
sqlvet — Performs static analysis on raw SQL queries in your Go code base to surface potential runtime errors. It checks for SQL syntax error, identifies unsafe queries that could potentially lead to SQL injections makes sure column count matches value count in INSERT statements and validates table- and column names.
Super-Linter — Combination of multiple linters to install as a GitHub Action.
Synopsys ©️ — A commercial static analysis platform that allows for scanning of multiple languages (C/C++, Android, C#, Java, JS, PHP, Python, Node.JS, Ruby, Fortran, and Swift).
Teamscale ©️ — Static and dynamic analysis tool supporting more than 25 languages and direct IDE integration. Free hosting for Open Source projects available on request. Free academic licenses available.
todocheck — Linter for integrating annotated TODOs with your issue trackers
trivy — A Simple and Comprehensive Vulnerability Scanner for Containers and other Artifacts, Suitable for CI. Trivy detects vulnerabilities of OS packages (Alpine, RHEL, CentOS, etc.) and application dependencies (Bundler, Composer, npm, yarn, etc.). Checks containers and filesystems.
trunk ©️ — Modern repositories include many technologies, each with its own set of linters. With 30+ linters and counting, Trunk makes it dead-simple to identify, install, configure, and run the right linters, static analyzers, and formatters for all your repos.
TscanCode — A fast and accurate static analysis solution for C/C++, C#, Lua codes provided by Tencent. Using GPLv3 license.
Undebt — Language-independent tool for massive, automatic, programmable refactoring based on simple pattern definitions.
Understand ©️ — Code visualization tool that provides code analysis, standards testing, metrics, graphing, dependency analysis and more for Ada, VHDL, and others.
Unibeautify — Universal code beautifier with a GitHub app. Supports HTML, CSS, JavaScript, TypeScript, JSX, Vue, C++, Go, Objective-C, Java, Python, PHP, GraphQL, Markdown, and more.
Upsource ©️ — Code review tool with static code analysis and code-aware navigation for Java, PHP, JavaScript and Kotlin.
Veracode ©️ — Find flaws in binaries and bytecode without requiring source. Support all major programming languages: Java, .NET, JavaScript, Swift, Objective-C, C, C++ and more.
Viezly ©️ — Code review tool with dependency diagrams. Improve your team's code reviews with better navigation and code analysis
WALA — Static analysis capabilities for Java bytecode and related languages and for JavaScript.
weggli — A fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
WhiteHat Application Security Platform ©️ — WhiteHat Scout (for Developers) combined with WhiteHat Sentinel Source (for Operations) supporting WhiteHat Top 40 and OWASP Top 10.
Wotan — Pluggable TypeScript and JavaScript linter.
XCode ©️ — XCode provides a pretty decent UI for Clang's static code analyzer (C/C++, Obj-C).
?Putout — Pluggable and configurable code transformer with built-in eslint, babel plugins support for js, jsx typescript, flow, markdown, yaml and json.
terraform plan .pep8 , pydocstyle , flake8 , and pylint .pyflakes , pycodestyle and mccabe .golangci-lint for new projects.flake8 , isort and modernize .pylint , pep8 , mccabe and others. More Collections ^ back to top ^
LicenseMIT License & cc license
งานนี้ได้รับใบอนุญาตภายใต้ใบอนุญาต Creative Commons Attribution 4.0 International
To the extent possible under law, Paul Veillard has waived all copyright and related or neighboring rights to this work.
