The Method for Parallel Approach to Sensitive Point Based on Dynamic Symbolic Execution

Author

Yan Cao ; Qiang Wei ; Qingxian Wang

Author_Institution

Nat. Digital Switching Syst. Eng. &Technol. R&D Center, Zhengzhou, China

fYear

2012

fDate

17-18 Nov. 2012

Firstpage

661

Lastpage

665

Abstract

In order to improve the efficiency of symbolic execution in software vulnerability detection, we propose the sensitive point oriented test method for parallel approach in the paper. Static analysis is used for identification and location of sensitive points. Then based on dynamic symbolic execution, the algorithm of parallel approach to sensitive point is designed, in order to select for the preferential path and realize iterative approach test. Moreover, we present search algorithm of test cases to reuse forward information and reduce communication redundancy. Finally, the experiment results verify the improvement of symbolic execution efficiency and effectiveness of exception detection.

Keywords

iterative methods; parallel processing; program diagnostics; program testing; search problems; security of data; communication redundancy reduction; dynamic symbolic execution; exception detection effectiveness; forward information reusing; iterative approach test; parallel approach; search algorithm; sensitive point identification; sensitive point location; sensitive point oriented test method; software vulnerability detection; static analysis; symbolic execution efficiency; Computational intelligence; Security; parallel symbolic execution; security test; sensitive point oriented;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Intelligence and Security (CIS), 2012 Eighth International Conference on

Conference_Location

Guangzhou

Print_ISBN

978-1-4673-4725-9

Type

conf

DOI

10.1109/CIS.2012.152

Filename

6405922