Computer Science
7,622 items in 38 lists
-
clang-tidy clang.llvm.org
Clang-based C++ linter tool with the (limited) ability to fix issues, too.
-
scan-build clang-analyzer.llvm.org
Frontend to drive the Clang Static Analyzer built into Clang via a regular build.
-
checkstyle checkstyle.org
Checking Java source code for adherence to a Code Standard or set of validation rules (best practices).
-
Checkmarx CxSAST checkmarx.com
copyright: — Commercial Static Code Analysis which doesn't require pre-compilation.
-
Checker Framework checkerframework.org
Pluggable type-checking for Java. This is not just a bug-finder, but a verification tool that gives a guarantee of correctness. It comes with 27 pre-built type systems, and it enables users to define their own type system; the manual lists over 30 user-contributed type systems.
-
Frink catless.ncl.ac.uk
A Tcl formatting and static check program (can prettify the program, minimise, obfuscate or just sanity check it).
-
CAST Highlight castsoftware.com
copyright: — Commercial Static Code Analysis which runs locally, but uploads the results to its cloud for presentation.
-
C2Rust c2rust.com
C2Rust helps you migrate C99-compliant code to Rust. The translator (or transpiler) produces unsafe Rust code that closely mirrors the input C code.
-
buf buf.build
Provides a CLI linter that enforces good API design choices and structure
-
brakeman brakemanscanner.org
A static analysis security vulnerability scanner for Ruby on Rails applications.
-
dylint blog.trailofbits.com
A tool for running Rust lints from dynamic libraries. Dylint makes it easy for developers to maintain their own personal lint collections.
-
Black Duck blackducksoftware.com
copyright: — Tool to analyze source code and binaries for reusable code, necessary licenses and potential security aspects.
-
Black black.readthedocs.io
The uncompromising Python code formatter.
-
biome biomejs.dev
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome formats and lints code in a fraction of a second. It is the successor to Rome. It is designed to eventually replace Biome is designed to eventually replace Babel, ESLint, webpack, Prettier…
-
bandit bandit.readthedocs.io
A tool to find common security issues in Python code.
-
Axivion Bauhaus Suite axivion.com
copyright: — 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.
-
WAP awap.sourceforge.net
Tool to detect and correct input validation vulnerabilities in PHP (4.0 or higher) web applications and predicts false positives by combining static analysis and data mining.
-
ruff astral.sh
Fast Python linter, written in Rust. 10-100x faster than existing linters. Compatible with Python 3.10. Supports file watcher.
-
AST Metrics ast-metrics.dev
Multi-language maintainability analyzer. Computes cyclomatic and cognitive complexity, Halstead volume, afferent/efferent coupling and maintainability index, detects communities in the dependency graph, and generates an explorable HTML report plus JSON, Markdown, SARIF and…
-
ast-grep ast-grep.github.io
ast-grep is a powerful tool designed for managing code at scale using Abstract Syntax Trees (AST). Think of it as a hybrid of grep, eslint, and codemod, with the ability to search, lint, and rewrite code based on its structure rather than plain text. It supports multiple…
-
ArchUnit archunit.org
Unit test your Java or Kotlin architecture.
-
kube-hunter aquasecurity.github.io
Hunt for security weaknesses in Kubernetes clusters.
-
AppSec Santa — SAST Tools appsecsanta.com
Independent comparison of 30+ static analysis security testing tools with features, pricing, and alternatives
-
ansible-lint ansible.readthedocs.io
Checks playbooks for practices and behaviour that could potentially be improved.
-
SPARK adacore.com
copyright: — Static analysis and formal verification toolset for Ada.
-
Astrée absint.com
copyright: — Astrée automatically proves the absence of runtime errors and invalid concurrent behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding…
-
Codecov about.codecov.io
copyright: — Codecov is a company that provides code coverage tools for developers and engineering leaders to gain visibility into their code coverage. They offer flexible and unified reporting, seamless coverage insights, and robust coverage controls. Codecov supports over 20…
-
abaplint abaplint.org
Linter for ABAP, written in TypeScript.
-
Linux Kernel 4.21 Call Graphs zenodo.org
The Linux Kernel 4.21 Call Graphs produced using CScout.
-
Maven Dependency Graph zenodo.org
Snapshot of the whole Maven Central taken on September 6, 2018, stored in a graph database.
-
-
Mining Software Repositories zenodo.org
-
Empirical Software Engineering zenodo.org
-
Ultimate Debian Database (UDD) wiki.debian.org
Data about various aspects of Debian (e.g. packages, bugs, mainteners) in the same SQL database.
-
TravisTorrent travistorrent.testroots.org
Provides free and easy-to-use Traivs CI build analyses.
-
SWE-bench swebench.com
SWE-bench is a benchmark designed to evaluate the ability of AI models to solve real-world software engineering problems by generating fixes for issues found in open-source code repositories.
-
STAMINA stamina.chefbe.net
(STAte Machine INference Approaches) data are used to benchmark techniques for learning deterministic finite state machines (FSMs).
-
ckjm spinellis.gr
Chidamber and Kemerer Java Metrics.
-
Grammar Zoo slebok.github.io
Collection of grammars of DSLs and GPLs, some extracted from metamodels and document schemata.
-
SIR sir.unl.edu
Software-artifact infrastructure repository; Java, C, C++, and C# software together with test suites and fault data.
-
Cryptocurrency GitHub Activity and Market Cap Dataset rvantonder.github.io
Activity such as commits, stars, prices, and market cap of over 200 cryptocurrency projects on GitHub over time. Raw, historic data is also available.
-
RepoReapers Data Set reporeapers.github.io
Data set containing a collection of engineered software projects from GHTorrent.
-
IEEE Software magazine publications.computer.org
-
PROMISE promise.site.uottawa.ca
About 20 datasets related to software engineering research.
-
PROMISE: Predictive Models and Data Analytics in Software Engineering conference promise.site.uottawa.ca
-
MSR: Mining Software Repositories conference msrconf.org
-
Empirical Software Engineering journal link.springer.com
-
Code Reviews kin-y.github.io
Code reviews of OpenStack, LibreOffice, AOSP, Qt, Eclipse.
-
KaVE kave.cc
Developer tool interaction data.
-
Journal of Systems and Software journals.elsevier.com
- next page of items loading…
