Uh isn't the biggest problem that all the system code was written in an almost unparsable grammar and practically impossible to audit automatically ?
If the language was considered formalized data as well as the data it operates on, such formalized checking features would be easy to grab. Ever heard of s-expressions ? On 31 mai 2011 18:58, "Amit Kulkarni" <amitk...@gmail.com> wrote: