Programming
Software development: programming languages, coding, libraries and frameworks, software engineering and architecture, source control, developer tools, databases, and infrastructure.
-
DeepSource deepsource.com
copyright: — 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.
-
DeepScan deepscan.io
copyright: — An analyzer for JavaScript which targets runtime errors and quality issues rather than coding conventions.
-
deal deal.readthedocs.io
Design by contract for Python. Write bug-free code. By adding a few decorators to your code, you get for free tests, static analysis, formal verification, and much more.
-
PHP Coding Standards Fixer cs.symfony.com
Fixes your code according to standards like PSR-1, PSR-2, and the Symfony standard.
-
rhabdomancer crates.io
IDA Pro headless plugin that locates calls to potentially insecure API functions in a binary file.
-
cargo-semver-checks crates.io
Scan your Rust crate releases for semver violations. It can be used either directly via the CLI, as a GitHub Action in CI, or via release managers like release-plz. It found semver violations in more than 1 in 6 of the top 1000 most-downloaded crates on crates.io.
-
CPAchecker cpachecker.sosy-lab.org
A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.
-
Corgea corgea.com
copyright: — Corgea is an AI-powered SAST scanner that helps developers find and fix insecure code. It finds business logic flaws, broken authentication, API vulnerabilities, and more with little false positives. Additionally, it automatically writes security fixes for them to…
-
Codiga codiga.io
copyright: — Automated Code Reviews and Technical Debt management platform that supports 12+ languages.
-
CodeSonar from GrammaTech codesecure.com
copyright: — Advanced, whole program, deep path, static analysis of C, C++, Java and C# with easy-to-understand explanations and code and path visualization.
-
CodeScene codescene.com
copyright: — CodeScene is a quality visualization tool for software. Prioritize technical debt, detect delivery risks, and measure organizational aspects. Fully automated.
-
CodeScan codescan.io
copyright: — 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.
-
CodeQue codeque.co
Ecosystem for structural matching JavaScript and TypeScript code. Offers search tool that understands code structure. Available as CLI tool and Visual Studio Code extension. It helps to search code faster and more accurately making you workflow more effective. Soon it will…
-
CodeNarc codenarc.github.io
A static analysis tool for Groovy source code, enabling monitoring and enforcement of many coding standards and best practices.
-
codechecker codechecker.readthedocs.io
A defect database and viewer extension for the Clang Static Analyzer with web GUI.
-
Codeac codeac.io
copyright: — 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)
-
Code Intelligence code-intelligence.com
copyright: — CI/CD-agnostic DevSecOps platform which combines industry-leading fuzzing engines for finding bugs and visualizing code coverage
-
Code-Graph-RAG code-graph-rag.com
Builds knowledge graphs from multi-language codebases using Tree-sitter AST parsing and stores them in Memgraph. Supports 11 programming languages with a unified graph schema and enables natural language querying and editing of code structure and relationships. Functions as an…
-
scan-build clang-analyzer.llvm.org
Frontend to drive the Clang Static Analyzer built into Clang via a regular build.
-
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
-
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 black.readthedocs.io
The uncompromising Python code formatter.
-
bandit bandit.readthedocs.io
A tool to find common security issues in Python code.
-
ruff astral.sh
Fast Python linter, written in Rust. 10-100x faster than existing linters. Compatible with Python 3.10. Supports file watcher.
-
kube-hunter aquasecurity.github.io
Hunt for security weaknesses in Kubernetes clusters.
-
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.
-
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.
-
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.
-
SIR sir.unl.edu
Software-artifact infrastructure repository; Java, C, C++, and C# software together with test suites and fault data.
-
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
-
-
ICSE: International Conference on Software Engineering icse-conferences.org
-
GrimoireLab grimoirelab.github.io
Free/Libre/Open Source tools for Software Development Analytics.
-
FLOSSmole flossmole.org
Collaborative collection and analysis of free/libre/open source project data.
-
- next page of items loading…
