|
|
|
|
|
|
|
|
|
|
|
|
| • | 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 |
||||||||||
