Adam Sampson's safety bookmarkshttps://bookmarks.offog.org/ats/safetyAdam Sampson2017-09-13T10:55:18ZUndefined Behavior in 2017 – Embedded in Academiahttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fblog.regehr.org%2Farchives%2F15202017-09-13T10:55:18ZA really nice overview of undefined behaviour in C-family languages. Tempted to do a lecture on this for CMP201, although I suspect the students would find it rather depressing...A Guide to Undefined Behavior in C and C++, Part 1 – Embedded in Academiahttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fblog.regehr.org%2Farchives%2F2132017-02-10T14:51:21ZA good overview for students.Let’s stop copying C / fuzzy notepadhttps://bookmarks.offog.org/edit?url=https%3A%2F%2Feev.ee%2Fblog%2F2016%2F12%2F01%2Flets-stop-copying-c%2F2017-02-10T14:50:46ZYes, let's. Please.A nice, little known C feature: Static array indices in parameter declarationshttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fhamberg.no%2Ferlend%2Fposts%2F2013-02-18-static-array-indices.html2017-02-10T14:48:43Z"void bar(int myArray[static 10]);" On the other hand, compilers that actually do something useful with this are rare. And the syntax is pretty horrible -- especially when you're using it to indicate a non-NULL pointer.Safety investigations & reportshttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fwww.atsb.gov.au%2Fpublications%2Fsafety-investigation-reports%2F2016-10-14T16:12:51ZRail and others.Checked C - Microsoft Researchhttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fwww.microsoft.com%2Fen-us%2Fresearch%2Fproject%2Fchecked-c%2F2016-08-28T11:14:12ZC with bounds checking. Very C++-ish; I was hoping they'd done something smarter.ferd.ca -> An Open Letter to the Erlang Beginner (or Onlooker)https://bookmarks.offog.org/edit?url=http%3A%2F%2Fferd.ca%2Fan-open-letter-to-the-erlang-beginner-or-onlooker.html2014-05-24T19:36:25ZA nice overview of what's unique about Erlang (the concurrency stuff is obvious, but the error handling is equally neat).Cryptography Coding Standardhttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fcryptocoding.net%2F2014-04-27T12:25:18ZPatterns for secure cryptographic software (e.g. same comparisons).The Power of Ten -- Rules for Writing Safety Critical Codehttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fspinroot.com%2Fp10%2F2014-03-26T00:00:56ZThis largely matches what I'd recommend anyway, but perhaps I should encourage students to make more use of assertions. This could be summarised as "make it possible to do static analysis on your code".THE SIGNAL BOX: Home Signalhttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.signalbox.org%2F2013-09-07T12:14:20Z"This web site is all about railway signalling. Its primary purpose is to describe the principles behind railway signalling in Great Britain, but some coverage of signalling around the world will also be found." With copious pictures.