Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
Add to Favorite Get Latest Update


LIU Lei\ YE Xiao Yu (Department of Computer Science, Jilin University, Changchun\ 130023)  
The interprocedure data flow analysis is a complex and significant work. This paper puts forward a technique for interprocedure data flow analysis and discusses how global variables and parameters have effects on the analysis. An efficient solving method is given. A static program analysis system based on the technique is constructed.
【CateGory Index】: TP314
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
Chinese Journal Full-text Database 1 Hits
1 Zhang Lei(Department of Mathimatic,Zhangshan University,Guangzhou 510275);Program-Testing Method Based On Data Flow[J];MODERN COMPUTER;1998-04
China Proceedings of conference Full-text Database 1 Hits
1 ;Static Detection Method of Intra-procedural Null Pointer Dereference Faults[A];[C];2009
Chinese Journal Full-text Database 10 Hits
1 Wu Liren(Beijing Aerospace Automatic Control Institute);A Monte Carlo Simulation of Guidance Accuracy Evaluation[J];MISSILES AND SPACE VEHICLES;1995-05
2 Liu Fuyan(Dept of Management Eng,Hangzhou Inst of Electronic Engineering,Hangzhou 310037);Validating Conceptual Model Validity of Simulation Systems[J];JOURNAL OF UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA;1995-04
3 GONG Hui-ying1,ZHANG Xiao-dong2,LIU lei1 (1.Department of Computer Science,Jilin University,Changchun 130023,China ; Department of Electronic Engineering, Dalian University, Dalian 116622,China);Program Slicing[J];Journal of Dalian Nationalities University;2001-03
4 Wu Siliang;Sun Shenghe(Harbin Institute of Technology,Harbin 150006)Ma Shufen(Yanshan University,Qinhuangdao 066004);A New Method for Maximum Entropy Spectral Estimation[J];ACTA ELECTRONICA SINICA;1994-07
5 LI Xin1,LI Li-ping1,CHAN Gge-xin2(1.School of Information Engineering,Liaoning Institute of Technology,Jinzhou 121001,China;2.College of Commerce,Bohai University,Jinzhou 121000,China);Dynamic generatin of documents based on XML[J];Journal of Liaoning Technical University;2006-01
6 Li Pengbo; Xie Hongwei(Department of Automatic Control, NUDT, Changsha, 410073);Applying Wigner Distribution to Validate the ComputerSimulation Model of Proximity Fuze[J];JOURNAL OF NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY;1998-01
7 Zhang Jinhuai(Department of Automatic Control, NUDT, Changsha, 410073);Spectrum Analysis and Its Application in Simulation[J];JOURNAL OF NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY;1998-03
8 ZHANG Hui-fen(Commanding Department,Hengshui Branch of Fire Fighting and Prevention,Hengshui,Hebei 053000,China);The Theoretical Analysis and Application of JavaScript[J];Journal of Hengshui University;2006-01
9 LI Bi-Xin; ZHENG Guo-Liang; WANG Yun-Feng; LI Xuan-Dong (State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093) (Department of Computer Science & Technology, Nanjing University, Nanjing 210093);AN APPROACH TO ANALYZING AND UNDERSTANDING PROGRAM──PROGRAM SLICING[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;2000-03
10 QIN Zhen Song (Department of Computer Science and Engineering, Southeast University,Nanjing\ 210096) FAN Bo Nan (Department of Computer Science, Nanjing University of Science and Technology,Nanjing\ 210094);AN AUTO COMPILER OF PROGRAMMING LANGUAGES[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-03
【Secondary References】
Chinese Journal Full-text Database 2 Hits
1 LI He,LV Yan,LI Guo-hui(Military Simulation Technology Institute,Aviation University of Air Force,Changchun 130022,China);Modeling Method of Time Series in Dynamic Data Validation of Flight Simulation[J];Ordnance Industry Automation;2008-12
2 LI He,LV Yan,YANG Ming-quan(Military Simulation Technology Institute,Air Force Aviation University,Changchun 130022,China);Validation of Flight Simulator's Flight Performance Based on Spectrum Analysis[J];Journal of Ordnance Engineering College;2008-06
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved