This disclosure relates to program analysis, and more particularly, to a hybrid program analysis.
The process of program analysis may generally be divided into two groups, static program analysis and dynamic program analysis. In static program analysis, an analysis of computer software may be performed without executing the application being analyzed. In dynamic program analysis, the application is executed on a real or virtual processor using test inputs during an analysis.
Static program analysis is generally considered undecidable according to Rice's theorem. Rice's theorem states that, for any non-trivial property of partial functions, there is no general and effective method to determine whether an algorithm determines a partial function with that property. Rice's theorem not only provides a theoretical upper bound, but also a limitation that's encountered by many analyses of practical interest.
Among these undecidable analyses are the problem of determining a precise set of called methods for a given call site (also known as pointer analysis) is undecidable, the problem of resolving reflective calls is undecidable, and problems related to string analysis and constant propagation.
Sound solutions for the above problems typically suffer from poor precision. For example, the result of a call (in Java) to Class.newInstance can be approximated as all possible types in the class hierarchy of the subject application. However, the approximation of the result yields an imprecise and un-scalable analysis.
An improved technique has been introduced to perform a two-stage analysis, where a dynamic program analysis is first run to determine dynamic hints for an ensuing static analysis, which may then use the dynamic hints for modeling of challenging code constructs. For example, in the case of Class.newInstance, the dynamic analysis records the exact types of objects allocated by the newInstance call, and then the static program analysis may use this data for pointer analysis to resolve virtual calls. While it is generally understood that such reliance on dynamic program analysis is unsound, the problems targeted by the two-stage analysis are undecidable and sound approximate solutions are often prohibitive in their loss of precision. That is, the two-stage analysis is merely an improved compromise as compared to static program analysis.
According to an embodiment of the present disclosure, a hybrid program analysis method includes initiating a static program analysis of an application, generating, by a static program analyzer, a query to a dynamic program analyzer upon determining a code construct of the application requiring dynamic analysis, passing control from the static program analyzer to the dynamic program analyzer and initiating a dynamic program analysis of the code construct, resolving, by the dynamic program analyzer, the query into a set of arguments with which to invoke the code construct of the application, generating, by the dynamic program analyzer, the set of arguments, invoking, by the dynamic program analyzer, the code construct of the application using set of arguments, answering, by the dynamic program analyzer, the query, and passing control from the dynamic program analyzer to the static program analyzer and continuing the static program analysis of the application.
According to an embodiment of the present disclosure, a computer program product for performing a hybrid program analysis comprises a computer readable storage medium having computer readable program code embodied therewith, the computer readable program code comprising computer readable program code configured to perform the hybrid program analysis.
According to an embodiment of the present disclosure, a hybrid program analysis system comprises a memory device storing a plurality of instructions embodying the system and an application, and a processor configured to receive the application and execute the plurality of instructions to perform a method comprising initiating a static program analysis of the application, generating, by a static program analyzer, a query to a dynamic program analyzer upon determining a code construct of the application requiring dynamic analysis, resolving, by the dynamic program analyzer, the query into a set of arguments with which to invoke the code construct of the application, generating, by the dynamic program analyzer, the set of arguments, invoking, by the dynamic program analyzer, the code construct of the application using the set of arguments, returning, by the dynamic program analyzer, an answer corresponding to the query to the static program analyzer, and continuing the static program analysis of the application.
Preferred embodiments of the present disclosure will be described below in more detail, with reference to the accompanying drawings:
According to an illustrative embodiment of the present disclosure, a framework is implemented for a hybrid method of program analysis including a static program analysis and a dynamic program analysis. It should be understood, however, that embodiments of the disclosure are not limited to the particular methods and/or apparatus described herein. Rather, embodiments of the disclosure are more broadly related to enhanced techniques for performing program analysis. Furthermore, although reference may be made herein to specific software (e.g., Java), syntax, protocols, operating platforms (hardware or software), etc., embodiments of the disclosure are not limited to such software, syntax, protocols, operating platforms, etc. Moreover, it will become apparent to those skilled in the art given the teachings herein that numerous modifications can be made to the embodiments shown that are within the scope of the claimed invention. That is, no limitations with respect to embodiments shown and described herein are intended or should be inferred.
Reference will now be made to an exemplary routine 100 as shown in
Consider the following example (in Java syntax):
Class c;
if (*) // see block 101
else
Object o=c.newInstance( ); // see block 102a-102b
Method.invoke(o, “foo”); // see block 103a-103b
In this example, the input arguments chosen by a dynamic analyzer may all lead down a selected branch (104 or 105) of a conditional statement 101. Then, when the static analyzer asks about the possible types flowing into Object o, the answer by the dynamic program analysis is Class1 and Class2.
In view of the foregoing, and according to an embodiment of the present disclosure, the dynamic program analysis is specialized for a query at hand. The specialization of the dynamic program analysis enables precise information for the specific control flow corresponding to the query to be obtained, as illustrated in the example above. For example, a dynamic program analysis, initiated at the point (e.g., a false branch) where the static program analysis queries an answer, enables a concise and precise answer, as the dynamic analyzer is pointed toward a particular control flow.
Referring to block 202, any piece of information that affects the precision of the static analysis, but is not modeled in the abstraction maintained by the analysis, can trigger a query. This includes reflective constructs, evaluation of conditional branches, external content (e.g., coming from databases or files), etc.
The relevant information may include possible types allocated by a newInstance statement, etc. The request may be associated with contextual information. The dynamic analyzer resolves the request, along with the contextual information, into one or more sets of arguments with which to invoke the subject application at 204. Examples of these arguments include command-line arguments, or more generally, data inputs, which would lead execution down a desired code path.
Symbolic analysis techniques, such as a demand-driven symbolic analysis for object-oriented programs and frameworks, may be used resolve the input arguments. For example, the extraction of input arguments may be treated as a goal-reachability problem, wherein semantics of all statements, including inter-procedural flow and exceptional conditions, are modeled. In an exemplary implementation, when the analysis finds a precondition P for postcondition R, the analysis guarantees that any state which satisfies P must necessarily drive program execution to R. No other exceptions will be thrown before reaching R.
In a further exemplary implementation, the goal-reachability problem is based on a backward symbolic analysis. In principle, such an analysis computes weakest preconditions (described herein) over each control-flow path, going backwards from the goal statement to an input argument. If the computed precondition P for any path r is satisfiable, then a satisfying assignment for P gives the input arguments that would force execution along r to the goal.
The application is then invoked and the query answered by the dynamic analyzer at 205. If, for example, the query is for a possible resolution of a reflective allocation in the routine above, then the answer would be Class1. If the query concerns the evaluation of a conditional branch, then the answer would be true or false. In view of the foregoing, the answer may take various forms. The exemplary answers described herein are not intended to be limiting.
The hybrid method 200 continues if additional application code is available at 206 with the static analyzer at 201. The hybrid method 200 takes application code as input and outputs application properties (see
In view of the foregoing, a dynamic program analysis may be specialized for a query at hand.
In view of the foregoing, and referring to
In view of
According to an embodiment of the present disclosure, and referring to the contextual information, an inherent aspect of static program analysis is data abstraction, which enables finite yet sound exploration of the state space of the application. For example, a common abstraction in security analysis is to use access paths to denote untrusted heap regions. The contextual information provided by the static program analysis includes the abstract state at the point where the query is issued. This may be illustrated via the following example of web-application security analysis 400 depicted in
String username;
if (request.hasParameter(“name”)) {// see block 401
else
String data=transform(username); // see block 402
response.getWriter( ).println(data); // see block 403
In this example, the getParameter call is a security source, which reads (untrusted) user-provided data. Further, the println call is a security sink that renders the data to the response HTML.
A possible query by the static program analysis is whether the data reaching the sink, that is the println call at block 403, contains certain characters (e.g., illegal characters ‘<’ and ‘>’), in which case the above code is determined to be vulnerable.
A possible abstract state at the sink call is {username.*, data.*}, which denotes that the values pointed-to by username and data are untrusted due to the source call. With this context in place, the dynamic program analysis may synthesize test payloads that pass through the true branch of the conditional statement before arriving at the sink call.
According to an embodiment of the present disclosure, and referring to the translation into test input arguments, given the contextual information by the static analysis, which constrains—or focuses—the dynamic program analysis in its choice of which execution paths to visit based on data abstraction, the dynamic program analysis may map these constraints into input arguments to the application (see also block 204 in
Well-known techniques may be used to map constraints into input arguments to the application, such as the weakest-precondition approach for test generation. The weakest-precondition approach attempts to find a solution for the constraint system induced by the contextual information provided by the static analysis, and the path constraints induced by backward traversal, that is outputs to input arguments, of the execution path connecting the program's entry location to the queried location. More formally, according to an exemplary implementation of the weakest-precondition approach, given a statement S, the weakest-precondition of S is a function mapping any postcondition R to a precondition. The result of this function, denoted wp(S, R), is the “weakest” precondition on the initial state or input argument ensuring that execution of S terminates in a final state satisfying R.
The weakest precondition semantics may be used to provide the greatest set of possible input arguments leading to the given output observation.
It should be understood that the term application as used herein may refer to individual statements and declarations in computer readable code, individual objects, complete source code of an application, etc. Similarly, embodiments described herein are not limited to source code and may be applied to object code. In summary, embodiments of the present disclosure are not limited to the analysis of certain levels or types of code and may be implemented in any case where program analysis is applicable.
The methodologies of embodiments of the disclosure may be particularly well-suited for use in an electronic device or alternative system. Accordingly, embodiments of the present disclosure may take the form of an entirely hardware embodiment or an embodiment combining software and hardware aspects that may all generally be referred to herein as a “processor”, “circuit,” “module” or “system.” Furthermore, embodiments of the present disclosure may take the form of a computer program product embodied in one or more computer readable medium(s) having computer readable program code stored thereon.
Any combination of one or more computer usable or computer readable medium(s) may be utilized. The computer-usable or computer-readable medium may be a computer readable storage medium. A computer readable storage medium may be, for example but not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, device, or any suitable combination of the foregoing. More specific examples (a non-exhaustive list) of the computer-readable storage medium would include the following: a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), an optical fiber, a portable compact disc read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing. In the context of this document, a computer readable storage medium may be any tangible medium that can contain or store a program for use by or in connection with an instruction execution system, apparatus or device.
Computer program code for carrying out operations of embodiments of the present disclosure may be written in any combination of one or more programming languages, including an object oriented programming language such as Java, Smalltalk, C++ or the like and conventional procedural programming languages, such as the “C” programming language or similar programming languages. The program code may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the latter scenario, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider).
Embodiments of the present disclosure are described above with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems) and computer program products. It will be understood that each block of the flowchart illustrations and/or block diagrams, and combinations of blocks in the flowchart illustrations and/or block diagrams, can be implemented by computer program instructions.
These computer program instructions may be stored in a computer-readable medium that can direct a computer or other programmable data processing apparatus to function in a particular manner, such that the instructions stored in the computer-readable medium produce an article of manufacture including instruction means which implement the function/act specified in the flowchart and/or block diagram block or blocks.
The computer program instructions may be stored in a computer readable medium that can direct a computer, other programmable data processing apparatus, or other devices to function in a particular manner, such that the instructions stored in the computer readable medium produce an article of manufacture including instructions which implement the function/act specified in the flowchart and/or block diagram block or blocks.
For example,
In these components, the processor 501, memory 502, signal source 503, HD controller 505, keyboard controller 506, serial interface controller 507, parallel interface controller 508, display controller 509 are connected to the system bus 504. The hard disk 510 is connected to the HD controller 505. The keyboard 511 is connected to the keyboard controller 506. The serial peripheral device 512 is connected to the serial interface controller 507. The parallel peripheral device 513 is connected to the parallel interface controller 508. The display 514 is connected to the display controller 509.
In different applications, some of the components shown in
The processor 501 may be configured to perform one or more methodologies described in the present disclosure, illustrative embodiments of which are shown in the above figures and described herein. Embodiments of the present disclosure can be implemented as a routine that is stored in memory 502 and executed by the processor 501 to process the signal from the signal source 503. As such, the computer system is a general-purpose computer system that becomes a specific purpose computer system when executing the routine of the present disclosure.
Although the computer system described in
It is to be appreciated that the term “processor” as used herein is intended to include any processing device, such as, for example, one that includes a central processing unit (CPU) and/or other processing circuitry (e.g., digital signal processor (DSP), microprocessor, etc.). Additionally, it is to be understood that the term “processor” may refer to a multi-core processor that contains multiple processing cores in a processor or more than one processing device, and that various elements associated with a processing device may be shared by other processing devices.
The term “memory” as used herein is intended to include memory and other computer-readable media associated with a processor or CPU, such as, for example, random access memory (RAM), read only memory (ROM), fixed storage media (e.g., a hard drive), removable storage media (e.g., a diskette), flash memory, etc. Furthermore, the term “I/O circuitry” as used herein is intended to include, for example, one or more input devices (e.g., keyboard, mouse, etc.) for entering data to the processor, and/or one or more output devices (e.g., printer, monitor, etc.) for presenting the results associated with the processor.
The flowchart and block diagrams in the figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods and computer program products according to various embodiments of the present disclosure. In this regard, each block in the flowchart or block diagrams may represent a module, segment, or portion of code, which comprises one or more executable instructions for implementing the specified logical function(s). It should also be noted that, in some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems that perform the specified functions or acts, or combinations of special purpose hardware and computer instructions.
Although illustrative embodiments of the present disclosure have been described herein with reference to the accompanying drawings, it is to be understood that the disclosure is not limited to those precise embodiments, and that various other changes and modifications may be made therein by one skilled in the art without departing from the scope of the appended claims.
This application is a continuation of U.S. patent application Ser. No. 13/670,270 filed on Nov. 6, 2012, the complete disclosure of which is expressly incorporated herein by reference in its entirety for all purposes.
Number | Date | Country | |
---|---|---|---|
Parent | 13670270 | Nov 2012 | US |
Child | 13672165 | US |