This repository contains the infrastructure for running lightweight checkers on Ada programs using the Libadalang technology, as well as a set of checkers. For an example of use of such checkers, see this blog post.
- The adacheck folder contains the framework used to design new lightweight checkers
- The checkers folder contains a set of predefined checks based on adacheck
This code is licensed under GPL v3.
Download the source of Libadalang and follow the instructions given in the README.
In order to run the testsuite, you need to install GNATpython. You can then start it with the following command-line:
./run_testsuite.sh
This will display the status of all executed testcases as they are executed.