International audienceWe propose a memory abstraction able to lift existing numerical static analyses to C programs containing union types, pointer casts, and arbitrary pointer arithmetics. Our framework is that of a combined points-to and data-value analysis. We abstract the contents of compound variables in a field-sensitive way, whether these fields contain numeric or pointer values, and use stock numerical abstract domains to find an overapproximation of all possible memory states---with the ability to discover relationships between variables. A main novelty of our approach is the dynamic mapping scheme we use to associate a flat collection of abstract cells of scalar type to the set of accessed memory locations, while taking care of by...
In this paper, we compare the behavior of pointers in C programs, as approximated by static pointer ...
We propose an original approach for checking memory safety of C pointer programs possibly including ...
Abstract. Shared and mutable data-structures pose major problems in static analysis and most analyze...
We propose a memory abstraction able to lift existing numerical static analyses to C programs contai...
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound becau...
International audienceAbstract interpretation provides advanced techniques to infer numerical invari...
We present a field-sensitive pointer analysis algorithm for C in the presence of type conversion bet...
We study the applicability of pointer analysis algorithms (originally aimed at optimizing compilers)...
International audienceTo understand and detect possible errors in programs manipulating memory, stat...
ABSTRACT The subject of this paper is flow-and context-insensitive pointer analysis. We present a no...
Static analysis of programs in weakly typed languages such as C and C++ generally is not guaranteed ...
AbstractThe C language does not have a specific Boolean type: Boolean values are encoded with intege...
International audienceThe C language does not have a specific Boolean type: Boolean values are encod...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...
Many powerful code optimization techniques rely on accurate information connecting the definitions a...
In this paper, we compare the behavior of pointers in C programs, as approximated by static pointer ...
We propose an original approach for checking memory safety of C pointer programs possibly including ...
Abstract. Shared and mutable data-structures pose major problems in static analysis and most analyze...
We propose a memory abstraction able to lift existing numerical static analyses to C programs contai...
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound becau...
International audienceAbstract interpretation provides advanced techniques to infer numerical invari...
We present a field-sensitive pointer analysis algorithm for C in the presence of type conversion bet...
We study the applicability of pointer analysis algorithms (originally aimed at optimizing compilers)...
International audienceTo understand and detect possible errors in programs manipulating memory, stat...
ABSTRACT The subject of this paper is flow-and context-insensitive pointer analysis. We present a no...
Static analysis of programs in weakly typed languages such as C and C++ generally is not guaranteed ...
AbstractThe C language does not have a specific Boolean type: Boolean values are encoded with intege...
International audienceThe C language does not have a specific Boolean type: Boolean values are encod...
This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...
Many powerful code optimization techniques rely on accurate information connecting the definitions a...
In this paper, we compare the behavior of pointers in C programs, as approximated by static pointer ...
We propose an original approach for checking memory safety of C pointer programs possibly including ...
Abstract. Shared and mutable data-structures pose major problems in static analysis and most analyze...