支持增量校验的软件源代码安全审计算法

2022 IEEE 7th International Conference on Smart Cloud (SmartCloud) Pub Date : 2022-10-01 DOI:10.1109/SmartCloud55982.2022.00015

Xiuli Li, Guoshi Wang, Chuping Wang, Yan-Fang Qin, Ning Wang

{"title":"支持增量校验的软件源代码安全审计算法","authors":"Xiuli Li, Guoshi Wang, Chuping Wang, Yan-Fang Qin, Ning Wang","doi":"10.1109/SmartCloud55982.2022.00015","DOIUrl":null,"url":null,"abstract":"Source code security audit is an effective technique to deal with security vulnerabilities and software bugs. As one kind of white-box testing approaches, it can effectively help developers eliminate defects in the code. However, it suffers from performance issues. In this paper, we propose an incremental checking mechanism which enables fast source code security audits. And we conduct comprehensive experiments to verify the effectiveness of our approach.","PeriodicalId":104366,"journal":{"name":"2022 IEEE 7th International Conference on Smart Cloud (SmartCloud)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Software Source Code Security Audit Algorithm Supporting Incremental Checking\",\"authors\":\"Xiuli Li, Guoshi Wang, Chuping Wang, Yan-Fang Qin, Ning Wang\",\"doi\":\"10.1109/SmartCloud55982.2022.00015\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Source code security audit is an effective technique to deal with security vulnerabilities and software bugs. As one kind of white-box testing approaches, it can effectively help developers eliminate defects in the code. However, it suffers from performance issues. In this paper, we propose an incremental checking mechanism which enables fast source code security audits. And we conduct comprehensive experiments to verify the effectiveness of our approach.\",\"PeriodicalId\":104366,\"journal\":{\"name\":\"2022 IEEE 7th International Conference on Smart Cloud (SmartCloud)\",\"volume\":\"30 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 IEEE 7th International Conference on Smart Cloud (SmartCloud)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SmartCloud55982.2022.00015\",\"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 7th International Conference on Smart Cloud (SmartCloud)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SmartCloud55982.2022.00015","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

源代码安全审计是处理安全漏洞和软件缺陷的有效技术。作为一种白盒测试方法，它可以有效地帮助开发人员消除代码中的缺陷。但是，它存在性能问题。在本文中，我们提出了一种增量检查机制，可以实现快速的源代码安全审计。我们进行了全面的实验来验证我们的方法的有效性。

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

查看原文本刊更多论文

Software Source Code Security Audit Algorithm Supporting Incremental Checking

Source code security audit is an effective technique to deal with security vulnerabilities and software bugs. As one kind of white-box testing approaches, it can effectively help developers eliminate defects in the code. However, it suffers from performance issues. In this paper, we propose an incremental checking mechanism which enables fast source code security audits. And we conduct comprehensive experiments to verify the effectiveness of our approach.

求助全文

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

来源期刊

2022 IEEE 7th International Conference on Smart Cloud (SmartCloud)

自引率

0.00%

发文量