Publication | Closed Access
ASAP: An Ada static source code analyzer program
13
Citations
0
References
2019
Year
Unknown Venue
Software MaintenanceEngineeringAutomated ToolSoftware EngineeringSource Code AnalysisAda Programming LanguageSoftware AnalysisFormal VerificationSystems EngineeringStatic CheckingAda Compilation UnitAutomatic ProgrammingStatic AnalysisAbstract InterpretationComputer EngineeringComputer ScienceStatic Program AnalysisSoftware DesignProgram AnalysisSoftware TestingFormal MethodsSystem Software
A user's manual is described and is provided for ASAP, an automated tool for static source code analysis of programs written in the Ada programming language. The purpose of the analysis is to collect and store information pertaining to the analyzed Ada compilation unit's size, complexity, usage of Ada language constructs and features, and static interface with other Ada compilation units.