Thesis Details

Statická analýza v nástroji Facebook Infer zaměřená na analýzu výkonnosti

Bachelor's Thesis Student: Pavela Ondřej Academic Year: 2018/2019 Supervisor: Rogalewicz Adam, doc. Mgr., Ph.D.
English title
Static Analysis Using Facebook Infer Focused on Performance Analysis
Language
Czech
Abstract

Static analysis has nowadays become one of the most popular ways of catching bugs early in the modern software. However, reasonably precise static analysis tools still often struggle to scale well on large and quickly changing codebases. Efficient static analysers, such as Coverity or Code Sonar, are usually proprietary and difficult to openly evaluate or extend. On the contrary, Facebook Infer offers an open source static analysis framework with the emphasis on compositional, incremental and consequently highly scalable inter-procedural analysis. This thesis presents Looper --- a new performance oriented resource bounds analyser which extends the capabilities of Facebook Infer. We have based our implementation on an existing resource bounds analyser Loopus and evaluated it on two different test suites, showing encouraging results in comparison with the existing Cost analyser developed by the Infer team.

Keywords

static analysis, abstract interpretation,performance analysis, resource bounds analysis,amortized complexity, Loopus, OCaml

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade A
Date
10 June 2019
Reviewer
Lengál Ondřej, Ing., Ph.D.
Committee
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT), předseda
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Honzík Jan M., prof. Ing., CSc. (DIFS FIT BUT), člen
Kořenek Jan, doc. Ing., Ph.D. (DCSY FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Citation
PAVELA, Ondřej. Statická analýza v nástroji Facebook Infer zaměřená na analýzu výkonnosti. Brno, 2019. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-10. Supervised by Rogalewicz Adam. Available from: https://www.fit.vut.cz/study/thesis/21919/
BibTeX 
@bachelorsthesis{FITBT21919,
    author = "Ond\v{r}ej Pavela",
    type = "Bachelor's thesis",
    title = "Statick\'{a} anal\'{y}za v n\'{a}stroji Facebook Infer zam\v{e}\v{r}en\'{a} na anal\'{y}zu v\'{y}konnosti",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2019,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/21919/"
}

Theses

Back to top