Symbiotic 2: More Precise Slicing (Competition Contribution) (2014)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/14:00073504 |
|---|---|
| Název v anglickém jazyce | Symbiotic 2: More Precise Slicing (Competition Contribution) |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2014 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 2 |
| Počet domácích tvůrců | 2 |
| Výčet všech uvedených jednotlivých tvůrců | Jiří Slabý (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6545270) Jan Strejček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3978915) |
| Popis výsledku v anglickém jazyce | 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. |
| Klíčová slova oddělená středníkem | instrumentation; symbolic execution; program slicing |
| Stránka www, na které se nachází výsledek | - |
| DOI výsledku | 10.1007/978-3-642-54862-8_34 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014 |
|---|---|
| ISBN | 9783642548611 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 3 |
| Strana od-do | 415-417 |
| Název nakladatele | Springer |
| Místo vydání | Berlin, Heidelberg |
| Místo konání akce | Grenoble, France |
| Datum konání akce | 2014 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2015 |
| Specifikace | RIV/00216224:14330/14:00073504!RIV15-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2015 |
| Kontrolní číslo | 152393198 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2015 | RIV/00216224:14330/14:00073504 v dodávce dat RIV15-GA0-14330___/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný GA ČR v programu GA | GAP202/10/1469 - Formální metody pro analýzu a verifikaci komplexních systémů (2010 - 2014) |
|---|---|
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace Specifický výzkum na vysokých školách, poskytovatel MŠMT |