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.
CITATION STYLE
Chalupa, M., Vitovská, M., & Strejček, J. (2018). SYMBIOTIC 5: Boosted instrumentation: (Competition contribution). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10806 LNCS, pp. 442–446). Springer Verlag. https://doi.org/10.1007/978-3-319-89963-3_29
Mendeley helps you to discover research relevant for your work.