Symbiotic 2: More Precise Slicing (Competition Contribution)

Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

SLABÝ Jiří STREJČEK Jan

Year of publication 2014
Type Article in Proceedings
Conference Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-642-54862-8_34
Field Informatics
Keywords instrumentation; symbolic execution; program slicing
Description Symbiotic 2 keeps the concept and the structure of the original bug-finding tool Symbiotic, but it uses a more precise slicing based on a field-sensitive pointer analysis instead of field-insensitive analysis of the original tool. The paper discusses this improvement and its consequences. We also briefly recall basic principles of the tool, its strong and weak points, installation, and running instructions. Finally, we comment the results achieved by Symbiotic 2 in the competition.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.