Predicting Buffer Overflow Vulnerabilities through Mining Light-Weight Static Code Attributes

2014 ◽  
Author(s):  
Bindu Madhavi Padmanabhuni ◽  
Hee Beng Kuan Tan
Keyword(s):  
Buffer Overflow ◽  
Light Weight

scholarly journals ELAID: detecting integer-Overflow-to-Buffer-Overflow vulnerabilities by light-weight and accurate static analysis

Cybersecurity ◽  
2020 ◽  
Vol 3 (1) ◽  
Author(s):  
Lili Xu ◽  
Mingjie Xu ◽  
Feng Li ◽  
Wei Huo
Keyword(s):  
Static Analysis ◽  
Software Security ◽  
False Positives ◽  
Buffer Overflow ◽  
Prototype System ◽  
Light Weight ◽  
Analysis Framework ◽  
Smt Solver ◽  
Call Graph ◽  
Weight Method

Abstract The Integer-Overflow-to-Buffer-Overflow (IO2BO) vulnerability has been widely exploited by attackers to cause severe damages to computer systems. Automatically identifying this kind of vulnerability is critical for software security. Despite many works have been done to mitigate integer overflow, existing tools either report large number of false positives or introduce unacceptable time consumption. To address this problem, in this article we present a static analysis framework. It first constructs an inter-procedural call graph and utilizes taint analysis to accurately identify potential IO2BO vulnerabilities. Then it uses a light-weight method to further filter out false positives. Specifically, it generates constraints representing the conditions under which a potential IO2BO vulnerability can be triggered, and feeds the constraints to SMT solver to decide their satisfiability. We have implemented a prototype system ELAID based on LLVM, and evaluated it on 228 programs of the NIST’s SAMATE Juliet test suite and 14 known IO2BO vulnerabilities in real world. The experiment results show that our system can effectively and efficiently detect all known IO2BO vulnerabilities.

Microstructure of an extruded rapidly solidified Al-8Fe-2Mo alloy

1986 ◽  
Vol 44 ◽  
pp. 548-549
Author(s):  
W. T. Donlon ◽  
J. E. Allison ◽  
S. Shinozaki
Keyword(s):  
Electron Microscopy ◽  
Automotive Industry ◽  
Fuel Economy ◽  
High Strength ◽  
Al Alloys ◽  
Light Weight ◽  
Thin Sections ◽  
Strength And Durability ◽  
Rapidly Solidified ◽  
Whitney Aircraft

Light weight materials which possess high strength and durability are being utilized by the automotive industry to increase fuel economy. Rapidly solidified (RS) Al alloys are currently being extensively studied for this purpose. In this investigation the microstructure of an extruded Al-8Fe-2Mo alloy, produced by Pratt & Whitney Aircraft, Goverment Products Div. was examined in a JE0L 2000FX AEM. Both electropolished thin sections, and extraction replicas were examined to characterize this material. The consolidation procedure for producing this material included a 9:1 extrusion at 340°C followed by a 16:1 extrusion at 400°C, utilizing RS powders which have also been characterized utilizing electron microscopy.

Light-Weight Tire Concept

1996 ◽  
Vol 24 (2) ◽  
pp. 119-131
Author(s):  
F. Lux ◽  
H. Stumpf
Keyword(s):  
Fuel Consumption ◽  
Automobile Industry ◽  
Rolling Resistance ◽  
Performance Standards ◽  
Light Weight ◽  
Production Methods ◽  
Lower Fuel Consumption ◽  
Material Resources ◽  
The Past ◽  
Tire Production

Abstract Current demands by the consumer, the automobile industry, and the environment have determined the basis of this investigation. In the past, the requirements—ever faster, ever sportier—were accepted as decisive parameters for the development of our study. In the future, rational and safety-related tire characteristics as well as environmental consciousness will increase, whereas purely performance-related parameters will diminish in their importance. Through our light-weight tire project, we have paved the way for future tire generations. The first priority is the minimal use of material resources; this means a reduction of materials and energy in tire production by using advanced design and production methods without sacrificing performance standards. This benefits the consumer—the final judge of all of our activities—by considerably reducing the rolling resistance, leading to lower fuel consumption. Further design targets include the improvement of rolling behavior and increased comfort by reducing tire weight, and therefore a reduction in unsprung masses on the vehicle.

Electrolytic analysis with platinum electrodes of light weight

1912 ◽  
Vol s4-34 (200) ◽  
pp. 107-112
Author(s):  
F. A. Gooch ◽  
W. L. Burdick
Keyword(s):  
Light Weight ◽  
Platinum Electrodes

Determinants Considered by Consumers for Brand Selection - with Reference to Laptops in Albania

2014 ◽  
Vol 4 (2) ◽  
Author(s):  
Margret Plloçi ◽  
Macit Koc
Keyword(s):  
Primary Data ◽  
Battery Life ◽  
Decision Making Process ◽  
Light Weight ◽  
Sources Of Information ◽  
Technical Features ◽  
The Relationship ◽  
The City ◽  
Different Sources ◽  
Core Features

Abstract Purpose of the article There is relatively a big number of brands in the market of laptops nowadays in Albania. It appears that the number of brands offered in this market could easily be compared to the number of brands in Europe and even broader. The purpose of this study is to help Albanian vendors understand the criteria that consumers take into consideration when they make the decision to purchase a laptop. Methodology/methods The research is based on the collection and the analyses of the primary data collected through interviews to people like managers or employees who work in the sector of trading laptops or in businesses like education where laptops are broadly used recently; then a survey is done through a questionnaire delivered to customers who already own and use a laptop and customers who are potential buyers of laptops. Scientific aim The aim of the research is to identify if there are any relationships between the demographics of the consumers and the criteria of buying a laptop; on the other hand, to find out how is the relationship between the demographics and the features of different brands. Findings The study found out that Albanian consumers have good knowledge of laptops and their brands, and they use different sources of information for making their decisions in buying a laptop; it is found that there are relationships between some demographics like age or gender and the appraisal for some attributes of the laptops like price, design and high graphics card; it is also found that some technical features and other attributes of using laptops are some of the determinants that influence the laptops’ purchases. Conclusions It is realized that one of the most important demographics of the consumers is their age. Some core features like RAM, ROM, battery life, processor quality, light weight or attributes that are connected to the purposes of using the laptop computers like practicality and mobility in using them, work and studying processes, quick access to the internet are determinant factors which influence the decision making process of purchasing a laptop. I would recommend that future researches be focused also on the relationship between the customers’ income and their preferred brand or ranking brands according to the customers’ preferences. Such studies should also extend outside the city of Tirana.

Development of a low-power xenon ion thruster for light-weight satellites

1996 ◽  
Author(s):  
O. Gorshkov ◽  
V. Muravlev ◽  
V. Grigor'yan
Keyword(s):  
Low Power ◽  
Light Weight ◽  
Ion Thruster
Sign in / Sign up

Export Citation Format

Share Document