The Community for Technology Leaders
2013 20th Working Conference on Reverse Engineering (WCRE) (2002)
Richmond, Virginia
Oct. 29, 2002 to Nov. 1, 2002
ISBN: 0-7695-1799-4
pp: 0109
ABSTRACT
Conditioned slicing can be applied to reverse engineering problems which involve the extraction of executable fragments of code in the context of some criteria of interest. This paper introduces ConSUS, a conditioner for the Wide Spectrum Language, WSL. The symbolic executor of ConSUS prunes the symbolic execution paths, and its predicate reasoning system uses the FermaT simplifytransforma-tion in place of a more conventional theorem prover. We show that this combination of pruning and simplification-as- reasoner leads to a more scalable approach to conditioning.
INDEX TERMS
CITATION
M. Daoudi, M.P. Ward, M. Harman, L. Ouarbya, S. Danicic, C. Fox, J. Howroyd, "ConSUS: A Scalable Approach to Conditioned Slicing", 2013 20th Working Conference on Reverse Engineering (WCRE), vol. 00, no. , pp. 0109, 2002, doi:10.1109/WCRE.2002.1173069
183 ms
(Ver 3.3 (11022016))