dhh1128 / intent

the intent formal language
https://intentlang.org
2 stars 1 forks source link

use template metaprogramming to prevent int overflow bugs #124

Open dhh1128 opened 8 years ago

dhh1128 commented 8 years ago

See https://capnproto.org/news/2015-03-02-security-advisory-and-integer-overflow-protection.html.

Note also his comment about declaring/asserting relationships between variables (e.g., this variable is an index into this array, so it should never exceed the array's element count). Could that be done with marks?