Free and open source software correctness tools
currently being written
C++ unit testing framework: JustUnit
C++ mocking framework: MetalMock
Exercise, security, and productivity accelerator: ExerciseSecureDeliver