搜索结果: 1-13 共查到“Static Analysis”相关记录13条 . 查询时间(0.062 秒)
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Small Formulas Large Programs On-line Constraint Simplification Scalable Static Analysis
2016/5/24
Static analysis techniques that represent program states as formulas typically generate a large number of redundant formulas that are incrementally constructed from previous formulas. In addition to q...
Apposcopy: Semantics-Based Detection of Android Malware Through Static Analysis
Android Inter-component Call Graph Taint Analysis
2016/5/24
We present Apposcopy, a new semantics-based approach for identifying a prevalent class of Android malware that steals private user information. Apposcopy incorporates (i) a highlevel language for spec...
Static Analysis Techniques for Predicting the Behavior of Active Database Rules
Static Analysis Techniques Predicting Behavior Active Database Rules
2016/5/24
Methods are given for statically analyzing sets of database production rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique nal database state, and (3) ...
Static program analysis techniques cannot know certain values,such as the value of user input or network state, at analysis time. While such unknown values need to be treated as non-deterministic choi...
Z-Ranking:Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
Z-Ranking Statistical Analysis Static Analysis Approximations
2015/8/7
This paper explores z-ranking, a technique to rank error reports emitted by static program checking analysis tools. Such tools often use approximate analysis schemes, leading to false error reports. T...
Improving Processes Using Static Analysis Techniques
Fault tree analysis Finite state verification Process improvement
2014/12/18
Real-world processes often undergo improvements to meet certain goals, such as coping with changed requirements, eliminating defects, improving the quality of the products, and reducing costs. Identif...
We present CacheAudit, a versatile framework for the automatic, static analysis of cache side channels. CacheAudit takes as input a program binary and a cache configuration, and it derives formal, qua...
Quasi-static Analysis of Thrust-loaded Angular Contact Ball Bearings Part I: Theoretical Formulation
ball bearing quasi-static creepage differential slip
2011/8/5
Ball bearings play an important role in various rotating machineries, but the complicated kinematic and tribological features of ball bearings make many aspects of their operating behaviors still inco...
Quasi-static Analysis of Thrust-loaded Angular Contact Ball Bearings Part II: Results and Discussion
ball bearing quasi-static creepage differential slip
2011/8/5
Ball bearings are widely employed mechanical components characterized by high precision and quality, and usually play important roles in various rotary machines and mechanisms. Many advanced applicati...
Static analysis of ultra-thin beams based on a semi-continuum model
Bending stiffness MEMS/NEMS Relaxation coefficient Semi-continuum model Size-dependence
2012/2/29
A linear semi-continuum model with discrete atomic layers in the thickness direction was developed to investigate the bending behaviors of ultra-thin beams with nanoscale thickness. The theoretical re...
Increase in Risk and Comparative Static Analysis
comparative statics MPST (Mean Preserving Simple Transformation) uncertainty
2009/5/7
In this paper we discuss signing of comparative statics analysis under uncertainty. We define change of risk by a mean preserving simple transformation (abbrev. MPST) of random variables. We show tha...
Static analysis of the cantilever subjected to subtangential follower forces
Nonconservative systems follower forces buckling
2010/9/27
The numerical method for static analysis of the non-uniform cantilever column under distributed subtangential forces is suggested. The boundaries of divergence for tapered cantilever columns subjected...
In this paper we discuss signing of comparative statics analysis under uncertainty. We define change of risk by a mean preserving simple transformation (abbrev. MPST) of random variables. We show that...