Anna Řechtáčková

Bachelor's thesis

Improving out-of-bound access checking in Symbiotic

Improving out-of-bound access checking in Symbiotic
Anotácia:
Závěrečná práce se zaměřuje na ověřování validity přístupů k prvkům pole v cyklu pomocí indexu, jehož hodnota je omezená velikostí pole. Za tímto účelem je implementována analýza relací mezi hodnotami v kódu. V práci popisuji základy analýzy i procesu, který analýzu využívá k rozhodnutí, zda je přístup do pole validní. Tento proces byl v podobě pluginu zakomponován do Symbioticu, nástroje na verifikaci …viac
Abstract:
This thesis is focused on deciding validity of accesses of array elements done inside a loop using an index whose value is limited by the array's size. To achieve this, a value relations analysis of the code is implemented. I describe the fundamentals of both the analysis and procedure that uses the analysis to decide array access validity. The procedure has been integrated as a plugin into Symbiotic …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 26. 5. 2020

Obhajoba závěrečné práce

  • Obhajoba proběhla 26. 6. 2020
  • Vedúci: Mgr. Marek Chalupa
  • Oponent: doc. RNDr. Petr Švenda, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics