Memory violation detection method in binary code
V. V. Kaushan, A. YU. Mamontov, Vartan Andronikovich Padaryan, Andrey Fedotov · Proceedings of the Institute for System Programming of RAS · 2015
In this paper memory violation detection method is considered. This method applied to program binaries, without requiring debug information. It allows to find such memory violations as out-of-bound read or writing in some buffer. The technique is based on dynamic analysis and symbolic execution. We present a tool implemented the method. We used this tool to find 11 bugs in both Linux and Windows programs, 7 of which were undocumented at the time this paper was written.