News for hackers. Stuff that matters.

A comment on Frama-C: Modular Analysis of C Programs. Parent comment

Re:Frama-C: Modular Analysis of C Programs by steerablesafe on Tuesday October 06, 2020 @09:12AM (#24697301)
Note that it's especially nasty in C, because it's either true or undefined behavior due to signed integer overflow.
[ Parent | on HN ]

There are no comments on this comment yet.