Java reflection is a challenging pr

Java reflection is a challenging problem [6,18,24]. In Java, methods can be reflectively invoked with java.lang.reflect.Method.invoke() or java.lang.reflect.
Constructor.newInstance(). Stowaway tracks which Class objects and method names are propagated to the reflective invocation. It performs ow-sensitive, intra-procedural static analysis, augmented with inter-procedural analysis to a depth of 2 method calls. Within each method body, it tracks the value of each String, StringBuilder, Class, Method, Constructor, Field, and Object. We also track the state of static member variables of these types. We identify method calls that convert strings and objects to type Class, as well as method calls that convert Class objects to Methods, Constructors, and Fields.

Kết quả (Việt) 1:

Java phản ánh là một vấn đề khó khăn [6,18,24]. Ở Java, phương pháp có thể được nhìn kích hoạt với java.lang.reflect.Method.invoke() hoặc java.lang.reflect.Constructor.newInstance(). Stowaway theo dõi mà đối tượng lớp và phương pháp tên được truyền đến invocation phản chiếu. Nó thực hiện ow-nhạy cảm, thủ tục trong các phân tích tĩnh, tăng cường với thủ tục liên phân tích sâu 2 phương pháp cuộc gọi. Trong mỗi cơ thể phương pháp, nó theo dõi giá trị của mỗi chuỗi, StringBuilder, lớp, phương pháp, nhà xây dựng, lĩnh vực, và đối tượng. Chúng tôi cũng theo dõi bang biến thành viên tĩnh của các loại. Chúng tôi xác định các cuộc gọi phương pháp chuyển đổi dây và các đối tượng để loại lớp học, cũng như các cuộc gọi phương pháp chuyển đổi đối tượng lớp để phương pháp, nhà thầu và các lĩnh vực.

Kết quả (Việt) 2:

Phản ánh Java là một vấn đề thách thức [6,18,24]. Trong Java, các phương pháp có thể được phản tư gọi với java.lang.reflect.Method.invoke () hoặc java.lang.reflect.
Constructor.newInstance (). Bài hát Stowaway đó các đối tượng Class và tên phương thức được truyền đến lời cầu phản chiếu. Nó thực hiện ow-nhạy cảm, phân tích tĩnh trong nội bộ về thủ tục, tăng cường với các phân tích liên thủ tục để độ sâu 2 cuộc gọi phương thức. Trong mỗi cơ thể phương pháp, nó theo dõi giá trị của mỗi String, StringBuilder, Class, Method, Constructor, Field, và đối tượng. Chúng tôi cũng theo dõi trạng thái của các biến thành viên tĩnh của các loại. Chúng tôi xác định các cuộc gọi phương pháp chuyển đổi các chuỗi và các đối tượng đến gõ Class, cũng như các cuộc gọi phương pháp chuyển đổi các đối tượng Class để phương pháp, xây dựng, nhà và Fields.