Product Details
DiffKemp: Static Analyser of Semantic Differences, version 0.4.0
Created: 2023
Czech title
DiffKemp: Statický analyzátor sémantických rozdílů, verze 0.4.0
Type
software
License
required - free
Authors
Glozar Tomáš (RedHatCZ)
Malecová Tatiana, Bc. (FIT BUT)
Malík Viktor, Ing. (DITS FIT BUT)
Rozek Jakub (FIT BUT)
Šilling Petr, Ing. (FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Žáčik Pavol (RedHatCZ)
Malecová Tatiana, Bc. (FIT BUT)
Malík Viktor, Ing. (DITS FIT BUT)
Rozek Jakub (FIT BUT)
Šilling Petr, Ing. (FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Žáčik Pavol (RedHatCZ)
Keywords
semantic equivalence, equivalence checking, refactoring, static analysis,
light-weight code analysis, semantics-preserving patterns, refactoring patterns, program slicing, Linux kernel
Description
DiffKemp is a framework for automatic static analysis of semantic differences between different versions of projects written in C, with main focus on the Linux kernel.
The main use-case of DiffKemp is to compare selected functions and configuration options in two versions of a project and to report any discovered semantic differences.
Location
Licence
Free software under the Apache-2.0 license (see https://www.apache.org/licenses/LICENSE-2.0 for details).
Projects