ConSUS: a light-weight program conditioner
Date
2005-09-01
Authors
Advisors
Journal Title
Journal ISSN
ISSN
0164-1212
Volume Title
Publisher
Elsevier
Type
Article
Peer reviewed
Abstract
Description
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 simplify transformation in place of a more conventional theorem prover. We show that this combination of pruning and amplification-as-reasoner leads to a more scalable approach to conditioning.
Keywords
RAE 2008, UoA 23 Computer Science and Informatics
Citation
Ward, M. et al.(2005) ConSUS: a light-weight program conditioner. Journal of Systems and Software, 77(3), pp. 241-262.