Concurrent Interprocedural Dataflow Analysis

FieldValue
dc.contributor.authorZou, Di
dc.date.accessioned2015-04-24T13:40:48Z
dc.date.available2015-04-24T13:40:48Z
dc.date.created2015
dc.date.issued2015
dc.identifier.urihttp://hdl.handle.net/10393/32267
dc.identifier.urihttp://dx.doi.org/10.20381/ruor-3921
dc.description.abstractDetecting bugs plays a significant role in software development. Bugs may lead to unexpected behaviors. An attacker can gain control over a system by exploiting its bugs. Usually, an attack can be triggered by user's input. Unchecked user input can cause serious problems in a program. In order to prevent this situation, user's input must be checked carefully before it can be used. To provide the information of where user's input can affect a program, the taint dataflow analysis is being considered. In this thesis, we introduce a concurrent solution to perform static taint dataflow analysis. The goal is to find the statements of the program dependent on user input and inform the developers to validate those. We provides a method for the static concurrent taint dataflow analysis based on sequential static taint dataflow analysis. Static dataflow analysis is time consuming. This research addresses the challenge of efficiently analyzing the dataflow. Our experimental shows that our concurrent taint dataflow analysis improves the speed of analyzing complex programs.
dc.language.isoen
dc.publisherUniversité d'Ottawa / University of Ottawa
dc.subjectTaint analysis
dc.subjectStatic analysis
dc.subjectInterprocedural anlaysis
dc.titleConcurrent Interprocedural Dataflow Analysis
dc.typeThesis
dc.faculty.departmentInformatique / Computer Science
dc.contributor.supervisorBochmann, Gregor
dc.contributor.supervisorJourdan, Guy-Vincent
dc.degree.nameMSc
dc.degree.levelmasters
dc.degree.disciplineGénie / Engineering
thesis.degree.nameMSc
thesis.degree.levelMasters
thesis.degree.disciplineGénie / Engineering
uottawa.departmentInformatique / Computer Science
CollectionThèses, 2011 - // Theses, 2011 -

Files