Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation
-
Published:2018-09
Issue:5
Volume:44
Page:316-323
-
ISSN:0361-7688
-
Container-title:Programming and Computer Software
-
language:en
-
Short-container-title:Program Comput Soft
Publisher
Pleiades Publishing Ltd
Reference47 articles.
1. Ayewah, N., Hovemeyer, D., Morgenthaler, J.D., Penix, J. and Pugh, W., Experiences using static analysis to find bugs, IEEE Software, 2008, vol. 25, no. 5, pp. 22–29. 2. Calcagno, C., Distefano, D., Dubreil, J., Gabi, D., Hooimeijer, P., Luca, M., O’Hearn, P.W., Papakonstantinou, I., Purbrick, J., and Rodriguez, D., Moving fast with software verification, Lect. Notes Comput. Sci., 2015, vol. 9058, pp. 3–11. 3. Calcagno, C. and Distefano, D., Infer: An automatic program verifier for memory safety of C programs, Lect. Notes Comput. Sci., 2011, vol. 6617, pp. 459–465. 4. GOST R 56939-2016: Information protection. Secure software development. General requirements. – National Standard of Russian Federation, 2016 5. Turing, A.M., On computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc., 1937, vol. s2–42, no. 1, pp. 230–265.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
|
|