Detail produktu
DiffKemp: Static Analyser of Semantic Differences, version 0.4.0
Vznik: 2023
Název česky
DiffKemp: Statický analyzátor sémantických rozdílů, verze 0.4.0
Typ
software
Licence
vyžadována - zdarma
Autoři
Glozar Tomáš (RedHatCZ)
Malecová Tatiana, Bc. (FIT VUT)
Malík Viktor, Ing. (UITS FIT VUT)
Rozek Jakub (FIT VUT)
Šilling Petr, Ing. (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Žáčik Pavol (RedHatCZ)
Malecová Tatiana, Bc. (FIT VUT)
Malík Viktor, Ing. (UITS FIT VUT)
Rozek Jakub (FIT VUT)
Šilling Petr, Ing. (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Žáčik Pavol (RedHatCZ)
Popis
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ů.
Umístění
Licence
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