Interpolation for value analysis
Abstract
Abstraction, counterexample-guided refinement, and interpolation are techniques that are essential to the success of predicate-based program analysis. These techniques have not yet been applied together to value analysis. We present an approach that integrates abstraction and interpolation-based refinement into a value analysis, i.e., a program analysis that tracks values for a specified set of variables (the precision).
- Citation
- BibTeX
Beyer, D. & Löwe, S.,
(2015).
Interpolation for value analysis.
In:
Aßmann, U., Demuth, B., Spitta, T., Püschel, G. & Kaiser, R.
(Hrsg.),
Software-engineering and management 2015.
Bonn:
Gesellschaft für Informatik e.V..
(S. 73-74).
@inproceedings{mci/Beyer2015,
author = {Beyer, Dirk AND Löwe, Stefan},
title = {Interpolation for value analysis},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny} ,
pages = { 73-74 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Beyer, Dirk AND Löwe, Stefan},
title = {Interpolation for value analysis},
booktitle = {Software-engineering and management 2015},
year = {2015},
editor = {Aßmann, Uwe AND Demuth, Birgit AND Spitta, Thorsten AND Püschel, Georg AND Kaiser, Ronny} ,
pages = { 73-74 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-633-6
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2015
Language:
(en)

Content Type: Text/Conference Paper