Analyzing semantic stability of cryptography libraries using Diffkemp – Bc. Pavol Žáčik
Bc. Pavol Žáčik
Master's thesis
Analyzing semantic stability of cryptography libraries using Diffkemp
Analyzing semantic stability of cryptography libraries using Diffkemp
Abstract:
DiffKemp je nástroj pre statickú analýzu sémantickej ekvivalencie rôznych verzií projektov napísaných v jazyku C. Na rozdiel od iných nástrojov s rovnakým účelom využíva iba jednoduché formálne metódy, vďaka čomu je schopný dobre škálovať aj pri veľkých projektoch. Hlavným kompromisom je jeho obmedzená účinnosť, konkrétne hlásenie sémantických rozdielov, ktoré nie sú skutočné. Táto práca navrhuje poloautomatickú …moreAbstract:
DiffKemp is a static analysis tool for checking the semantic equivalence of different versions of C projects. Unlike other tools with the same purpose, it employs only lightweight formal methods, which allows it to scale well with large code bases. The main trade-off is its effectiveness, namely the presence of reported semantic differences that are not genuine. This thesis proposes a semi-automatic …more
Language used: English
Date on which the thesis was submitted / produced: 15. 12. 2023
Identifier:
https://is.muni.cz/th/ponkv/
Thesis defence
- Date of defence: 5. 2. 2024
- Supervisor: RNDr. Martin Ukrop, Ph.D.
- Reader: Mgr. Jan Kvapil
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Computer systems, communication and security / Information security
Theses on a related topic
- No theses on a related topic available.