analyze
banwords
Our great sponsors
analyze | banwords | |
---|---|---|
3 | - | |
150 | 0 | |
6.2% | - | |
8.7 | 0.0 | |
3 days ago | almost 9 years ago | |
Haskell | ||
GNU General Public License v3.0 only | MIT 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.
analyze
-
NaiveSystems Analyze – FOSS static analyzer for MISRA C/C++, AUTOSAR C++14, etc.
How do you conclude that? The instructions here:
https://github.com/naivesystems/analyze/wiki/How-to-run-on-m...
say docker is required.
-
Misra C++:2023 Published
If you are interested in this, take a look at NaiveSystems Analyze [0] which is a free and open source static analyzer for checking MISRA compliance etc.
Disclaimer: I'm the founder.
It has been battle tested with real customers in automotive, medical devices, and semiconductors. AFAIK this is the first FOSS tool that achieves commercial use standards (extensive ruleset coverage, low false positives based symbolic execution (which Coverity relies heavily on) and SMT solver, ...)
[0]: https://github.com/naivesystems/analyze
banwords
We haven't tracked posts mentioning banwords yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
Qodana - 📝 Source repository of Qodana Help
dynobud - your dynamic optimization buddy
awesome-safety-critical - List of resources about programming practices for writing safety-critical software.
astro - Amateur astronomical computations
analyze - making data science easy and safe with data frames in haskell
fits-parse - Parse FITS files for Astronomy data analysis.
quantum-random - Retrieve, store and manage real quantum random numbers from Australian National University