%0 Journal Article
%T Value Equality Analysis in C Program API Conformance Validation<br>C代码API一致性检验中的等值分析
%A MENG Ce
%A HE Ye-Ping
%A LUO Yu-Xiang
%A <br>孟策
%A 贺也平
%A 罗宇翔
%J 软件学报
%D 2008
%I 
%X In the attempt to apply static analysis method to API(application programming interface)conformance validation,It is noticed that the gap between numeric value based temporal properties in API specification and variable symbol based predicates extracted through static analysis.Therefore,the paper first investigates value equality relations between variable symbols in C program,and then designs an ECS(equality class space)based value equality analysis method.This flow-sensitive method can maintain the correspondence between variable symbol domain and numeric value domain during the process of API conformance validation,and in addition,can effectively support the optimization of subsequent analysis by hiding all irrelevant information except value equality relations.
%K static analysis
%K API conformance validation
%K equality analysis
%K points-to analysis<br>静态分析
%K API一致性检验
%K 等值分析
%K 指针分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=19D36DAE7F39F16629FF9BC66BCA4EFF&yid=67289AFF6305E306&vid=2A8D03AD8076A2E3&iid=F3090AE9B60B7ED1&sid=74ECAE75869A1E38&eid=89C852E618F0CA13&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=18