You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
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 const
inconstat.c
example 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
The text was updated successfully, but these errors were encountered: