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