Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Stars
204
License
apache-2.0
Open Issues
0
Most Recent Commit
3 months ago
Programming Language
Java
Categories
Site
Repo
Alternatives To Cpachecker
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Go Callvis5,716620 days ago13May 08, 202371mitGo
Visualize call graph of a Go program using Graphviz
Cpachecker204
3 months agoapache-2.0Java
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Maple Ir69
a year ago2gpl-3.0Java
Industrial IR-based static analysis framework for Java bytecode
Go Ssaviz32
a year ago1apache-2.0Go
Visualize Go SSA function using Graphviz
Ropdissector27
5 years agobsd-2-clausePython
A framework for static analysis of ROP exploits and programs
Binoculars13
4 years ago3mitPython
Plugin for binary ninja to centralize features useful in static analysis.
Alternatives To Cpachecker
Select To Compare
Go Callvis ⭐ 5,716
Visualize call graph of a Go program using Graphviz
dependent packages 6total releases 13most recent commit 20 days ago


Suggest An Alternative To cpachecker
Alternative Project Comparisons
Cpachecker vs Go Callvis
Cpachecker vs Maple Ir
Cpachecker vs Go Ssaviz
Cpachecker vs Ropdissector
Cpachecker vs Binoculars
Popular Static Analysis Projects
Shellcheck ⭐ 34,253
ShellCheck, a static analysis tool for shell scripts
dependent packages 1total releases 3latest release November 07, 2021most recent commit 3 months ago
Ruff ⭐ 25,957
An extremely fast Python linter and code formatter, written in Rust.
dependent packages 1,746total releases 274latest release December 04, 2023most recent commit 9 days agopypi ruff} Downloads
Swiftlint ⭐ 18,204
A tool to enforce Swift style and conventions.
total releases 79latest release December 01, 2023most recent commit a month ago
Php Parser ⭐ 16,433
A PHP parser written in PHP
dependent packages 1,029total releases 90latest release September 17, 2023most recent commit 3 months agopackagist nikic/php-parser} Downloads
Popular Graphviz Projects
Diagrams ⭐ 33,556
:art: Diagram as Code for prototyping cloud system architectures
dependent packages 38total releases 45latest release October 30, 2023most recent commit 3 months agopypi diagrams} Downloads
Madge ⭐ 7,972
Create graphs from your CommonJS, AMD or ES6 module dependencies
dependent packages 1,080total releases 75latest release June 04, 2023most recent commit 4 months agonpm madge} Downloads
Graphql Voyager ⭐ 7,603
🛰️ Represent any GraphQL API as an interactive graph
dependent packages 65total releases 39latest release August 08, 2023most recent commit 20 days agonpm graphql-voyager} Downloads
Popular Code Quality Categories
Eslint
Printer
Prettier
Static Analysis
Stylelint
Sonarqube
Beautifier
Tslint
Code Style
Ctags
Related Searches
Java C
Java Static Analysis
Java Graphviz
C Graphviz
C Static Analysis
Graphviz Static Analysis
C Software Verification
Java Software Verification

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Java
C
Static Analysis
Graphviz
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.