Avalanche: adaptation of parallel and distributed computing for dynamic analysis to improve performance of defect detection
Abstract
This paper focuses on dynamic program analysis optimization through the use of distributed computing scheme and parallel computing for checking satisfiability of Boolean constraint sets. An overview of results obtained from applying the practical implementation of parallel and distributed schemes of dynamic analysis to a number of open-source applications is given. The paper presents a detailed evaluation of the increased efficiency of dynamic analysis achieved while applying developed techniques. Finally, the authors propose a number of possible directions for future work.
About the Authors
M. K. Ermakov
ISP RAS, Moscow
Russian Federation
Russian Federation
A. Y. Gerasimov
ISP RAS, Moscow
Russian Federation
Russian Federation
References
1. I. K. Isaev, D. V. Sidorov. The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs. Programming and Computing Software. Volume 36 Issue 4, July 2010. pp. 225-236. doi:10.1134/S0361768810040055
2. Nethercote N., Seward J. Valgrind: A framework for heavyweight dynamic binary instrumentation. Proceedings of ACM SIGPLAN conference on Programming language design and implementation, 2007. pp. 89-100. doi: 10.1145/1250734.1250746
3. V. Ganesh and D. Dill. A decision procedure for bit-vectors and arrays. Proceedings of the 19th international conference on Computer aided verification, 2007. pp. 519-531
4. S. P. Vartanov, D. V. Sidorov. Optimizatsiya zadachi proverki vypolnimosti bulevskikh ogranichenij pri pomoshhi kehshirovaniya promezhutochnykh rezul'tatov. [Optimization of Boolean satisfiability solver by caching intermediate results]. Trudy ISP RАN [The Proceedings of ISP RAS], 2012, vol. 22, pp. 281-292 (in Russian).
5.
Review
For citations:
Ermakov M.K., Gerasimov A.Y. Avalanche: adaptation of parallel and distributed computing for dynamic analysis to improve performance of defect detection. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2013;25:29-38. (In Russ.)
Email this article 