Of Massive Static Analysis Data

2013 ◽  
Author(s):  
Aurelien Delaitre ◽  
Vadim Okun ◽  
Elizabeth Fong
Keyword(s):  
Static Analysis ◽  
Analysis Data

scholarly journals Predicting Software Flaws with Low Complexity Models based on Static Analysis Data

2018 ◽  
Vol 3 (2) ◽  
Author(s):  
Paulo Meirelles ◽  
Lucas Kanashiro ◽  
Athos Ribeiro ◽  
David Silva ◽  
Antonio Terceiro
Keyword(s):  
Static Analysis ◽  
Analysis Data ◽  
Low Complexity

The Static Analysis of the Uniqueness of Polymorphism

2013 ◽  
Vol 411-414 ◽  
pp. 425-431
Author(s):  
Yong Min Mu ◽  
Xu Li Zhu ◽  
Meng Ting Liu ◽  
Zhi Hua Zhang
Keyword(s):  
Static Analysis ◽  
Object Oriented ◽  
Program Comprehension ◽  
Analysis Data ◽  
Internal Communication ◽  
Asynchronous Mode ◽  
Java Program ◽  
System Maintenance ◽  
Full Analysis ◽  
Substitution Principle

The existence of the polymorphism brings many changes on the executable paths of the object-oriented program, which makes it difficult to test the internal communication of the system and the interaction between the objects. This paper analyzes the structure feature of the Java program and builds an inheritance tree using the technique of reflection in Java, which guarantees the accuracy of the analysis data. This paper proposes an algorithm to determine the uniqueness based on the full analysis of the Java polymorphic calling states and the Liskov substitution principle. And the algorithm uses the asynchronous mode of high concurrency to increase the efficiency. The result shows the algorithm can determine the uniqueness of polymorphism efficiently and accurately. It can play an important role in the Java program comprehension and the system maintenance.

Application of source code static analysis methods to ensure security of APCS

2021 ◽  
pp. 346-356
Author(s):  
Александр Викторович Кныш ◽  
Дмитрий Александрович Кобзев ◽  
Оксана Николаевна Давиденко ◽  
Сергей Анатольевич Детистов ◽  
Иван Александрович Шечев ◽  
...  
Keyword(s):  
Process Control ◽  
Static Analysis ◽  
Source Code ◽  
Research Work ◽  
Flow Analysis ◽  
Analysis Data ◽  
Control Flow ◽  
Analysis Methods ◽  
Automated Process

В условиях существующего многообразия автоматизированных систем управления технологическими процессами (АСУТП), возрастающих рисков компьютерных инцидентов, обусловленных развитием информационных технологий, неизменно актуальными являются вопросы повышения качества программного обеспечения (ПО) АСУТП. В настоящей статье на примере АСУТП организаций системы «Транснефть» представлена возможность использования методов статического анализа исходного кода ПО с целью обеспечения информационной безопасности АСУТП. Рассмотрены причины низкого качества ПО и подходы к его повышению. Проанализированы методы анализа исходного кода ПО (статический, динамический, интерактивный), сделан вывод о том, что наиболее перспективной является комбинация трех видов статического анализа: сигнатурного анализа, анализа потока управления, анализа потока данных. Указанная комбинация легла в основу методики выявления ошибок, потенциально опасных конструкций, логических бомб и неиспользуемых переменных в ПО АСУТП, разработанной в рамках научно-исследовательской работы «Создание системы анализа исходного кода программного обеспечения автоматизированных систем управления технологическими процессами». Основным достоинством созданной методики является ее инвариантность по отношению к языкам программирования и разновидностям дефектов. При этом общий алгоритм поиска дефектов остается неизменным: меняются только сигнатуры, правила выявления. With the existing variety of automated process control systems (APCS) and the increasing risks of computer incidents caused by the development of information technology, the issues of improving the quality of the APCS software are invariably topical. This article presents the possibility of using the software source code static analysis methods for ensuring the information security of the APCS using the example of Transneft system entities’ APCS. The reasons for the low quality of software and approaches to its improvement are considered. Methods of software source code analysis (static, dynamic, interactive) are analyzed, and it is concluded that the most promising is a combination of three types of static analysis: signature analysis, control flow analysis, data flow analysis. This combination serves as the basis for the methodology of detecting errors, potentially dangerous structures, logic bombs, and unused variables in the APCS software developed as part of the research work entitled “Creation of a System for Analyzing the Source Code of Automated Process Control System Software”. The main advantage of the created methodology is its invariance with respect to programming languages and types of defects. At the same time, the general defect searching algorithm remains unchanged: only signatures and detection rules are subject to change.

LIVING WITH HEPATITIS: THE EFFECT OF INFECTED SUBJECTS ON EVERYDAY LIFE

2020 ◽  
Vol 4 (12) ◽  
Author(s):  
Khaled Hassan
Keyword(s):  
Hepatitis B ◽  
Everyday Life ◽  
Disease Process ◽  
Analysis Data ◽  
Structured Interview ◽  
Lifestyle Changes ◽  
Life Change Events ◽  
Life Change ◽  
The Everyday ◽  
Content Review

To identify changes in the everyday life of hepatitis subjects, we conducted a descriptive, exploratory, and qualitative analysis. Data from 12 hepatitis B and/or C patients were collected in October 2011 through a semi-structured interview and subjected to thematic content review. Most subjects have been diagnosed with hepatitis B. The diagnosis period ranged from less than 6 months to 12 years, and the diagnosis was made predominantly through the donation of blood. Interferon was used in only two patients. The findings were divided into two groups that define the interviewees' feelings and responses, as well as some lifestyle changes. It was concluded that the magnitude of phenomena about the disease process and life with hepatitis must be understood to health professionals. Keywords: Hepatitis; Nursing; Communicable diseases; Diagnosis; Life change events; Nursing care.

ABOUT HEAT CAPACITY OF TITANIUM CARBIDE TiCx

2019 ◽  
pp. 56-66
Author(s):  
I. Khidirov ◽  
V. V. Getmanskiy ◽  
A. S. Parpiev ◽  
Sh. A. Makhmudov
Keyword(s):  
Heat Capacity ◽  
High Temperature ◽  
Titanium Carbide ◽  
Temperature Dependence ◽  
Carbon Concentration ◽  
Room Temperature ◽  
Thermodynamic Characteristics ◽  
Liquid Nitrogen Temperature ◽  
Analysis Data ◽  
Thermal Excitation

This work relates to the field of thermophysical parameters of refractory interstitial alloys. The isochoric heat capacity of cubic titanium carbide TiCx has been calculated within the Debye approximation in the carbon concentration  range x = 0.70–0.97 at room temperature (300 K) and at liquid nitrogen temperature (80 K) through the Debye temperature established on the basis of neutron diffraction analysis data. It has been found out that at room temperature with decrease of carbon concentration the heat capacity significantly increases from 29.40 J/mol·K to 34.20 J/mol·K, and at T = 80 K – from 3.08 J/mol·K to 8.20 J/mol·K. The work analyzes the literature data and gives the results of the evaluation of the high-temperature dependence of the heat capacity СV of the cubic titanium carbide TiC0.97 based on the data of neutron structural analysis. It has been proposed to amend in the Neumann–Kopp formula to describe the high-temperature dependence of the titanium carbide heat capacity. After the amendment, the Neumann–Kopp formula describes the results of well-known experiments on the high-temperature dependence of the heat capacity of the titanium carbide TiCx. The proposed formula takes into account the degree of thermal excitation (a quantized number) that increases in steps with increasing temperature.The results allow us to predict the thermodynamic characteristics of titanium carbide in the temperature range of 300–3000 K and can be useful for materials scientists.

Sign in / Sign up

Export Citation Format

Share Document