Computer Science
7,622 items in 38 lists
-
kics kics.io
Find security vulnerabilities, compliance issues, and infrastructure misconfigurations in your infrastructure-as-code. Supports Terraform, Kubernetes, Docker, AWS CloudFormation and Ansible
-
ezno kaleidawave.github.io
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance. Ezno's type checker is built from scratch. The checker is fully compatible with TypeScript type annotations and can work without any type annotations at all.
-
Misspelled Words In Context jwilk.net
A spell-checker that groups possible misspellings and shows them in their contexts.
-
graudit justanotherhacker.com
Grep rough audit - source code auditing tool.
-
jscpd jscpd.dev
Copy/paste detector for programming source code. Finds duplicated blocks in 200+ file formats — JavaScript, TypeScript, Python, Java, C#, C/C++, Go, Rust, PHP, Ruby and more — using token-based detection. Supports configurable thresholds and ignore patterns, git blame…
-
jQAssistant jqassistant.org
jQAssistant is a plugin based software analytics platform which allows scanning code structures and metadata from repositories into a Neo4j graph database. The gathered data can be used for ad-hoc exploration using queries, visualization or defining rules for continuous…
-
Joern joern.io
Joern is a platform for analyzing source code, bytecode, and binary executables. It generates code property graphs (CPGs), a graph representation of code for cross-language code analysis. Code property graphs are stored in a custom graph database. This allows code to be mined…
-
ReSharper jetbrains.com
copyright: — Extends Visual Studio with on-the-fly code inspections for C#, VB.NET, ASP.NET, JavaScript, TypeScript and other technologies.
-
jedi jedi.readthedocs.io
Autocompletion/static analysis library for Python.
-
JArchitect jarchitect.com
copyright: — Measure, query and visualize your code and avoid unexpected issues, technical debt and complexity.
-
Svace ispras.ru
copyright: — Static code analysis tool for Java,C,C++,C#,Go.
-
ionide-analyzers ionide.io
A collection of F# analyzers, built with the FSharp.Analyzers.SDK.
-
Symfony Insight insight.symfony.com
copyright: — Detect security risks, find bugs and provide actionable metrics for PHP projects.
-
Inkog inkog.io
AI agent security scanner. Detects behavioral vulnerabilities (prompt injection, infinite loops, token bombing, SQL injection via LLM) across 11 framework adapters including LangChain, CrewAI, and pydantic-ai. Audits MCP servers. Maps findings to EU AI Act, OWASP LLM Top 10…
-
Password Model huggingface.co
. This scanner is able to detect passwords and non structured tokens with a low false positive rate.
-
autocorrect huacnlee.github.io
A linter and formatter to help you to improve copywriting, correct spaces, words, punctuations between CJK (Chinese, Japanese, Korean).
-
HTMLHint htmlhint.com
A Static Code Analysis Tool for HTML.
-
HTML-Validate html-validate.org
Offline HTML5 validator.
-
IDA Free hex-rays.com
copyright: — Binary code analysis tool.
-
Soto Platform hello2morrow.com
copyright: — 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 (e.g. external…
-
HCL AppScan Source hcltechsw.com
copyright: — Commercial Static Code Analysis.
-
Haxe Checkstyle haxecheckstyle.github.io
A static analysis tool to help developers write Haxe code that adheres to a coding standard.
-
PullRequest hackerone.com
copyright: — Code review as a service with built-in static analysis. Increase velocity and reduce technical debt through quality code review by expert engineers backed by best-in-class automation.
-
pytype google.github.io
A static type analyzer for Python code.
-
GolangCI-Lint golangci-lint.run
Fast linters runner for Go. It aggregates multiple Go linters and provides a unified configuration, caching, and output format. Alternative to Go Meta Linter.
-
go/ast golang.org
Package ast declares the types used to represent syntax trees for Go packages.
-
go tool vet --shadow golang.org
Reports variables that may have been unintentionally shadowed.
-
gofmt -s golang.org
Checks if the code is properly formatted and could not be further simplified.
-
Goblint goblint.in.tum.de
A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.
-
govulncheck go.dev
Govulncheck reports known vulnerabilities that affect Go code. It uses static analysis of source code or a binary's symbol table to narrow down reports to only those that could affect the application. By default, govulncheck makes requests to the Go vulnerability database at…
-
gawk --lint gnu.org
Warns about constructs that are dubious or nonportable to other awk implementations.
-
aligncheck gitlab.com
Find inefficiently packed structs.
-
Polymer-analyzer github.com
A static analysis framework for Web Components.
-
phan github.com
A modern static analyzer from etsy.
-
this issue github.com
for more details. typescript-eslint is now your best option for linting TypeScript. TSLint is an extensible static analysis tool that checks TypeScript code for readability, maintainability, and functionality errors. It is widely supported across modern editors & build systems…
-
pfff github.com
Facebook's tools for code analysis, visualizations, or style-preserving source transformation for many languages.
-
Code Quality Checker Tools For PHP Projects github.com
A collection of PHP linters in github collections
-
Clean code linters github.com
A collection of linters in github collections
-
:information_source: github.com
warning: — Detect errors and potential problems in JavaScript code and enforce your team's coding conventions.
-
tclchecker github.com
A static syntax analysis module (as part of TDK).
-
HasMySecretLeaked gitguardian.com
copyright: — HasMySecretLeaked is a project from GitGuardian that aims to help individual users and organizations search across 20 million exposed secrets to verify if their developer secrets have leaked on public repositories, gists, and issues on GitHub projects.
-
GitGuardian ggshield gitguardian.com
ggshield is a CLI application that runs in your local environment or in a CI environment to help you detect more than 350+ types of secrets, as well as other potential security vulnerabilities or policy breaks affecting your codebase.
-
rector getrector.org
Instant Upgrades and Automated Refactoring of any PHP 5.3+ code. It upgrades your code for PHP 7.4, 8.0 and beyond. Rector promises a low false-positive rate because it looks for narrowly defined AST (abstract syntax tree) patterns. The main use-case are tackling technical debt…
-
CodeFlow getcodeflow.com
copyright: — Automated code analysis tool to deal with technical depth. Integrates with Bitbucket and Gitlab. (free for Open Source Projects)
-
Clayton getclayton.com
copyright: — AI-powered code reviews for Salesforce. Secure your developments, enforce best practice and control your technical debt in real-time.
-
GCC gcc.gnu.org
The GCC compiler has static analysis capabilities since version 10. This option is only available if GCC was configured with analyzer support enabled. It can also output its diagnostics to a JSON file in the SARIF format (from v13).
-
fta ftaproject.dev
Rust-based static analysis for TypeScript projects
-
fantomas fsprojects.github.io
F# source code formatter.
-
portlint freebsd.org
A verifier for FreeBSD and DragonFlyBSD port directories.
-
Fortitude fortitude.readthedocs.io
Fortran linter, inspired by (and built on) Ruff, and based on community best practices. Supports latest Fortran (2023) standard.
- next page of items loading…
