John Regehr personal blog
Heartbleed and Static Analysis
The issue with things like Frama-C is that they are by far the easiest to use if you start out a project using them, and you often don’t know which projects you retroactively wished you had done so until they are big and crufty.
- Points
- 134
- HN comments
- 36
- Submissions
- 1
- Cited by
- 0 commenters
Security & PrivacySoftware Engineering2014
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 11, 2014 | Heartbleed and Static Analysis by pascal_cuoq | 134 | 36 |
