Detail produktu

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.

Typ produktu

software

Abstrakt

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.

Klíčová slova

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

Datum vzniku

4. 9. 2023

Umístění

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

Možnosti využití

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

Licenční poplatek

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

www