搜索结果: 1-4 共查到“计算机软件 Static analysis”相关记录4条 . 查询时间(0.328 秒)
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) ...
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...