SaaSHub helps you find the best software and product alternatives Learn more →
Analyze Alternatives
Similar projects and alternatives to analyze based on common topics and language
-
awesome-safety-critical
List of resources about programming practices for writing safety-critical software.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
misra-rust
An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
-
codeql-coding-standards
This repository contains CodeQL queries and libraries which support various Coding Standards.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
analyze reviews and mentions
-
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, ...)
-
A note from our sponsor - SaaSHub
www.saashub.com | 28 Mar 2024
Stats
naivesystems/analyze is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.