A System for Generating Static Analyzers for Machine Instructions.

Junghee Lim, Thomas W. Reps

Browse the full CC paper archive.