Static Analysis door Alan Mycroft