contribute to the security of software, such as input validation, [330] attack
pattern detection, fault tolerant exception handling, etc. Nor does there
appear to be any research underway on this topic. This is noteworthy because
much of the guidance on secure software development recommends the use