Two Possible Security Programming Tools: Diehard and Airbag

University of Massachusetts research have developed Diehard, which helps with memory management issues.

Google has developed Air Bag, which helps with crash reporting.