Thesis Details

Statická analýza Java programů

Bachelor's Thesis Student: Vyvial Pavel Academic Year: 2007/2008 Supervisor: Křena Bohuslav, Ing., Ph.D.
English title
Static Analysis of Java Programs
Language
Czech
Abstract

The project SHADOWS has started research which is developing software for automatic bug healing. We work with self-healing software, which looks for concurrent bugs. If the~detection software finds a bug, the healing action will be performed. After every healing action, one would like to know whether this action has fixed the detected problem and, perhaps even more importantly, that it has not caused any other, possibly even more serious, problem. Therefore this paper describes a technique which gives the answer for this question after automatical healing. One can fix some concurent bugs by adding healing locks. One does healing assurance by searching monitorenter instruction and uses Control Flow Graph analysis over Java byte-code. The prototype uses static analysis (tool FindBugs) for this purpose.

Keywords

automatic bug healing, FindBugs, Java byte-code, software formal analysis, static analysis, SHADOWS

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade C
Date
12 June 2008
Reviewer
Hýsek Jiří, Ing.
Committee
Zbořil František V., doc. Ing., CSc. (DITS FIT BUT), předseda
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT), člen
Martinek David, Ing. (DIFS FIT BUT), člen
Masopust Tomáš, RNDr., Ph.D. (DIFS FIT BUT), člen
Orság Filip, Ing., Ph.D. (DITS FIT BUT), člen
Sojka Petr, doc. RNDr., Ph.D. (FI MUNI), člen
Citation
VYVIAL, Pavel. Statická analýza Java programů. Brno, 2008. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2008-06-12. Supervised by Křena Bohuslav. Available from: https://www.fit.vut.cz/study/thesis/6620/
BibTeX 
@bachelorsthesis{FITBT6620,
    author = "Pavel Vyvial",
    type = "Bachelor's thesis",
    title = "Statick\'{a} anal\'{y}za Java program\r{u}",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2008,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/6620/"
}

Theses

Back to top