Kuchumov, AlexeiRybin, SergeyStrohmeier, Alfred2005-09-202005-09-202005-09-20200110.1007/3-540-45136-6_8https://infoscience.epfl.ch/handle/20.500.14299/216961ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS ISO standard, appears to be at a very low-level of abstraction compared to the needs of the tool developer. Higher-level interfaces and common libraries for specific needs should therefore be developed. The paper describes a ASIS secondary library providing abstractions and queries for analyzing object-oriented Ada code.text::conference output::conference proceedings::conference paper