A new approach to global program data flow analysis which constructs a "node listing" for the control flow graph is discussed and a simple algorithm which uses a node listing to determine the live variables ...
详细信息
We present a comprehensive approach to performing data flow analysis in parallel. We first identify three types of parallelism inherent in the dataflow solution process: independent-problem parallelism, separate-unit...
详细信息
The recent advent of serverless applications has created a need for static analysis tools to analyse them. However, the event-driven architecture of serverless applications, along with the black-box nature of the serv...
详细信息
In workflow management, the dataflow perspective specifies how data are produced and consumed by activities in a workflow. data flow analysis can detect dataflow anomalies occurring in a workflow while its control f...
详细信息
ISBN:
(纸本)9781604235531
In workflow management, the dataflow perspective specifies how data are produced and consumed by activities in a workflow. data flow analysis can detect dataflow anomalies occurring in a workflow while its control flow can be syntactically error-free. Currently, most commercial workflow management systems do not provide the tools for data flow analysis at design time. We have previously proposed a data flow analysis approach and developed the basic concepts and the essential algorithms. As another step forward, this paper examines the issues of dataflow anomalies and their verification from a theoretical point of view and validates the correctness of the proposed approach.
Since the introduction of data flow analysis more than 20 years ago, the applications of data flow analysis have expanded considerably with the recognition of its practical benefits. The current use of dataflow analy...
详细信息
ISBN:
(纸本)3540664599
Since the introduction of data flow analysis more than 20 years ago, the applications of data flow analysis have expanded considerably with the recognition of its practical benefits. The current use of data flow analysis goes well beyond its initial application of register allocation and machine independent optimizations. Compilers today rely heavily on dataflow analyses for sophisticated optimizations and to guide the exploitation of architectural features, such as the numbers of processors and their functional units and the memory hierarchy. Besides compilers, dataflowanalysis is also used in software engineering. Applications include program verification, debugging (especially of optimized and parallelized code), program test case generation and coverage analysis, regression testing, program integration and program understanding. The expanded use of data flow analysis has created a demand for a number of extensions and improvements. Advances in data flow analysis have particularly occurred to improve its scalability and precision. Techniques that produce more informative results about the run-time behavior and environment have also been developed by integrating dynamic and architectural information into the analysis and its results. data flow analysis has been extended to model different programming languages and features, including the object-oriented paradigm and parallel threads. This tutorial will first present a broad overview of the recent advances in data flow analysis and then focus on techniques that improve the scalability and precision of the analysis. Concern about the scalability of data flow analysis, both in terms of execution time and memory, is due to the need for whole program analysis, the use of multiple analyses, and the requirements of applications in a production environment. Techniques to improve the performance of analyses have focused on both the program representation used by the analysis and the analysis *** of graph repre
Interprocedural data flow analysis is complicated by the use of procedure and label variables in programs and by the presence of aliasing among variables. In this paper we present an algorithm for computing possible v...
详细信息
data flow analysis expresses the solution of an information gathering problem as the fixed point of a system of monotone equations. This paper presents a technique to improve the performance of data flow analysis by s...
详细信息
Integer signedness error can be exploited by attackers to cause severe damages to computer systems. Despite of the significant advances in automating the detection of integer signedness errors, accurately differentiat...
详细信息
ISBN:
(纸本)1891706373
Integer signedness error can be exploited by attackers to cause severe damages to computer systems. Despite of the significant advances in automating the detection of integer signedness errors, accurately differentiating exploitable and harmful signedness errors from unharmful ones still remains an open problem. In this paper, we present the design and implementation of Signflow, an instrumentation-based integer signedness error detector to reduce the reports for unharmful signedness errors without sacrificing the completeness (i.e. no false negatives). Signflow utilizes static data flow analysis to identify unharmful integer signedness conversions from the view of where the operands originate and whether the data after conversions can propagate to security-related operations, and then inserts security checks for the remaining conversions so as to accomplish runtime protection. We evaluated Signflow on 7 real-world harmful integer signedness bugs, SPECint 2006 benchmarks together with 5 real-world applications. Experimental results show that Signflow successfully detected all harmful integer signedness bugs and achieved a reduction of 41% in false positives over Intflow, the state-of-the-art signedness error detector.
Though realtime Java offers significant advantages over other programming languages for safe programming, the analysis of worst case execution of realtime Java programs is considerably more difficult. The extra comple...
详细信息
ISBN:
(纸本)9781605583372
Though realtime Java offers significant advantages over other programming languages for safe programming, the analysis of worst case execution of realtime Java programs is considerably more difficult. The extra complexity can be addressed using a minimal set of parameterized annotations and data flow analysis to provide a standard worst case execution time analysis tool with the additional information necessary to determine the worst case execution time analysis of realtime Java Programms. This methodology has the advantage over existing methods in that it is equally applicable to general purpose library code as to application specific implementation code. Copyright. 2008 ACM.
This paper describes a tool which integrates three different kinds of data flow analysis techniques: null pointer dereference analysis, integer variables differences analysis and single linked list analysis. Each one ...
详细信息
暂无评论