Skip to content
Observing how software testing and verification (techniques, tools, etc) can be applied to different contexts: security, algorithms, etc.
DieHard: preventing memory errors in C/C++
August 28, 2017
Installing DieHard in OS x < 10.12
July 31, 2017
To find out more, including how to control cookies, see here: