News for hackers. Stuff that matters.

A comment on Frama-C is a suite of tools dedicated to the analysis of software written in C.

Re:Frama-C is a suite of tools dedicated to the analysis of ... by xvilka on Friday April 11, 2014 @06:36PM (#7576007)
It is very handy - http://xvilka.me/frama-c.png - screenshot of the integer overflow found.
[ Parent | on HN ]
Re:Frama-C is a suite of tools dedicated to the analysis of ... by z3phyr on Saturday April 12, 2014 @01:03AM (#7577038)
I really like your config :)
[ Parent | on HN ]