DiffKemp: Static Analyser of Semantic Differences, version 0.4.0

Typ

software

Jazyk

anglicky

Autoři

Malík Viktor, Ing., Ph.D., UITS (FIT)
Glozar Tomáš
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Šilling Petr, Ing.
Žáčik Pavol
Malecová Tatiana, Bc.
Rozek Jakub, FIT (FIT)

Popis

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

URL

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

Licence

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

Licenční podmínky

Volně šířitelný software poskytovaný pod licencí Apache-2.0 (pro přesné znění licence viz. https://www.apache.org/licenses/LICENSE-2.0).

Projekty

Cyber-security Excellence Hub in Estonia and South Moravia, EU, HORIZON EUROPE, 101087529, zahájení: 2023-01-01, ukončení: 2026-12-31, řešení
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů, GAČR, Standardní projekty, GA20-07487S, zahájení: 2020-01-01, ukončení: 2022-12-31, ukončen

Pracoviště

Ústav inteligentních systémů (UITS)