Disertační práce

String Analysis for Software Verification

Martina Olliaro
Anotace

This thesis aims to investigate string manipulation with security implications in different programming languages and to improve the state-of-the-art by applying the Abstract Interpretation theory to string analysis. Erroneous string manipulation is a challenging problem in software verification and, in fact, it is one of the major causes of program vulnerabilities that can be exploited by malicious …více

Abstract

This thesis aims to investigate string manipulation with security implications in different programming languages and to improve the state-of-the-art by applying the Abstract Interpretation theory to string analysis. Erroneous string manipulation is a challenging problem in software verification and, in fact, it is one of the major causes of program vulnerabilities that can be exploited by malicious …více

Klíčová slova
Static analysis String analysis Abstract Interpretation
Administrativní informace
Práce zkontrolována:
5. 1. 2021 08:06, prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344
Plný text práce
4,8 MB / soubor PDF
Přílohy (2)
Jazyk práce
angličtina angličtina
Termín obhajoby
24. 3. 2021
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344
KPSK FI MU
prof. Agostino Cortesi
Universita Ca'Foscari Venezia

Oponenti

Prof. Pierpaolo Degano
Universita di Pisa, Italy
Prof. Thomas Jensen
INRIA, Rennes, France
Prof. David A. Schmidt, Ph.D.
Kansas State University, USA
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Plán
Fundamentals of Computer Science

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.