improved analysis.
u Enhanced scope and capabilities of the software IV&V tools used by NASA.
Though not all of these projects specifically focus on software security,
NASA anticipates that the resulting improvements in software quality and