10 December 2001
David Larochelle
5
Design Goals
•Tool that can be used
by typical programmers as part
of the development process
–Fast, Easy to
Use
•Tool that can
be used to check legacy code
–Handles
typical C programs
•Encourage a
proactive security methodology
–Document key
assumptions