DOE OSTI2011A Practical Mixed Analysis Framework for Arbitrary Binary FragmentsAbstract not provided97 MATHEMATICS AND COMPUTING↗