Section: Software

STatic Alias aNalyser

Participants : Arnaud Fontaine, Samuel Hym, Gilles Grimaud, Isabelle Simplot-Ryl [ Contact ] .

STAN is a Java abstract analyser that allows static alias analysis and checking of information flow. Moreover, STAN targets small systems, like embedded systems. The STAN tool statically checks already compiled source code and annotates the .class files with verifiable signatures at loading time. STAN is dedicated to embedded systems and adapted to their constraints, supports mobile code, easy to use.

STAN can be found at the URI http://stan-project.gforge.inria.fr .