Formally Verified Binary-Level Pointer Analysis.

Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran

Browse the full ICSE paper archive.