Towards a framework for algorithm recognition in binary code
Published in Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming • Sep 1, 2016
NobleIDNI0P12W25R43S16
Authors:,,
Frédéric Mesnard
Étienne Payet
Wim Vanhoof
Abstract
Algorithm recognition, which is the problem of verifying whether a program implements a given algorithm, is an important topic in program analysis. We propose an approach for algorithm recognition in binary code. For this paper, we have chosen the Dalvik Virtual Machine (DVM) bytecode. Given an algo...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!