Result Details
Efficient Manipulation of Control Flow Models in Evolving Software
Pavela Jiří, Ing., DITS (FIT)
Rogalewicz Adam, doc. Mgr., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
When looking for certain kinds of software bugs, successive versions of software
are compared. Performance-related bugs are a notable example. Methods used for
detecting such bugs are, however, expensive and need to be applied carefully. At
the same time, current software development is rapid, with new software versions
released everyday. In this paper, we aim at two particular ways how to optimize
difference analyses of performance (but possibly other aspects of the software
too) of successive software versions. Namely, we propose (1) an efficient layered
representation of the program control flow spanning across the program history,
and (2) methods for efficient matching of pairs of corresponding functions in
different software versions and for selecting those whose differential analysis
should be performed. We have implemented our approach and performed experiments
on two selected versions of the CPython project. The results indicate that our
approach is a promising direction for improving the performance analysis of real
world programs.
Performance analysis, Cross-version performance degradation, Control flow,
Perun,
@inproceedings{BUT193280,
author="Tomáš {Fiedor} and Jiří {Pavela} and Adam {Rogalewicz} and Tomáš {Vojnar}",
title="Efficient Manipulation of Control Flow Models in Evolving Software",
booktitle="Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts",
year="2025",
journal="Lecture Notes in Computer Science",
pages="412--427",
publisher="Springer International Publishing",
address="Las Palmas de Gran Canaria",
doi="10.1007/978-3-031-82949-9\{_}37",
isbn="978-3-031-82949-9",
issn="0302-9743",
url="https://link.springer.com/chapter/10.1007/978-3-031-82949-9_37"
}Cyber-security Excellence Hub in Estonia and South Moravia, EU, HORIZON EUROPE, 101087529, start: 2023-01-01, end: 2026-12-31, running
Reliable, Secure, and Intelligent Computer Systems, BUT, Vnitřní projekty VUT, FIT-S-23-8151, start: 2023-03-01, end: 2026-02-28, running