ASIS vs. LibAdalang: A Comparative Assesment

被引：0

作者：

Rosen J.-P. ^{[1
]}

机构：

[1] Adalog, 2 rue du Docteur Lombard, Issy-Les-Moulineaux

来源：

Ada User Journal | 2021年 / 42卷 / 3-4期

关键词：

Ada; ASIS; LibAdalang; static analysis;

D O I：

10.1145/3530801.3530808

中图分类号：

学科分类号：

摘要：

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. © 2021, Ada-Europe. All rights reserved.

引用

页码：203 / 207

页数：4