StacksBrowseCategoriesSubmit
Star on GitHub

Tools from Product Hunt, GitHub Awesome lists, and our community, organized into practical workflows.

Star on GitHub
ExploreTool StacksBrowse ToolsCategories
ContributeSubmit a ToolSources & SelectionAbout TooolsEditorial Standards
Open sourceGitHub Repository
© 2026 TooolsLast updated
ToolsCPAchecker

CPAchecker

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.

Development
29views2clicks
Awesome List

About

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.

Listing source: Original source. How we curate tools.

More Development tools

rea

Reverse engineer anything with agents, from app behavior down to native binaries.

Open Source219.4K
7views3clicks
yt-dlp

A youtube-dl fork with additional features and fixes.

Open Source197.6K
526views
Visit Website

At a Glance

Views29
Clicks2
GitHubClosed source
PricingFree
PlatformsWeb
20
clicks
youtube-dl

Command-line program to download videos from YouTube.com and other video sites [![Open-Source Software][OSS Icon]](https://github.com/rg3/youtube-dl/) ![Freeware][Freeware Icon]

Open Source140.5K
527views14clicks
youtube-dl

Download videos from YouTube.com and many other video sites.

Open Source140.5K
516views18clicks