首页> 外文OA文献 >Static Analysis Technique for Searching Natural Semantic Defects of Program Objects and Software Implementation of This Approach Based on the LLVM Compiler Infrastructure and the Clang Frontend

【2h】

Static Analysis Technique for Searching Natural Semantic Defects of Program Objects and Software Implementation of This Approach Based on the LLVM Compiler Infrastructure and the Clang Frontend

机译：基于LLVM编译器基础架构和Clang前端，搜索程序对象的自然语义缺陷的静态分析技术和这种方法的软件实现

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Victorov Dmitry S.; Zhidkov Evgeny N.; Zhidkov Roman E.;
展开▼
作者单位

展开▼
年度 2018
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Finding key classes in object-oriented software systems by techniques based on static analysis [J] . Sora Ioana, Chirila Ciprian-Bogdan Information and software technology . 2019,第Deca期

机译：通过基于静态分析的技术在面向对象的软件系统中查找关键类
2. Predicting Software Defects for Object-Oriented Software Using Search-based Techniques [J] . Ruchika Malhotra, Juhi Jain International journal of software engineering and knowledge engineering . 2021,第2期

机译：使用基于搜索的技术预测面向对象软件的软件缺陷
3. Infrastructure based on supernodes and software agents for the implementation of energy markets in demand-response programs [J] . Lopez-Rodriguez I., Hernandez-Tejera M. Applied Energy . 2015,第NOVa15期

机译：基于超节点和软件代理的基础架构，用于在需求响应计划中实施能源市场
4. LLVM Based Approach to Static Analysis of C Programs in SAPFOR [C] . Nikita Kataev 2018 Ivannikov Memorial Workshop . 2018

机译：基于LLVM的SAPFOR C程序静态分析方法
5. Methodology of dynamic compiler option selection based on static program analysis: Implementation and evaluation. [D] . Park, Eun Jung. 2007

机译：基于静态程序分析的动态编译器选项选择方法：实现和评估。
6. Effectiveness Evaluation of Static Analysis for Searching Natural Semantic Defects of Program Objects [O] . Victorov Dmitry S., Zhidkov Roman E. 2019

机译：节目对象自然语义缺陷静态分析的有效评价
7. Engineering Approach to Atomic Transaction Verification: Use of a Simple Object211 Model to Achieve Semantics-Based Reasoning at Compile-Time [R] . Spelt, D., Even, S. 1998

机译：原子事务验证的工程方法：使用简单的Object211模型在编译时实现基于语义的推理

Static Analysis Technique for Searching Natural Semantic Defects of Program Objects and Software Implementation of This Approach Based on the LLVM Compiler Infrastructure and the Clang Frontend

著录项

引文网络

相似文献

相关主题

期刊订阅