发布求助
文献互助 智能选刊 最新文献

Int. J. Softw. Informatics最新文献

筛选
英文 中文
A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD 基于STTD的自动驾驶场景元建模方法
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00262
Meng Zhang, Dehui Du, Mingzhuo Zhang, Lei Zhang, Yao Wang, Wentao Zhou
{"title":"A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD","authors":"Meng Zhang, Dehui Du, Mingzhuo Zhang, Lei Zhang, Yao Wang, Wentao Zhou","doi":"10.21655/ijsi.1673-7288.00262","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00262","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"5 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":"126335449","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}
引用次数: 2
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis 基于污点分析的C程序中数组索引越界缺陷的静态检测
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00246
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
{"title":"Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis","authors":"Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li","doi":"10.21655/ijsi.1673-7288.00246","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00246","url":null,"abstract":"During the rapid development of mobile computing, IoT, cloud computing, artificial intelligence, etc, many new programming languages and compilers are emerging. Even so, C/C++ language is still one of the most popular languages. And array is one of the most important data structures of C language. It is necessary to check whether the index is within the boundary of the array when using it to access the element of an array in a program. Otherwise, array index out-of-bounds will happen unexpectedly. When there are array index out-of-bounds defects existing in programs, some serious errors may occur during execution, such as system crash. It is even worse that array index out-of-bounds defects open the doors for attackers to take control of the server and execute arbitrary malicious code by carefully constructing input and intercepting the control flow of the programs. Existing static methods for array boundary checking cannot ∗ 基金项目: 国家重点研发计划(2017YFA0700604); 南京大学优秀博士研究生创新能力提升计划 B; 江苏省研究生科研与实践","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"16 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":"125533406","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
Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service 面向数据流的ROS2数据分发服务建模与分析
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00258
Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang, Zhiping Shi
{"title":"Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service","authors":"Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang, Zhiping Shi","doi":"10.21655/ijsi.1673-7288.00258","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00258","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"11 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":"126066046","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}
引用次数: 1
Experimental Study of Concurrency Control Algorithms in Main-memory Database Systems 内存数据库系统并发控制算法的实验研究
Int. J. Softw. Informatics Pub Date : 1900-01-01 DOI: 10.21655/ijsi.1673-7288.00276
Hong-wei Zhao, Zhanhao Zhao, Wanqing Yang, Wei Lu, Haixiang Li, Xiaoyong Du
{"title":"Experimental Study of Concurrency Control Algorithms in Main-memory Database Systems","authors":"Hong-wei Zhao, Zhanhao Zhao, Wanqing Yang, Wei Lu, Haixiang Li, Xiaoyong Du","doi":"10.21655/ijsi.1673-7288.00276","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00276","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"11 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":"115292949","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
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信