Keyword : Nop-shadows Analysis


Optimization Methods for Nop-Shadows Typestate Analysis
Chengsong WANG Xiaoguang MAO Yan LEI Peng ZHANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/06/01
Vol. E98-D  No. 6 ; pp. 1213-1227
Type of Manuscript:  PAPER
Category: Dependable Computing
Keyword: 
typestate analysisruntime monitoringstatic analysisNop-shadows Analysisdata-flow analysis
 Summary | Full Text:PDF(1.2MB)