一种污染变量跟踪方法专利登记公告

专利名称：一种污染变量跟踪方法

摘要：本发明公开了一种污染变量跟踪方法，涉及设备驱动领域。所述方法包括：找到第一污染变量，存入结果图中，将其所在的函数存入待处理函数队列；取出一个待处理函数，判断其中是否存在新的第二污染变量，如果是，将新的第二污染变量和相应的赋值关系存入结果图，并将待处理函数放回，执行步骤D；否则，直接执行步骤D；判断是否存在新的第三污染变量，如果是，将新的第三污染变量和相应的赋值关系存入结果图中，并将相应的函数放入待处理函数队列中，执行步骤E；否则，直接执行步骤E；判断待处理函数队列是否为空，如果是，输出结果图；否则，执行步

专利类型：发明专利

专利号：CN201110407515.X

专利申请（专利权）人：清华大学

专利发明（设计）人：王瑀屏;胡事民;马超;阎栋

主权项：一种污染变量跟踪方法，其特征在于，包括步骤：A：将直接读取目标设备寄存器数据的函数作为污染函数存储到污染函数库中，根据目标设备驱动源代码建立变量赋值关系图、函数调用关系图和函数被调用关系图，创建用于存放污染变量及相应赋值关系的结果图和用于存放待处理函数的待处理函数队列；B：根据所述污染函数库，找到直接被所述污染函数赋值的第一污染变量，将所述第一污染变量存入所述结果图中，将所述第一污染变量所在的函数存入所述待处理函数队列；C：从所述待处理函数队列中取出一个待处理函数，根据所述结果图中已有的污染变量和所述变量

专利地区：北京