Sign in
An 'explicit type enforcement' program transformation tool for preventing integer vulnerabiliites.
Munawar Hafiz
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