Symbolic object code analysis

Jan Tobias Mühlberg, Gerald Lüttgen. Symbolic object code analysis. STTT, 16(1):81-102, 2014. [doi]

Abstract

Abstract is missing.