Trying out Frama-C (2018) | Hacker News Reader