Precise static analysis of untrusted driver binaries.

Johannes Kinder, Helmut Veith

Browse the full FMCAD paper archive.