SafeInt Runtime Tests - 3.0.15

Rating: No reviews yet
Downloads: 373
Released: Jul 30, 2011
Updated: Jul 31, 2011 by dcleblanc
Dev status: Stable Help Icon

Downloads

Source Code AddVerify.cpp
source code, 241K, uploaded Jul 31, 2011 - 61 downloads
Source Code DivVerify.cpp
source code, 97K, uploaded Jul 31, 2011 - 41 downloads
Source Code ModVerify.cpp
source code, 9K, uploaded Jul 31, 2011 - 38 downloads
Source Code MultVerify.cpp
source code, 76K, uploaded Jul 31, 2011 - 52 downloads
Source Code SubVerify.cpp
source code, 259K, uploaded Jul 31, 2011 - 42 downloads
Source Code TestMain.cpp
source code, 4K, uploaded Jul 31, 2011 - 48 downloads
Source Code TestMain.h
source code, 1K, uploaded Jul 31, 2011 - 47 downloads
Source Code IncDecVerify.cpp
source code, 30K, uploaded Jul 31, 2011 - 44 downloads

Release Notes

This release contains the runtime tests for SafeInt.

When run, it should output:

Verifying Multiplication:
Verifying Division:
Verifying Subtraction:
...

If it prints "Error in case ...", then there's a problem.

These tests have been validated as of SafeInt version 3.0.15. You will also require SafeInt3.hpp in order to compile.

Note - compiles with zero warnings at /Wall on Visual Studio 2010. We're working towards few to no warnings on gcc as well.

Many thanks to Jeffrey Walton of OWASP for completing MultVerify, DivVerify, and adding the addition, subtraction, increment/decrement and modulus checks. His subtraction test suite found an actual runtime bug in the case of unsigned int64, signed int64 when the signed portion is negative.

Update - 7/31 - added increment/decrement checks.

Reviews for this release

No reviews yet for this release.