6 Conclusion
We have implemented the analysis proposed in [
6
] . The prototype has successfully prove integrity of an
ftp-server
. Our analyses are very likely to be extended with other abstract domains and other analyses.