Wenceslas Godard

Learn More
This paper describes a new static analysis to show the absence of memory errors, especially string buffer overflows in C programs. The analysis is specifically designed for the subset of C that is found in critical embedded software. It is based on the theory of abstract interpretation and relies on an abstraction of stores that retains the length of string(More)
In [10] we proposed a static timing analysis for IMA applications on multi-core platforms. It produces safe bounds on tasks response times including memory interference delays and for which the number of state space to be explored does not explode. We also proposed a methodology for the automation of the software/hardware allocation which embeds the(More)
  • 1