A practical off-line taint analysis framework and its application in reverse engineering of file format. Issue 51 (June 2015)