Automatic Bug-finding Techniques for Large Software Projects – Mgr. Jiří Slabý, Ph.D.
Mgr. Jiří Slabý, Ph.D.
Doctoral thesis
Automatic Bug-finding Techniques for Large Software Projects
Automatic Bug-finding Techniques for Large Software Projects
Abstract:
Cílem této práce je výzkum aplikovatelnosti současných technik pro automa- tické hledání chyb na velkých softwarových projektech. Vzhledem k tomu, že tyto projekty bývají komplexní, je poptávka po výkonných analyzátorech, které mohou takové projekty zpracovat bez přílišného generování falešných hlášení. Ke splnění tohoto cíle se práce zaměřuje na statické analyzátory, zejména pak na ty, které používají …moreAbstract:
This thesis studies the application of contemporary automatic bug-finding techniques to large software projects. As they tend to be complex systems, there is a call for efficient analyzers that can exercise such projects without generating too many false positives. To fulfill these requirements, this thesis aims at the static analysis with the primary focus at techniques like the abstract interpretation …more
Language used: English
Date on which the thesis was submitted / produced: 31. 10. 2013
Identifier:
https://is.muni.cz/th/ehqsd/
Thesis defence
- Date of defence: 4. 3. 2014
- Supervisor: prof. RNDr. Antonín Kučera, Ph.D.
- Reader: prof. Ing. Tomáš Vojnar, Ph.D., Prof. Dr. Dirk Beyer
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 InformaticsDoctoral programme / field:
Informatics (4-years) / Informatics
Theses on a related topic
-
String Analysis for Software Verification
Martina Olliaro -
Program Slicing and Symbolic Execution for Verification
Marek Chalupa