Concurrent Interprocedural Dataflow Analysis

Detecting 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...

Full description

Bibliographic Details
Main Author: Zou, Di
Other Authors: Bochmann, Gregor
Language:en
Published: Université d'Ottawa / University of Ottawa 2015
Subjects:
Online Access:http://hdl.handle.net/10393/32267
http://dx.doi.org/10.20381/ruor-3921