PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)

Simple item page
dc.contributor.authorŠoková, Veronikacs
dc.contributor.authorPeringer, Petrcs
dc.contributor.authorVojnar, Tomášcs
dc.coverage.volume12079cs
dc.date.issued2020-02-26cs
dc.description.abstractThis paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes PredatorHP's participation in SV-COMP 2020, pointing out its strengths and weakness and the way they were influenced by the latest changes in the tool.en
dc.description.abstractTento článek se zaměřuje na zdokonalení nástroje PredatorHP v posledních dvou letech, například na zlepšení manipulace s paměťovými oblastmi s  intervalovou velikostí nebo na novou podporu realokace paměti. Příspěvek popisuje účast nástroje PredatorHP na SV-COMP 2020 a poukazuje na jeho silné a slabé stránky a dopad nejnovějších změn v nástroji.cs
dc.formattextcs
dc.format.extent408-412cs
dc.format.mimetypeapplication/pdfcs
dc.identifier.citationProceedings of TACAS 2020 (2). 2020, vol. 12079, p. 408-412.en
dc.identifier.doi10.1007/978-3-030-45237-7_30cs
dc.identifier.isbn978-3-030-45236-0cs
dc.identifier.orcid0000-0003-1980-7245cs
dc.identifier.orcid0000-0002-8264-8307cs
dc.identifier.orcid0000-0002-2746-8792cs
dc.identifier.other162536cs
dc.identifier.researcheridK-5057-2015cs
dc.identifier.scopus57188870602cs
dc.identifier.scopus7003263237cs
dc.identifier.scopus8727483800cs
dc.identifier.urihttp://hdl.handle.net/11012/195258
dc.language.isoencs
dc.publisherSpringer International Publishingcs
dc.relation.ispartofProceedings of TACAS 2020 (2)cs
dc.relation.urihttps://www.fit.vut.cz/research/publication/12198/cs
dc.rightsCreative Commons Attribution 4.0 Internationalcs
dc.rights.accessopenAccesscs
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/cs
dc.subjectformal verificationen
dc.subjectprogram analysisen
dc.subjectshape analysisen
dc.subjectsymbolic memory graphsen
dc.subjectbug huntingen
dc.subjectmemory safetyen
dc.subjectsoftware verification competitionen
dc.titlePredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)en
dc.title.alternativePredatorHP vylepšen (nejen) v práci s intervalově zadanou velikostí paměti a realokaci paměti (příspěvek do soutěže)cs
dc.type.driverconferenceObjecten
dc.type.statusPeer-revieweden
dc.type.versionpublishedVersionen
sync.item.dbidVAV-162536en
sync.item.dbtypeVAVen
sync.item.insts2024.03.25 03:46:04en
sync.item.modts2024.03.25 03:14:18en
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Peringer2020_Chapter_PredatorHPRevampedNotOnlyForIn.pdf
Size:
2.45 MB
Format:
Adobe Portable Document Format
Description:
Peringer2020_Chapter_PredatorHPRevampedNotOnlyForIn.pdf
Download
Collections
Ústav inteligentních systémů