3 papers
cs.SE2024
Algorithmic Details behind the Predator Shape Analyser
Kamil Dudka, Petr Muller, Petr Peringer +2
This chapter, which is an extended and revised version of the conference paper 'Predator: Byte-Precise Verification of Low-Level List Manipulation', concentrates on a detailed desc…
cs.LO2022
Low-Level Bi-Abduction
Lukáš Holík, Petr Peringer, Adam Rogalewicz +3
The paper proposes a new static analysis designed to handle open programs, i.e., fragments of programs, with dynamic pointer-linked data structures - in particular, various kinds o…
cs.SE2019
PredatorHP Attacks Interval-Sized Regions
Michal Kotoun, Petr Peringer, Veronika Šoková +1
This paper describes shortly the basic principles of the PredatorHP (Predator Hunting Party) shape analyzer and presents its recent improvements. One of the most visible changes is…