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.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.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.subjectformal verification
dc.subjectprogram analysis
dc.subjectshape analysis
dc.subjectsymbolic memory graphs
dc.subjectbug hunting
dc.subjectmemory safety
dc.subjectsoftware verification competition
dc.titlePredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)en
dc.title.alternativePredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)en
dc.type.driverconferenceObjecten
dc.type.statusPeer-revieweden
dc.type.versionpublishedVersionen
sync.item.dbidVAV-162536en
sync.item.dbtypeVAVen
sync.item.insts2025.10.14 14:13:17en
sync.item.modts2025.10.14 10:35:15en
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ů