This is LANL's release of the VERA tool by Danny Quist. We have a brief page about it at http://csr.lanl.gov/vera/.
Due to licensing issues, I had to remove the following subdirectories:
- pin-2.8-37300-msvc9-ia32_intel64-windows
- vera_ida
- vera-mfc
-- Neale Pickett neale@lanl.gov, February 2014