Minor fixes and alias example without ptr arithmetic

[eddyp]

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

[eddyp]

Managed to create the PR:
#4

It seems the errors were some transitory issues on github's side.