ASIS is a layered, open architecture providing vendor-independent access to the Ada Library Environment. It alows for the static analysis of Ada programs and librarys.