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...
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 |
Similar Items
-
Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns
by: Honglei Zhu, et al.
Published: (2019-01-01) -
An interprocedural framework for data redistributions in distributed memory machines
by: Krishnamurthy, Sudha
Published: (1996) -
Combining Conditional Constant Propagation And Interprocedural Alias Analysis
by: Nandakumar, K S
Published: (2012) -
Implementation of inter-unit analysis for C and C++ languages in a source-based static code analyzer
by: A. V. Sidorin
Published: (2015-01-01) -
A new modification of summary-based analysis method for large software system testing
by: A. V. Sidorin, et al.
Published: (2015-01-01)