NaiveSystems Analyze is a static analysis tool for code security and compliance.
-
Updated
Dec 29, 2025 - C++
8000
NaiveSystems Analyze is a static analysis tool for code security and compliance.
A differential-drive robot firmware architecture that runs on your workstation — command bus, safety interlock, odometry, and a simulated plant. No hardware, no RTOS.
ASIL-D SOME/IP & TSN IDPS for NXP S32G — zero-copy AF_PACKET capture, constexpr powertrain policy, E2E Profile 5 CRC-32. ISO 26262 · ISO/SAE 21434 · UN R155 · AUTOSAR C++14
A robot that thinks on-device, moves at 1 kHz, and refuses to hurt you. C++23 · zero cloud SDKs · 500-row onboard brain · deterministic simulator · vxnode-delegated infrastructure.
ASIL-D TSN Zonal Backbone — IEEE 802.1Qbv/CB/Qci/AE stack with Network Calculus latency verification · NXP i.MX8X · ISO 26262 · UN R155
Demonstrating Linux safety-critical memory isolation gaps (linear map bypass, uncooperative threads) and mitigation via ARM64 dual-alias PTE protection and SMMUv3 bus enforcement.
Add a description, image, and links to the functional-safety topic page so that developers can more easily learn about it.
To associate your repository with the functional-safety topic, visit your repo's landing page and select "manage topics."