A security information flow tracker for Ada