Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F21%3APU142910" target="_blank" >RIV/00216305:26230/21:PU142910 - isvavai.cz</a>
Result on the web
<a href="https://ieeexplore.ieee.org/document/9438578" target="_blank" >https://ieeexplore.ieee.org/document/9438578</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ICST49551.2021.00045" target="_blank" >10.1109/ICST49551.2021.00045</a>
Alternative languages
Result language
angličtina
Original language name
Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects
Original language description
Motivated by a need of some software projects to ensure semantic stability of some of their core parts, the paper proposes a highly-scalable approach for automatically checking semantic equivalence of different versions of large C projects, with a particular focus on the Linux kernel. The proposed method uses a novel combination of pattern matching with light-weight static analysis and control-flow transformations. Although the method cannot prove equivalence on heavily refactored code, it can compare thousands of functions in minutes while producing a low number of false non-equality verdicts as our experiments show. We implemented our approach in a tool called DiffKemp and we show that DiffKemp, unlike other existing tools, gives practically useful results even on projects of the size of the Linux kernel.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA20-07487S" target="_blank" >GA20-07487S: Scalable Techniques for Analysis of Complex Properties of Computer Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2021
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
ISBN
978-1-7281-6837-1
ISSN
—
e-ISSN
—
Number of pages
11
Pages from-to
329-339
Publisher name
Institute of Electrical and Electronics Engineers
Place of publication
Porto de Galinhas
Event location
Porto de Galinhas, Brazil
Event date
Apr 12, 2021
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000680831800033