User Ratings
Rate This Project
Login To Rate This Project
User Reviews
-
AdaControl is a powerful tool for spotting global variables, dead code, and many other annoyances. If you launch it on a main program and use the recursive option (-r), it will check the entire project's sources without effort!
-
Really nice, lot of rules to choose from! With this tool it is possible to ensure that the project follows the agreed source guidelines.
-
Don't believe you do apply some design rules, unless you can check these are indeed followed: here comes AdaControl, a must have. Not as strong as formal check, but really can help. More handy than formal methods, more safe than no check at all (well, beyond types and cie.): recommended entry point to Ada software validation. Bonus: not just a checker, you can do hight level semantic request with it too! Really more relevant than greping a source directory for some identifiers…
- Previous
- You're on page 1
- Next