In this paper, we propose a novel buffer overflow detection approach by performing the progressive data-flow evaluation on programs with their super data-flow graphs, which are expected to cover all ...

Abstract: In the paper, we analyze the shortages of service-oriented analysis and design (SOAD) methodologies, and then review the features of data flow diagram as a kind of requirement analysis ...