News for hackers. Stuff that matters.

A comment on Checked C: Making C Safer by Extension. Parent comment

Re:Checked C: Making C Safer by Extension by vmchale on Sunday September 09, 2018 @11:28PM (#17949207)
> integer under/overflow

very few languages actually solve this completely. you'd need refinement types to do so.

[ Parent | on HN ]

There are no comments on this comment yet.