Skip to content

Verifying the Safety of User Pointer Dereferences.

Suhabe Bugrara, Alex Aiken

VenueA*SP
Year2008
ProceedingsSP

Browse the full SP paper archive.