{"title":"动态数据流分析的C程序","authors":"F.W. Caliss, B. Cornelius","doi":"10.1109/HICSS.1988.11845","DOIUrl":null,"url":null,"abstract":"A description of a dynamic data-flow analysis method for C programs is given. The method extends the work of J.C. Huang (IEEE Trans. Softw. Eng., vol.SE-5, no.3, p.226, 236, 1979) to array elements, struct variables, pointers, and dynamic variables. A different approach is used for the analysis of subroutines. For most kinds of variables, a full set of operations is permitted, and for pointer variables, pointer arithmetic, and pointer-array notation interchanging is allowed. The method can be used as the basis for a tool for detecting anomalies in C programs.<<ETX>>","PeriodicalId":148246,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","volume":"44 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Dynamic data flow analysis of C programs\",\"authors\":\"F.W. Caliss, B. Cornelius\",\"doi\":\"10.1109/HICSS.1988.11845\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A description of a dynamic data-flow analysis method for C programs is given. The method extends the work of J.C. Huang (IEEE Trans. Softw. Eng., vol.SE-5, no.3, p.226, 236, 1979) to array elements, struct variables, pointers, and dynamic variables. A different approach is used for the analysis of subroutines. For most kinds of variables, a full set of operations is permitted, and for pointer variables, pointer arithmetic, and pointer-array notation interchanging is allowed. The method can be used as the basis for a tool for detecting anomalies in C programs.<<ETX>>\",\"PeriodicalId\":148246,\"journal\":{\"name\":\"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track\",\"volume\":\"44 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HICSS.1988.11845\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1988.11845","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A description of a dynamic data-flow analysis method for C programs is given. The method extends the work of J.C. Huang (IEEE Trans. Softw. Eng., vol.SE-5, no.3, p.226, 236, 1979) to array elements, struct variables, pointers, and dynamic variables. A different approach is used for the analysis of subroutines. For most kinds of variables, a full set of operations is permitted, and for pointer variables, pointer arithmetic, and pointer-array notation interchanging is allowed. The method can be used as the basis for a tool for detecting anomalies in C programs.<>
![[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
