choice of language can have an effect on the security of code. Some languages
are inherently safer than others. C and C++ are notoriously vulnerable to memory
corruption attacks, while others, such as Ada, Standard ML [249] (SML), Pascal,
Java, and C# exhibit the properties of type safety (i.e., operations in these