Since the 1960s processors have, for efficiency, sometimes executed instructions out of
program order, provided that the (sequential) semantics is preserved. On uniprocessor …

Business process management (BPM) and serviceoriented architectures (SOA) promise the
development, application, maintenance, and improvement of business processes, ie, service …

We present an abstract domain functor whose elements are binary decision trees. It is
parameterized by decision nodes which are a set of boolean tests appearing in the …

Most software attacks subvert the intended data-flow of a program via exploiting the memory
corruption vulnerabilities. Data-Flow Integrity (DFI) is a generic defense against such …

Today, software is traded worldwide on global markets, with apps being downloaded to
smartphones within minutes or seconds. This poses, more than ever, the challenge of …

The C/C++ memory model provides an interface and execution model for programmers of
concurrent (shared-variable) code. It provides a range of mechanisms that abstract from …

Abstract Static Single Assignment Form benefits data flow analysis by its static guarantees
on the definitions and uses of variables. In this paper, we show how to exploit these …

In spite of tremendous advances in data dependence and dataflow analysis techniques,
state-of-the-art optimizing compilers continue to suffer from imprecisions and miss potential …

Static analysis and systematic software testing are two fundamental techniques that aim to
ensure software quality. Recently, there has been an obvious interest in exploiting the …

In the last decade, many static taint analysis tools based on IFDS have been proposed.
Nearly all of them only have a single analysis direction, with most opting for a forward …