Show simple item record

Consultant
dc.contributor.advisor
Horváth, Gábor
Author
dc.contributor.author
Kovács, Réka Nikolett 
Availability Date
dc.date.accessioned
2018-08-22T12:47:29Z
Availability Date
dc.date.available
2018-08-22T12:47:29Z
Release
dc.date.issued
2018-05-31
uri
dc.identifier.uri
http://hdl.handle.net/10831/38906
Abstract
dc.description.abstract
A programok statikus elemzésére épülő hibakereső eszközök sikere nagyban függ a megjelenített hamis találatok számától. Jelen dolgozat egy új, hibrid módszert vezet be az elemzési pontosságának javítására, ezzel hatékonyan csökkentve a helytelen hibatalálatok számát.hu_HU
Language
dc.language.iso
angolhu_HU
Title
dc.title
Efficient tiered constraint solving in symbolic executionhu_HU
Language
dc.language.rfc3066
eng
Abstract in English
dc.description.abstracteng
The success of error reporting tools bared on static program analysis depends heavily on the number of bogus reports emitted. This thesis devises a new hybrid method to increate the precision of the analysis, efficiently reducing the number of incorrect error reports.hu_HU
Scope
dc.format.page
31hu_HU
Keyword English
dc.subject.en
static analysishu_HU
Title in other languages ​​
dc.title.translated
Hatékony kétlépéses kényszermegoldás a szimbolikus végrehajtásbanhu_HU
Author
dc.contributor.inst
ELTE Informatikai Kar Programozási Nyelvek és Fordítóprogramok Tanszékhu_HU
Keywords
dc.subject.hu
statikus analízishu_HU
Type
dc.type.type
hallgatói dolgozathu_HU
Release Date
dc.description.issuedate
2018-05-31hu_HU
Student's vocational, professional, specialization
dc.description.course
programtervező informatikushu_HU


Files in this item


Efficient tiered constraint solving in symbolic execution
 

This item appears in the following Collection(s)

Show simple item record