How to find and fix software vulnerabilities with coverity static analysis

2016 ◽  
Author(s):  
Bill Baloglu
Keyword(s):  
Static Analysis ◽  
Software Vulnerabilities

Graphical Modeling of Security Goals and Software Vulnerabilities

2015 ◽  
pp. 1-31
Author(s):  
David Byers ◽  
Nahid Shahmehri
Keyword(s):  
Software Development ◽  
Static Analysis ◽  
Language Models ◽  
Modeling Language ◽  
Modeling Languages ◽  
Graphical Modeling ◽  
Software Vulnerabilities ◽  
Attack Trees ◽  
Definition Of ◽  
Sheer Number

Security has become recognized as a critical aspect of software development, leading to the development of various security-enhancing techniques, many of which use some kind of custom modeling language. Models in different languages cannot readily be related to each other, which is an obstacle to using several techniques together. The sheer number of languages is, in itself, also an obstacle to adoption by developers. The authors have developed a modeling language that can be used in place of four existing modeling languages: attack trees, vulnerability cause graphs, security activity graphs, and security goal indicator trees. Models in the new language can be transformed to and from the earlier language, and a precise definition of model semantics enables an even wider range of applications, such as testing and static analysis. This chapter explores this new language.

Modeling Security Goals and Software Vulnerabilities

2012 ◽  
pp. 171-198 ◽  
Author(s):  
David Byers ◽  
Nahid Shahmehri
Keyword(s):  
Static Analysis ◽  
Data Model ◽  
Modeling Language ◽  
Modeling Languages ◽  
Software Vulnerabilities ◽  
Attack Trees ◽  
Analysis Models

We have developed a modeling language that can be used in place of four existing modeling languages: attack trees, vulnerability cause graphs, security activity graphs, and security goal indicator trees. Our language is more precise than earlier languages, which allows models to be used in automated applications such as testing and static analysis. Models in the new language can be transformed to and from earlier languages. We also present a data model that allows users to relate different kinds of models and model elements to each other and to core security knowledge.

Static Analysis of Functionally Graded Cantilever Beam Using Finite Element Method

2009 ◽  
Vol 4 (4) ◽  
pp. 54-56
Author(s):  
N. V. Ramesh Maganti ◽  
◽  
Mohan Rao N. ◽  
Keyword(s):  
Finite Element Method ◽  
Finite Element ◽  
Static Analysis ◽  
Cantilever Beam ◽  
Functionally Graded ◽  
Element Method

Effects of openings on the seismic behavior and performance level of concrete shear walls

2019 ◽  
Author(s):  
Hossein Alimohammadi ◽  
Mostafa Dalvi Esfahani ◽  
Mohammadali Lotfollahi Yaghin
Keyword(s):  
Static Analysis ◽  
Cross Section ◽  
Seismic Behavior ◽  
Shear Walls ◽  
Shear Wall ◽  
Constant Cross Section ◽  
Added Resistance ◽  
Different Shapes ◽  
And Performance ◽  
Abaqus Software

In this study, the seismic behavior of the concrete shear wall considering the opening with different shapes and constant cross-section has been studied, and for this purpose, several shear walls are placed under the increasingly non-linear static analysis (Pushover). These case studies modeled in 3D Abaqus Software, and the results of the ductility coefficient, hardness, energy absorption, added resistance, the final shape, and the final resistance are compared to shear walls without opening.

Static Analysis Based Correctness Verification for Mandatory Access Control Framework

2009 ◽  
Vol 32 (4) ◽  
pp. 730-739 ◽  
Author(s):  
Xin-Song WU ◽  
Zhou-Yi ZHOU ◽  
Ye-Ping HE ◽  
Hong-Liang LIANG ◽  
Chun-Yang YUAN
Keyword(s):  
Access Control ◽  
Static Analysis ◽  
Mandatory Access Control ◽  
Control Framework

S6801 User's Guide. Version 1.0. Static Analysis of Plane Frame and Truss Structures

1989 ◽  
Author(s):  
Frank R. Johnson
Keyword(s):  
Static Analysis ◽  
Truss Structures ◽  
Plane Frame

Regional and industry characteristics of trade and economic cooperation of the EEU countries

2018 ◽  
Vol 35 (3) ◽  
pp. 140-148
Author(s):  
P. M. Taranov ◽  
A. N. Gerasimov
Keyword(s):  
International Trade ◽  
Static Analysis ◽  
Economic Cooperation ◽  
Regional Structure ◽  
Trade Study ◽  
Structure Of Trade

In the paper, trends and patterns of development of trade and economic cooperation of the EEU countries are analyzed. The authors, based on the economic-static analysis of international trade, study the features of the transformation of the commodity and regional structure of trade. Conclusions are drawn about the reasons for the existing features and trends in the development of intraregional economic cooperation.

Static Analysis

1993 ◽  
Keyword(s):  
Static Analysis
Sign in / Sign up

Export Citation Format

Share Document