Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Frama-C is a suite of tools dedicated to the analysis of software written in C. Parent comment
I ran it over a couple of old finished projects and it found a problem in each one. Awesome.
Unfortunately it misses a class of errors memcpy would do,( similar to heartbleed ) , if copy size is determined at runtime.
There are no comments on this comment yet.
I ran it over a couple of old finished projects and it found a problem in each one. Awesome.
Unfortunately it misses a class of errors memcpy would do,( similar to heartbleed ) , if copy size is determined at runtime.