misra

There are 0 repository under misra topic.

howerj / dbcc
CAN DBC to C (and CSV, JSON and XML) compiler using the mpc parser combinator library
dbc c misra automotive code-generation code-generator xml
Language:C 341
OpenCyphal / libcanard
A compact implementation of the Cyphal/CAN protocol in C for high-integrity real-time embedded systems
aerospace c c11 can can-bus can-fd canbus communication-protocol cyphal embedded embedded-systems misra opencyphal protocol robotics socketcan space uav uavcan vehicle-bus
Language:C++ 312
OpenCyphal-Garage / libcyphal
Portable reference implementation of the Cyphal protocol stack in C++ for embedded systems and Linux.
uavcan can linux embedded-systems robotics space uav drones aerospace cpp cpp11 cpp14 socketcan vehicle-bus communication-protocol misra cyphal opencyphal
Language:C++ 280
o1heap
pavel-kirienko / o1heap
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.
memory-allocator heap misra safety-critical hard-real-time hard-realtime real-time realtime memory-management memory worst-case constant-time embedded embedded-systems avionics safety-critical-systems high-reliability high-integrity allocator malloc
Language:C++ 225
naivesystems / analyze
NaiveSystems Analyze is a static analysis tool for code security and compliance.
autosar misra-c static-analysis misra cert code-scanning coding-standards cpp14 cppcheck functional-safety iso26262
154
github / codeql-coding-standards
This repository contains CodeQL queries and libraries which support various Coding Standards.
code-scanning codeql coding-standards cpp14 functional-safety iso26262 autosar cert misra
Language:CodeQL 107
tuxera / reliance-edge
Transactional power-failsafe filesystem for microcontrollers
filesystem embedded microcontroller reliability failsafe data-integrity freertos mqx mbed amazon-freertos misra compact transactional reliance-edge
Language:C 100
terminaldweller / mutator
mutator is an experimental suite of tools aimed at analysis and automation of C/C++ code development
misra mutation refactorings libtooling clang elf wasm
Language:C++ 72
IMProject / IMUtility
A Safety-Critical Utility Code
automotive avionics misra base64 crc json queue sorting-algorithms crc16 crc32 crc8 ciphering crypto misra-c chacha20
Language:C 33
tkashi-github / MISRA-C_Check
MISRA-C Check on VSCode
misra cppcheck
Language:Python 22
Facthunder / cppcheck
Docker image for cppcheck
cppcheck docker misra docker-image c cpp code-analysis analyzer static-analysis
Language:Dockerfile 18
jubnzv / MISRA-Example-Suite
@ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite
misra
Language:C 18
IMProject / IMBootloader
Safety-Critical bootloader, written by following MISRA guidelines
automotive avionics misra stm32 imflasher bootloader
Language:C 17
overtane / udacity-carnd-p12-2
Functional safety (ISO-26262) and ADAS
iso-26262 functional-safety software-architecture misra asil adas
11
QuantumLeaps / embedded-coding-style
Embedded C and C++ Coding Style
c cpp embeddded misra
Language:CSS 10
pallas / libite
Examples of intrusive container templates in C++.
intrusive-containers red-black-tree queue list disjoint-set heap hash-table dijkstra kruskal misra tarjan dijkstra-algorithm kruskal-algorithm tarjan-algorithm heapsort heapsort-algorithm mergesort mergesort-algorithm list-sort tree-sort
Language:C++ 9
Neved4 / asprintf
🛠️ One true asprintf, vasprintf!
asprintf c c99 clang clib clibs gcc gnu header iso lib libc misra misra-c musl-libc portable posix stdlib unit-testing vasprintf
Language:C 5
xcalcc / labrador
C/C++ standard compliance analyzer
autosar cert-c compiler misra static-analysis clang misra-c program-analysis security
Language:C 3
Minh-CaoLeCong / MISRA_C
MISRA C 2012 guideline embedded in ECU at BOSCH.
misra misra-c embedded ecu bosch
2
paulrox / Patriots
Simulation of a Patriot missile system using real-time tasks on Linux
c linux allegro real-time misra
Language:C 2
RTEdbg / RTEdbg
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.
debugging logging tracing cortex-m functional-safety instrumentation real-time realtime tracing-library cpp embedded-c embedded-systems fprintf printf safety-critical c-programming-language stm32 iot reverse-engineering misra
2
PjrCodes / CodeStyliser
The Code Styliser utility | A way to automatically fix MISRA-C-2012 Rule 15.6. | Adds curly braces around single-line compound statements in C, H files.
formatter misra-c misra codestyle curly-brace
Language:Python 1
seanmisra / seanmisra.com
OBSOLETE: Personal Profile Page (to practice PHP, twitter-api)
sean misra profile bootstrap php twitter-api
Language:PHP 1
tkashi-github / mimiclib
Instead of C Standard Library
stdio c11 c misra
Language:C++ 1
aldosartorius / PIC16F887
pic16f887 bare-metal misra
Language:Makefile 0
gvergine / com.systemassembly.sm.dsl.parent
Open source MISRA-C compliant state machine generator.
c statemachine dsl misra
Language:Xtend 0
IMProject / .github
bootlaoder flasher example c cpp embedded autmotive avionics misra qspi stm32h750
0
seanmisra / quickQuery
jQuery helper functions: UI/UX elegance
jquery javascript web ui-design ux-design gulp uglifyjs quickquery sean misra
Language:JavaScript 0
stahta01 / clang-tidy-misra
MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy
misra
Language:C++