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