Sun W,Du X.A Generation Model of Function Call Based on the Control Flow Graph[DB/OL].[2014-01-02].http://download.springer.com/static/pdf/637/chp%253A10.1007%252F978-81-322-1695-7_60.pdf?auth66=1401589402_8510afa106cbd2ba96f17bee25421b9e&ext=.pdf.
[2]
Baah G K,Podgurski A,Harrold M J.The probabilistic program dependence graph and its application to fault diagnosis[J].Software Engineering,IEEE Transactions on,2010,36(4):528-545.
[3]
Cuoq P,Kirchner F,Kosmatov N,et al.Frama-C[C]//Software Engineering and Formal Methods.Berlin Heidelberg:Springer,2012:233-247.
[4]
孙永新,吴家培,闫大顺.基于基本块标识方法的控制流图生成器设计[J].计算机应用与软件,2010,27(5):158-161.Sun Y X,Wu J P,Yan D S.Designing the basic block marking-based control flow graph generator[J].Computer Application and Software,2010,27(5):158-161(Ch).
[5]
Hammer C,Snelting G.Flow-sensitive,context-sensitive,and object-sensitive information flow control based on program dependence graphs[J].International Journal of Information Security,2009,8(6):399-422.
[6]
Jha L,Patnaik K S.A new method to compute dynamic slicing using program dependence graph[J].International Journal of Computer Applications,2013,75(13):30-36.
[7]
陈意云,张昱.编译原理[M].北京:高等教育出版社,2003.Chen Y Y,Zhang Y.Compiler Principle[M].Beijing:Higher Education Press,2003(Ch).
[8]
封战胜.基于GCC抽象语法树文本的C源程序语义分析方法研究[D].哈尔滨:哈尔滨工业大学,2009.Feng Z S.Research on Semantic Analysis of C Program Based on GCC Abstract Syntax Tree Text[D].Harbin:Harbin Institute of Technology,2009(Ch).
[9]
Munteanu C R,Magalhaes A L,Duardo-Sanchez A,et al.S2SNet:A tool for transforming characters and numeric sequences into star network topological indices in chemoinformatics,bioinformatics,biomedical,and social-legal sciences[J].Current Bioinformatics,2013,8(4):429-437.
[10]
Ghandehari L S G,Bourazjany M N,Lei Y,et al.Applying Combinatorial Testing to the Siemens Suite[DB/OL].[2014-01-02].http://csrc.nist.gov/groups/SNS/acts/documents/ghandehari-et-al-iwct13.pdf.□
