Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution
المؤلفون المشاركون
Song, Yang
Zhang, Xuzhou
Gong, Yun-Zhan
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2020، العدد 2020 (31 ديسمبر/كانون الأول 2020)، ص ص. 1-12، 12ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2020-05-25
دولة النشر
مصر
عدد الصفحات
12
التخصصات الرئيسية
الملخص EN
This paper sets out to reveal the relationship between code pattern and infeasible paths and gives advices to the selection of infeasible path detection techniques.
Lots of program paths are proved to be infeasible, which leads to imprecision and low efficiency of program analysis.
Detection of infeasible paths is required in many areas of software engineering including test coverage analysis, test case generation, and security vulnerability analysis.
The immediate cause of path infeasibility is the contradiction of path constraints, whose distribution will affect the performance of different program analysis techniques.
But there is a lack of research on the distribution of contradict constraints currently.
We propose a code pattern based on the empirical study of infeasible paths; the statistical result proves the correlation of the pattern with contradict constraints.
We then develop a path feasibility detection method based on backward symbolic execution.
Performance of the proposed technique is evaluated from two aspects: the efficiency of detecting infeasibility paths for specific program element and the improvement of applying the technique on code coverage testing.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Song, Yang& Zhang, Xuzhou& Gong, Yun-Zhan. 2020. Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution. Mathematical Problems in Engineering،Vol. 2020, no. 2020, pp.1-12.
https://search.emarefa.net/detail/BIM-1195057
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Song, Yang…[et al.]. Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution. Mathematical Problems in Engineering No. 2020 (2020), pp.1-12.
https://search.emarefa.net/detail/BIM-1195057
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Song, Yang& Zhang, Xuzhou& Gong, Yun-Zhan. Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution. Mathematical Problems in Engineering. 2020. Vol. 2020, no. 2020, pp.1-12.
https://search.emarefa.net/detail/BIM-1195057
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1195057
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر