When we say a program is "insecure" what do we mean? Do we mean that there is some class of inputs which cause it to behave in a way that it will do any arbitrary computation the designers of the input-data want it to execute?
Or less critically that the designers of the inputs can cause the outputs of the program reveal some information which can be used to implement further exploits?