crab
cclyzerpp
crab | cclyzerpp | |
---|---|---|
1 | 1 | |
220 | 111 | |
3.2% | 1.8% | |
5.0 | 4.2 | |
29 days ago | about 1 year ago | |
C++ | C++ | |
Apache License 2.0 | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
crab
-
Ce înseamnă crab??
Poate asta: https://github.com/seahorn/crab
cclyzerpp
What are some alternatives?
constrained - Utility library that helps expressing invariants in types
percival - 📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Gymbo - gradient-based symbolic execution engine implemented from scratch
SVF - Static Value-Flow Analysis Framework for Source Code
psychec - A compiler frontend for the C programming language
c-semantics - Semantics of C in K
codeql - CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
souffle - Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
ikos - Static analyzer for C/C++ based on the theory of Abstract Interpretation.