Contract Programming (or Design by Contract, DbC) for C++. All Eiffel features supported: Optional contract compilation; Customizable action on failure; Subcontracting; Old and result values; Block invariants, loop variants. http://dbcpp.sourceforge.net
There are no reported vulnerabilities