This lecture included examples from:
M. Dowd, J. McDonald and J. Schuh. The Art of Software Security Assessment, Addison-Wesley 2007. The Unix file samples and TOCTOU picture are from Chapter 9.
Contemplate Ltd’s technical briefing on its ThreadSafe tool.
Savage et al. Eraser: A Dynamic Data Race Detector for Multithreaded Programs, ACM TOCS, 15(4), 1997.
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk Please contact our webadmin with any comments or corrections. Logging and Cookies Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh |