It is very handy - http://xvilka.me/frama-c.png - screenshot of the integer over... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		xvilka on April 11, 2014 \| parent \| context \| favorite \| on: Frama-C is a suite of tools dedicated to the analy... It is very handy - http://xvilka.me/frama-c.png - screenshot of the integer overflow found.

z3phyr on April 12, 2014 [–]

I really like your config :)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact