Zpět na vyhledávání

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ú …more
Abstract:
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
 

Keywords

LLVM IR static analysis semantic equivalence C library cryptography
 
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

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Computer systems, communication and security / Information security

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.