Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1415064,
author = {Chalupa, Marek and Vitovská, Martina and Strejček, Jan},
address = {Berlin},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II},
doi = {http://dx.doi.org/10.1007/978-3-319-89963-3_29},
editor = {Dirk Beyer and Marieke Huisman},
keywords = {Symbiotic; program analysis; program verification; SV-COMP 2018},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin},
isbn = {978-3-319-89963-3},
pages = {442-446},
publisher = {Springer},
title = {Symbiotic 5: Boosted Instrumentation (Competition Contribution)},
year = {2018}
}
TY - JOUR
ID - 1415064
AU - Chalupa, Marek - Vitovská, Martina - Strejček, Jan
PY - 2018
TI - Symbiotic 5: Boosted Instrumentation (Competition Contribution)
PB - Springer
CY - Berlin
SN - 9783319899633
KW - Symbiotic
KW - program analysis
KW - program verification
KW - SV-COMP 2018
N2 - The fifth version of Symbiotic significantly improves instrumentation capabilities that the tool uses to participate in the category MemSafety. It leverages an extended pointer analysis re-designed for instrumenting programs with memory safety errors, and staged instrumentation reducing the number of inserted function calls that track or check the memory state. Apart from various bugfixes, we have ported Symbiotic (including the external symbolic executor Klee) to llvm 3.9 and improved the generation of violation witnesses by providing values of some variables.
ER -
CHALUPA, Marek, Martina VITOVSKÁ and Jan STREJČEK. Symbiotic 5: Boosted Instrumentation (Competition Contribution). In Dirk Beyer and Marieke Huisman. \textit{Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II}. Berlin: Springer, 2018, p.~442-446. ISBN~978-3-319-89963-3. Available from: https://dx.doi.org/10.1007/978-3-319-89963-3\_{}29.
|
