Symbiotic 5: Boosted Instrumentation (Competition Contribution)

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	CHALUPA Marek VITOVSKÁ Martina STREJČEK Jan
Rok publikování	2018
Druh	Článek ve sborníku
Konference	Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Doi	http://dx.doi.org/10.1007/978-3-319-89963-3_29
Klíčová slova	Symbiotic; program analysis; program verification; SV-COMP 2018
Popis	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.
Související projekty:	Centrum excelence - Institut teoretické informatiky Rozsáhlé výpočetní systémy: modely, aplikace a verifikace VII. Podpora perspektivních výzkumných týmů Fakulty informatiky a vynikajících vědeckých pracovníků z jiných institucí působících na Fakultě informatiky Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity 18