Detail aplikovaného výsledku

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.

Originální název

DiffKemp: Static Analyser of Semantic Differences, version 0.4.0

Anglický název

DiffKemp: Static Analyser of Semantic Differences, version 0.4.0

Druh

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.

Abstrakt aglicky

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

Klíčová slova anglicky

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

Umístění

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

Licenční poplatek

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

www

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