Title :
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
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;
Conference_Titel :
Computational Intelligence and Security (CIS), 2012 Eighth International Conference on
Conference_Location :
Guangzhou
Print_ISBN :
978-1-4673-4725-9
DOI :
10.1109/CIS.2012.152
