itc-benchmarks
itc-benchmarks copied to clipboard
regehr
static analysis benchmarks from Toyota ITC
For the last example, void data_underflow_012 () { int min = -2147483647; int dlist[4] = {0, 1, -2, -1}; int ret; ret = min - dlist[2]; /*Tool should detect this...
Hi, first place, good work for making these test cases available! Thanks! Autoconf is generating Makefiles with CFLAGS='-g -O2', and -O2 will optimized lots of parts of the code since...
I tried to compile on a Ubuntu 12.04 GCC 4.6.4, it complained about missing reference to libmath. LDADD[1] will tell autotools to add these variable AFTER the objects list. Thanks...
If I'm reading things correctly, https://github.com/regehr/itc-benchmarks/blob/master/01.w_Defects/free_null_pointer.c is a test that a verifier complains about a free of a NULL pointer. However, it's legal to call `free` on a NULL pointer;...
