**NO! NOT less secure than C** \- but less secure than _formally verified_ C. 
That is a _very significant_ difference.

"Normal" C code, i.e. C code that has not been formally designed and verified 
is considerably less secure than normal Nim code.

The point is that for C - unlike for most languages - there _are_ static 
analysis tools avalaible. But those same tools can also be used to verify C 
code produced by Nim.

Reply via email to