DiffKemp: Static Analyser of Semantic Differences, version 0.4.0

DiffKemp: Statický analyzátor sémantických rozdílů, verze 0.4.0

software

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

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

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

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

DiffKemp je nástroj pro automatickou statickou analýzu sémantických rozdílů mezi různými verzemi software, určený pro projekty napsané v jazyce C, zejména jádro operačního systému Linux. Hlavním využitím DiffKempu je porovnání sémantiky seznamu funkcí a konfiguračních nastavení mezi dvěma verzemi software a nahlášení nalezených rozdílů.

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

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

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

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