Abstract
This paper compares the origins, features, and status of two different tools intended to facilitate static analysis of Ada programs: ASIS and LibAdalang.
It stresses the differences in principles, features, and intended usages, and shows use cases where each is more appropriate.
- ISO/IEC 15291: Information technology - Programming languages - Ada Semantic Interface Specification (ASIS)Google Scholar
- https://github.com/AdaCore/libadalangGoogle Scholar
- Goos, Gerhard; Winterstein, Georg (1980). "Towards a compiler front-end for Ada". Proceedings of the ACMSIGPLAN symposium on Ada programming language. Annual International Conference on Ada. ACMSIGPLAN. pp. 36--46.Google Scholar
- S. Rybin & A. Strohmeier : " About the Difficulties of Building a Pretty-Printer for Ada", proceedings of the Reliable Software Technologies - Ada-Europe 2002 conference, June 2002.Google Scholar
Cross Ref
- https://github.com/Adalog-fr/AdacontrolGoogle Scholar
- https://github.com/AdaCore/langkit-querylanguage/ blob/master/user_manual/source/language_refe rence.rstGoogle Scholar
Index Terms
(auto-classified)ASIS vs. LibAdalang: a Comparative Assesment
Recommendations
Beyond ASIS: program data bases and tool-oriented queries
SIGAda '01: Proceedings of the 2001 annual ACM SIGAda international conference on AdaThe availability of higher level ASIS libraries is of prime importance for the real success of ASIS technology to facilitate the development of Software Analysis and Testing (SAT) tools. This is due to the fact that ASIS queries are expressed in terms ...
Beyond ASIS: program data bases and tool-oriented queries
The availability of higher level ASIS libraries is of prime importance for the real success of ASIS technology to facilitate the development of Software Analysis and Testing (SAT) tools. This is due to the fact that ASIS queries are expressed in terms ...
The new semantic model in ASIS for Ada 2005
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesFollowing the new Ada 2005 standard, the ASIS interface has to be upgraded. In addition to supporting the representation of new features, ASIS has been extended with a semantic subsystem, where queries support the logical views of entities rather than ...






Comments