Skip to content

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

Munawar Hafiz

VenueAOOPSLA
Year2011
ProceedingsOOPSLA Companion

Browse the full OOPSLA paper archive.