通过聚类对符号执行进行输入分解

2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT) Pub Date : 2022-11-10 DOI:10.1109/CSIT56902.2022.10000433

R. Bazylevych, Andrii Franko

{"title":"通过聚类对符号执行进行输入分解","authors":"R. Bazylevych, Andrii Franko","doi":"10.1109/CSIT56902.2022.10000433","DOIUrl":null,"url":null,"abstract":"The clusterization approach to a symbolic execution input decomposition was evaluated in the paper. The study uses the Klee engine to demonstrate the effects of input clustering for the console chess game written in the C language. The clusterization algorithm is adapted to the Klee by isolating a chosen cluster from the program code. The effect of different cluster sizes on the coverage, error detection, and execution time is evaluated. The obtained result shows benefits of the clusterization as a decomposition approach and may be used in further research to improve symbolic execution performance.","PeriodicalId":282561,"journal":{"name":"2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT)","volume":"200 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Input decomposition by clusterization for symbolic execution\",\"authors\":\"R. Bazylevych, Andrii Franko\",\"doi\":\"10.1109/CSIT56902.2022.10000433\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The clusterization approach to a symbolic execution input decomposition was evaluated in the paper. The study uses the Klee engine to demonstrate the effects of input clustering for the console chess game written in the C language. The clusterization algorithm is adapted to the Klee by isolating a chosen cluster from the program code. The effect of different cluster sizes on the coverage, error detection, and execution time is evaluated. The obtained result shows benefits of the clusterization as a decomposition approach and may be used in further research to improve symbolic execution performance.\",\"PeriodicalId\":282561,\"journal\":{\"name\":\"2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT)\",\"volume\":\"200 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CSIT56902.2022.10000433\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CSIT56902.2022.10000433","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

对符号执行输入分解的聚类方法进行了研究。该研究使用Klee引擎来演示用C语言编写的控制台国际象棋游戏的输入聚类效果。该聚类算法通过将所选的聚类从程序代码中分离出来而适应于Klee。评估了不同集群大小对覆盖率、错误检测和执行时间的影响。所得结果表明了聚类作为一种分解方法的优点，可用于进一步研究提高符号执行性能。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Input decomposition by clusterization for symbolic execution

The clusterization approach to a symbolic execution input decomposition was evaluated in the paper. The study uses the Klee engine to demonstrate the effects of input clustering for the console chess game written in the C language. The clusterization algorithm is adapted to the Klee by isolating a chosen cluster from the program code. The effect of different cluster sizes on the coverage, error detection, and execution time is evaluated. The obtained result shows benefits of the clusterization as a decomposition approach and may be used in further research to improve symbolic execution performance.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2022 IEEE 17th International Conference on Computer Sciences and Information Technologies (CSIT)

自引率

0.00%

发文量