Zpět na vyhledávání

Bc. Michal Fiedler

Master's thesis

Statická detekce chyb při práci s pamětí

Static memory error detection
Abstract:
Diplomová práce se zabývá vyhledáváním chyb při práci s pamětí pomocí statické analýzy. Popisuje některé existující algoritmy. Popisuje princip a možný způsob implementace algoritmu metodou určování vlastnictví ukazatelů.
Abstract:
Master's Thesis is about memory error detection with static analysis. It describes some existing algorithms. It describes principle and possible method of implementation of algorithm using determination of pointer ownership.
 

Keywords

dangling pointers memory corruption memory leaks správa paměti statická analýza programu
 
Language used: Czech
Date on which the thesis was submitted / produced: 18. 5. 2007
Identifier: https://is.muni.cz/th/ikpml/

Thesis defence

  • Date of defence: 27. 6. 2007
  • Supervisor: doc. Mgr. Jan Obdržálek, PhD.

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