Product 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.

Product 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.

Keywords

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

Create date

4. 9. 2023

Location

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

Possibilities of use

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

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