On Some Limitations of Information Flow Tracking in Full-system Emulators
Maria Anatolyevna Klimushenkova, M.G. Bakulin, Vartan Andronikovich Padaryan, Pavel Mikhailovich Dovgalyuk, Natalia Igorevna Fursova, Ivan Aleksandrovich Vasiliev · Proceedings of the Institute for System Programming of RAS · 2016
Tracking and verification of data flows includes set of techniques that can be applied to make applications more secure, to perform software analysis for debugging or reverse engineering, and so on. Taint analysis is one of the techniques used to control data flows. This paper presents an approach for system-wide lightweight platform-aware taint analysis. We implemented proof-of-concept tool based on our approach for i386 platform upon the multi-platform simulator QEMU. Our approach uses instrumentation of QEMU intermediate representation of binary code and processes up to 8 taints simultaneously. Most of the taint analysis code is target-independent and may be used with other target platforms. For some platforms (i386 with Windows XP and Windows 7) we present Virtual Machine Introspection plugins for automatic file tainting. We demonstrate how our taint analysis system may be used to detect exploitation of software vulnerabilities.