I think it's ambiguous and fair game for the idea of answering the question "if we write programs in this manner, will there be exploitable bugs?