Comment by onox

If you want to avoid vulnerabilities and have fun with proving that your code is functionally correct, try the Ada/SPARK interactive tutorials at [1] :)

[1] https://learn.adacore.com/courses/intro-to-spark/chapters/01...