With the rapid growth of the Internet-of-Things (IoT), security issues for the IoT are becoming
increasingly serious. Memory leaks are a common and harmful software defect for IoT …

A side-effect analysis computes for each program phrase a set of memory locations that may
be read or written to when executing this phrase. Our analysis expresses abstract objects …

A major drawback of shape analysis techniques is the trade-off between speed and
precision. We present TwAS: a novel method to combine two shape analysis techniques-a …

In this paper we demonstrate a novel intra-procedural technique for detecting heap
dependences in sequential programs that use recursive data structures. The novelty of our …

Data structures are one of the most important part of programming. Program faults lead to
corruption of runtime data structures of the program which lead to program failure or worse …

Shape Analysis refers to a class of techniques used to analyze heap data structures. Several
algorithms have been proposed in literature about shape analysis. These algorithms differ in …