Hello,
I have evaluated the C examples on bare-metal code on a proprietary compiler and a proprietary static analysis tool, but I am not sure I can publish the results.
What I can tell you now:
- It would have been better if the exact MISRA standard version was specified, I understood from @shnewto it was MISRA 2012
- can't test the thread example since I tried on bare metal (no OS)
- found an issue with the
const const in constat.c example code, compiler complained immediately and I think GCC would complain, too
- examples using pointer arithmetic always are rejected by the compiler due to MISRA 2012 Rule 18.4, so I think examples without ptr arithmetic should be added
- I added an alias clone without ptr arithmetic
Changes are here, but for some reason I can't seem to create a PR (I get error 500):
https://github.com/c-rustacean/static-analysis-argumentation/compare/minor-fixes-and-alias-example-no-ptr-arithmetic?expand=1
Hello,
I have evaluated the C examples on bare-metal code on a proprietary compiler and a proprietary static analysis tool, but I am not sure I can publish the results.
What I can tell you now:
const constinconstat.cexample code, compiler complained immediately and I think GCC would complain, tooChanges are here, but for some reason I can't seem to create a PR (I get error 500):
https://github.com/c-rustacean/static-analysis-argumentation/compare/minor-fixes-and-alias-example-no-ptr-arithmetic?expand=1