Michael R Fairhurst
Michael R Fairhurst
## Description _please enter the description of your change here_ ## Change request type - [ ] Release or process automation (GitHub workflows, internal scripts) - [ ] Internal documentation...
## Description Add an amendments.csv to track amendments, corregenda, etc., populated for now with MISRA-C 2012 amendments 2 & 3 and Technical Corrigendum 2. TODO: Describe amendments.csv in the documentation....
### Affected rules - `A1-1-2` ### Description This rule looks for compilations with no warning flags. However, it will falsely detect `-Wno-*` flags as if they are warning flags. Notably,...
### Affected rules - A1-1-2 ### Description Currently, A1-1-2 reports compilations that do not specify at least one flag of type `-Wfoo`. However, clang and gcc both give priority to...
Proposed solution to #360. Where `a ?? b` is sugar for `a != null ? a : b`, there may be value in adding `!!` defined as `a == null...
## Description Implement rules for type-generic macros. ## Change request type - [ ] Release or process automation (GitHub workflows, internal scripts) - [ ] Internal documentation - [ ]...
## Description Almost missed this amendment as it was marked blocked in the spreadsheet. ## Change request type - [ ] Release or process automation (GitHub workflows, internal scripts) -...
`Objects.qll` has support for identifying objects with different storage durations (static, thread local, allocated, and automatic). However, its thread local object support is limited to `_Thread_local` variables. Ideally, a `tss_t`...
### Affected rules - `DIR-4-15`\ ### Description The first implementation of the rule handles guards of the form `isinf`, `isnan`, `isfinite`, `iszero`, etc., however, it doesn't support guards relating to...
### Affected rules - `RULE-25-21` - Likely others, haven't researched ### Description Rule `25-21` requires that the `atomic_*_explicit` operations use the memory order `memory_order_seq_cst`. It would probably be overly restrictive...