An 'explicit type enforcement' program transformation tool for preventing integer vulnerabiliites.

Published in: OOPSLA Companion (2011)

Keyphrases

program understanding
optimal solution
access control
program execution
computer vision
decision making
bayesian networks
search algorithm
digital libraries
image registration
operating system
test cases
software tools
floating point
multiple types
fault localization