docs: checklists: Add some more influences and references
Introduce "weird machines" for those who aren't aware of them. The blog
also links to Dullien's paper that provides fairly tight definition
for them.
The SEI CERT C Coding Standard is maintained by members of the C
standards committee as a more approachable resource for C programmers
than the standard itself (which is written for implementers of C more so
than users).
Change-Id: I6df09feacd47c0eea42b840784ab2c90a913fcff
Signed-off-by: Andrew Jeffery <andrew@codeconstruct.com.au>
diff --git a/docs/checklists/changes.md b/docs/checklists/changes.md
index c28f9bb..19d4353 100644
--- a/docs/checklists/changes.md
+++ b/docs/checklists/changes.md
@@ -26,6 +26,12 @@
[azonenberg-packed-struct]: https://ioc.exchange/@azonenberg/112535511250395148
+- [The Good, the Bad, and the Weird - Trail of Bits
+ Blog][trail-of-bits-weird-machines]
+
+[trail-of-bits-weird-machines]:
+ https://blog.trailofbits.com/2018/10/26/the-good-the-bad-and-the-weird/
+
## References
- [C17 draft standard][c17-draft-standard]
@@ -33,6 +39,11 @@
[c17-draft-standard]:
https://web.archive.org/web/20181230041359if_/http://www.open-std.org/jtc1/sc22/wg14/www/abq/c17_updated_proposed_fdis.pdf
+- [SEI CERT C Coding Standard][sei-cert-c-coding-standard]
+
+[sei-cert-c-coding-standard]:
+ https://wiki.sei.cmu.edu/confluence/display/c/SEI+CERT+C+Coding+Standard
+
## Definitions
- **Error condition**: An invalid state reached at runtime, caused either by