IEEE International Conference on Networking, Architecture and Storages最新文献

筛选

英文中文

An FPGA-based Random Functional Verification Method for Cache 一种基于fpga的缓存随机功能验证方法

IEEE International Conference on Networking, Architecture and Storages Pub Date : 1900-01-01 DOI: 10.1109/NAS.2013.44

Tiejun Li, Jianmin Zhang, Sikun Li

引用次数: 3

Application of Residuation Theory in Network Calculus 余值理论在网络微积分中的应用

IEEE International Conference on Networking, Architecture and Storages Pub Date : 1900-01-01 DOI: 10.1109/NAS.2009.38

Baohua Fan, He-ying Zhang, Wenhua Dou

引用次数: 0

Symbolic Execution of Network Software Based on Unit Testing 基于单元测试的网络软件符号执行

IEEE International Conference on Networking, Architecture and Storages Pub Date : 1900-01-01 DOI: 10.1109/NAS.2014.28

Lin Zhou, Fei Liu, Shuitao Gan, Xiaojun Qin, Wenbao Han

{"title":"Symbolic Execution of Network Software Based on Unit Testing","authors":"Lin Zhou, Fei Liu, Shuitao Gan, Xiaojun Qin, Wenbao Han","doi":"10.1109/NAS.2014.28","DOIUrl":"https://doi.org/10.1109/NAS.2014.28","url":null,"abstract":"Complex interactions and the distributed nature of network software make automated testing and debugging before deployment a necessity. Symbolic execution is a systematic program analysis technique that has become increasingly popular in network software testing, due to algorithmic advances and availability of computational power and constraint solving technology. However, A main challenge is to detect determining symbolic values for program variables related to library, loops and cryptograph algorithms which are widely used in network software. In this paper, we propose a unit symbolic analysis, a hybrid technique that enables fully automatic symbolic analysis even for the traditionally challenging code. The novelties of this work are threefold: 1) we flexibly employs static symbolic execution to amplify the effect of dynamic symbolic execution on demand, 2) dynamic executions and regression analysis are performed on the unit tests constructed from the code segments to infer program semantics needed by static analysis, and 3) symbolic analysis is utilized to tackle loop structure and cryptograph algorithm module. We developed the Net Sym framework, consisting of a static component that performs symbolic analysis and partitions a program, a dynamic analysis that synthesizes unit tests and automatically infers symbolic values for program variables, and a protocol that enables static and dynamic analyses to be run interactively and concurrently. Our experimental results show that by handling cryptograph algorithms, loops and library calls that a traditional symbolic analysis cannot process, unit symbolic analysis detects more vulnerabilities in less time. The technique is scalable for real-world programs such as GHttpd, SQL Server and GDI.","PeriodicalId":298759,"journal":{"name":"IEEE International Conference on Networking, Architecture and Storages","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117116118","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

首页上一页