misra topic

List misra repositories

MISRA-Example-Suite

18
Stars
3
Forks
Watchers

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

o1heap

225
Stars
26
Forks
Watchers

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...

libcyphal

281
Stars
503
Forks
Watchers

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

libcanard

314
Stars
191
Forks
Watchers

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

dbcc

344
Stars
129
Forks
Watchers

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

mutator

72
Stars
10
Forks
Watchers

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

reliance-edge

101
Stars
33
Forks
Watchers

Transactional power-failsafe filesystem for microcontrollers

codeql-coding-standards

108
Stars
43
Forks
Watchers

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

IMBootloader

17
Stars
4
Forks
Watchers

Safety-Critical bootloader, written by following MISRA guidelines

cppcheck

18
Stars
5
Forks
Watchers

Docker image for cppcheck