4 ms·
Specifically, unless my knowledge is out of date, they use a subset of C known as MISRA-C that is easier to analyze using static analysis.
by a-priori 9y ago
Specifically, unless my knowledge is out of date, they use a subset of C known as MISRA-C that is easier to analyze using static analysis.