Executables for stackoverflow.c, FormatString02.c, global_outofbounds.c,
UninitializedRead.c, use-after-free.c, compiled with Softbound support,
added