David Evans David Larochelle Improving Security Using Extensible Lightweight Static Analysis. 42-51 2002 19 IEEE Software 1 http://www.computer.org:80/software/so2002/s1042abs.htm db/journals/software/software19.html#EvansL02