Safety-Oriented Features of Source Code Analysis Tools

机译：源代码分析工具的安全功能

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

According to Military Standard 882E, Standard Practice for System Safety (MIL-STD 882E), source code analysis is required when the risk caused by software (SW) is assessed as HIGH. While source code analysis is very effective in detecting errors not found by other means, it is also very expensive and time-consuming when conducted by human analysts. Manual code analysis is also subject to human error, especially when there is a tight deadline or when the error is not blatantly obvious. An automated code analysis tool would minimize time and costs, while improving quality of safety analysis. However, identifying tool(s) from numerous available Commercial-Off-The-Shelf (COTS) code analysis tools that can support the code analysis of safety tasks requires a logical approach. A logical approach can help to identify which SW defect checks can be used in SW safety analysis. This paper will discuss that approach.

机译：根据军事标准882E，系统安全标准做法（MIL-STD 882E），当由软件（SW）的风险评估为高电平时，需要源代码分析。虽然源代码分析非常有效地检测到其他方式未发现的错误，但在人类分析师进行时也非常昂贵且耗时。手动代码分析也受到人为错误的影响，特别是当截止日期紧张或误差并不明显时。自动化代码分析工具将最小化时间和成本，同时提高安全性分析质量。但是，识别来自众多可用商业现货（COTS）代码分析工具的工具，可以支持安全任务的代码分析需要逻辑方法。逻辑方法可以帮助识别SW安全分析中可以使用哪些SW缺陷检查。本文将讨论这种方法。

著录项

来源
《International System Safety Conference》|2015年||共5页
会议地点
作者
Mei Chu Li; Nga Pham; Briana McCall;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类泡沫塑料;
关键词
safety; source code analysis; software criticality; safety significant function; weapon systems;

机译：安全;源代码分析;软件临界;安全性重大功能;武器系统;

相似文献

外文文献
中文文献
专利

1. Source code analysis system using code clone detection tool [J] . Yasushi Ueda, Toshihiro Kamiya, Shinji Kusumoto, 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第240期

机译：使用代码克隆检测工具的源代码分析系统
2. Source code analysis system using code clone detection tool [J] . Yasushi Ueda, Toshihiro Kamiya, Shinji Kusumoto, 電子情報通信学会技術研究報告. ソフトウェアサイエンス. Software Science . 2001,第240期

机译：使用代码克隆检测工具的源代码分析系统
3. Evaluation of an autoencoder as a feature extraction tool for near-infrared spectroscopic discriminant analysis [J] . Jo Seeun, Sohng Woosuk, Lee Hyeseon, Food Chemistry . 2020,第Nova30期

机译：评估AutoEncoder作为近红外光谱判别分析的特征提取工具
4. Safety-Oriented Features of Source Code Analysis Tools [C] . Mei Chu Li, Nga Pham, Briana McCall International System Safety Conference . 2015

机译：源代码分析工具的安全性功能
5. Combining information retrieval modules and structural information for source code bug localization and feature location. [D] . Shao, Peng. 2011

机译：结合信息检索模块和结构信息，以进行源代码错误定位和功能定位。
6. A Novel Order Analysis and Stacked Sparse Auto-Encoder Feature Learning Method for Milling Tool Wear Condition Monitoring [O] . Jiayu Ou, Hongkun Li, Gangjin Huang, 2020

机译：一种新颖的轧制工具磨损条件监控堆积稀疏自动编码器特征学习方法
7. : "This paper deals with the functionality of the flaked stone assemblages from several Neolithic sites of the NE of the Iberian Peninsula. The chronological framework ranges from the mid-6th to the mid-4th millennium cal. BCE, which corresponds to the Early and Middle Neolithic. This long period ranges from the arrival of the first farming communities in the Iberian Peninsula, around 5600-5500 cal. BCE, to 3600-3500 cal. BCE, two millennia later, when Neolithic communities had stably occupied most of the available territory, from the mountainous areas of the Pyrenees to the coastal areas of the Mediterranean.In this context, the NE of the Iberian Peninsula is one of the areas where a major number of use-wear analyses have been carried out, especially for what concerns the Neolithic period. This is mainly due to the interest shown by the directors of the excavations and by the Spanish use-wear specialists as well; both participated and cooperated in order to enlarge the number of contexts studied, making the NE of the Iberian Peninsula one of the areas of Europe with the largest number of ‘functional studies’. As a result, today we have a reliable picture of the type of lithic tools used by the first farming groups, how they were used, and which needs they were satisfying.The methodology employed for this type of analysis is today broadly shared by most use-wear specialists. A stereoscopic microscope is used together with a reflected-light microscope for the analysis of the archaeological specimens. Afterwards, the observed use-wear traces are compared with the traces from experimental tools. This study primarily made use of the tools preserved at the ‘Traceoteque’ of the Institución Milà y Fontanals of the CSIC of Barcelona.This paper presents the results obtained for the different types of analysed sites and the relative lithic assemblages. In this way, tools from different contexts are compared: open-air sites, caves and rock-shelters, pit-sites, burials, and mining sites. Such a diversity of contexts allowed for the exploration of the existence of recurrences and differences in the functionality of the lithic tools from one site to another. The results obtained have also provided information on some aspects related to the economic processes carried out at the different sites, caves, rock-shelters and open-air contexts. It has been possible to gain fresh data on the types of tasks carried out and their relative importance for each site, their relation with the geographical and environmental context and the natural resources available there. In addition, analysing tools recovered from burials – mainly individual inhumations – provided information on the relationships between the buried individuals and the working tools, in particular exploring the relationships between sex and age patterns and the types of tools deposited as goods.In conclusion, use-wear analysis allowed for the exploration of a variety of issues; from technical aspects related to the production and management of the lithic resources to social aspects related to the subsistence activities and the individuals that carried them out." [O] . Gibaja Bao, Juan Francisco, Mazzucco, Niccolo 2015

机译：：“本文研究了伊比利亚半岛东北部几个新石器时代遗址的片状石材组合的功能。时间框架从公元前6世纪中叶到4世纪中叶，分别对应于早期和早期。新石器时代中期，这段时间的长短是从伊比利亚半岛的第一个农业社区到来，大约在公元前5600-5500 cal，到了两千年后的3600-3500 BCE，当时新石器时代的社区稳定地占据了大部分可用土地。从比利牛斯山脉山区到地中海沿岸地区。在这种情况下，伊比利亚半岛东北部是进行过大量使用磨损分析的地区之一，尤其是在关注方面新石器时代，这主要是由于发掘负责人和西班牙使用服装专家表现出的浓厚兴趣；他们参与和合作以扩大孔蒂的数量xts进行了研究，使伊比利亚半岛的NE成为“功能研究”数量最多的欧洲地区之一。结果，今天我们可以可靠地了解第一批耕作小组使用的石器工具的类型，使用方法以及它们满足的需求。今天，大多数使用方法广泛共享用于这种类型的分析的方法穿专家。立体显微镜与反射光显微镜一起用于分析考古样本。然后，将观察到的使用磨损痕迹与实验工具的痕迹进行比较。这项研究主要利用了巴塞罗那CSIC的米拉·丰塔纳尔研究所的“ Traceoteque”中保存的工具。本文介绍了针对不同类型的分析地点和相对石器组合所获得的结果。通过这种方式，可以比较来自不同环境的工具：露天场所，洞穴和岩石避难所，露天场所，埋葬场所和采矿场所。如此多样的上下文允许探索重复性的存在以及从一个站点到另一个站点的石器工具的功能差异。所获得的结果还提供了与在不同地点，洞穴，避难所和露天环境中进行的经济过程有关的某些方面的信息。可以获得有关所执行任务的类型及其对每个站点的相对重要性，它们与地理和环境环境以及那里可用自然资源的关系的新数据。此外，对从墓葬中回收的工具（主要是个人遗体）进行分析，可提供有关被掩埋的个体与工作工具之间关系的信息，尤其是探索性别与年龄模式之间的关系以及作为商品存放的工具的类型。磨损分析允许探索各种问题；从与石器资源的生产和管理有关的技术方面到与自给活动及其实施者有关的社会方面。”
8. Evaluation of CERT Secure Coding Rules through Integration with Source Code Analysis Tools; Final rept [R] . Dewhurst, S., Dougherty, C., Ito, Y., 2008

机译：通过与源代码分析工具集成评估CERT安全编码规则;最终的评论

Safety-Oriented Features of Source Code Analysis Tools

摘要

著录项

相似文献

相关主题

期刊订阅