Secure Programming Lecture 13: Static Analysis

Weakness classification in CWE

Browse the CWE View: Seven Pernicious Kingdoms.

Static analysis introduction

See Chapters 1-4 of

Recommended reading:

For type systems you should know about the typing system of Java already, including features like exceptions, generics and how they are treated. To extend the robustness of static typing to low-level languages, new languages are emerging such as


Home : Teaching : Courses : Sp : 2018 

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