CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library

A compact implementation of the Cyphal/CAN protocol in C for high-integrity real-time embedded systems

Portable reference implementation of the Cyphal protocol stack in C++ for embedded systems and Linux.

Constant-complexity deterministic memory allocator (heap) for hard real-time high-integrity embedded systems. There is very little activity because the project is finished and does not require further changes.

NaiveSystems Analyze is a static analysis tool for code security and compliance.

This repository contains CodeQL queries and libraries which support various Coding Standards.

Transactional power-failsafe filesystem for microcontrollers

mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development

IAV quantumSAR - "Quantum-proof your data with our state of the art cryptographic implementation"

A Safety-Critical Utility Code

Fast and flexible data logging/tracing toolkit for software testing and debugging. Minimally intrusive C/C++ code instrumentation, host-based decoding application, demo code included.

MISRA-C Check on VSCode

@ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite

Docker image for cppcheck

Safety-Critical bootloader, written by following MISRA guidelines

Embedded C and C++ Coding Style

Functional safety (ISO-26262) and ADAS

Examples of intrusive container templates in C++.

🛠️ One true asprintf, vasprintf!

C/C++ standard compliance analyzer