软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2008年
10期
2550-2561
,共12页
静态分析%API一致性检验%等值分析%指针分析
靜態分析%API一緻性檢驗%等值分析%指針分析
정태분석%API일치성검험%등치분석%지침분석
在实际中对C代码进行API一致性检验的过程中发现,API(application programming interface)规范大都涉及以数值为论域的时序性质,与在静态分析过程中所能获取的以变量符号为占位符的独立语义之间存在分析上的缺口.在仔细考察C代码变量符号间等值关系的基础上,给出基于值等价类空间的等值分析方法.这种流相关的分析方法不仅可以在API一致性检验的过程中维护变量符号域和数值域之间的对应关系,而且由于能够屏蔽等值关系以外的其他信息,还可以为后继分析的优化提供有力的支持.
在實際中對C代碼進行API一緻性檢驗的過程中髮現,API(application programming interface)規範大都涉及以數值為論域的時序性質,與在靜態分析過程中所能穫取的以變量符號為佔位符的獨立語義之間存在分析上的缺口.在仔細攷察C代碼變量符號間等值關繫的基礎上,給齣基于值等價類空間的等值分析方法.這種流相關的分析方法不僅可以在API一緻性檢驗的過程中維護變量符號域和數值域之間的對應關繫,而且由于能夠屏蔽等值關繫以外的其他信息,還可以為後繼分析的優化提供有力的支持.
재실제중대C대마진행API일치성검험적과정중발현,API(application programming interface)규범대도섭급이수치위론역적시서성질,여재정태분석과정중소능획취적이변량부호위점위부적독립어의지간존재분석상적결구.재자세고찰C대마변량부호간등치관계적기출상,급출기우치등개류공간적등치분석방법.저충류상관적분석방법불부가이재API일치성검험적과정중유호변량부호역화수치역지간적대응관계,이차유우능구병폐등치관계이외적기타신식,환가이위후계분석적우화제공유력적지지.
