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
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Authors
Malík Viktor, Ing., Ph.D.
(DITS)
Glozar Tomáš
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Šilling Petr, Ing. (DCGM)
Žáčik Pavol
Malecová Tatiana, Bc.
Rozek Jakub (FIT)
Glozar Tomáš
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Šilling Petr, Ing. (DCGM)
Žáčik Pavol
Malecová Tatiana, Bc.
Rozek Jakub (FIT)
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
License Conditions
Free software under the Apache-2.0 license (see https://www.apache.org/licenses/LICENSE-2.0 for details).
Projects
Cyber-security Excellence Hub in Estonia and South Moravia, EU, HORIZON EUROPE, 101087529, 2023-2026, running
Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, Standardní projekty, GA20-07487S, 2020-2022, running
Scalable Techniques for Analysis of Complex Properties of Computer Systems, GACR, Standardní projekty, GA20-07487S, 2020-2022, running
Departments