Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev

First Page		Document Content
Date: 2017-06-27 01:04:15 Static program analysis Software engineering Computing Programming language theory Control flow analysis Soot Call graph Compiler Analysis Data-flow analysis SIGPLAN Java		Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev Add to Reading List Source URL: dacongy.github.io Download Document from Source Website File Size: 278,22 KB Share Document on Facebook

	Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st DocID: 1xVap - View Document
	Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 4, 477–Analytical solution of MHD free convective flow of couple stress fluid in an annulus with Hall and Ion-slip effects DocID: 1v1QL - View Document
	Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 2, 155–158 A note on “Taylor–Couette flow of a generalized second grade fluid due to a constant couple” C. Fetecau1 , A.U. Awan2 , M. Athar2 1 DocID: 1uXh1 - View Document
	Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 3, 341–350 A semi-analytical solution of micro polar flow in a porous channel with mass injection by using differential transform method M.M. Rashidi1 , S. DocID: 1uGTK - View Document