Applied result detail

DiffKemp: Static Analyser of Semantic Differences, version 0.4.0

MALÍK, V.; GLOZAR, T.; VOJNAR, T.; ŠILLING, P.; ŽÁČIK, P.; MALECOVÁ, T.; ROZEK, J.

Original Title

DiffKemp: Static Analyser of Semantic Differences, version 0.4.0

English Title

DiffKemp: Static Analyser of Semantic Differences, version 0.4.0

Type

Software

Abstract

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.

Abstract in English

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.

Keywords

semantic equivalence, equivalence checking, refactoring, static analysis,
light-weight code analysis, semantics-preserving patterns, refactoring patterns, program slicing, Linux kernel

Key words in English

semantic equivalence, equivalence checking, refactoring, static analysis,
light-weight code analysis, semantics-preserving patterns, refactoring patterns, program slicing, Linux kernel

Location

https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0