sectypes aims to simulate different platform in order to test a piece of code for integer overflow and buffer overflow.

sectypes mainly uses templates and few code in order to simulate a given type (let's say Integer on a 16bit platform).

The goal of such simulation is to speed up the crashes in some cases where an overflow may occur in limit cases (after INT_MAX allocation, etc.). I started the development of sectypes while doing evaluation for the NIST Static Analysis Tool Exposition 2008 where I had such a case to prove.

Even if the code is not finished yet for the form I want to use (template only) which would facilitate the integration on existing code, the base is still here for the integer simulation only.