Hacker GitHub

← All repos

google/wuffs

View on GitHub ↗ ★ 4,874 C

Wrangling Untrusted File Formats Safely

121 mentions on Hacker News by 76 people: 18 stories, 103 comments · first 2017-11-16 · latest 2026-10-29

Mentions per year 121 mentions · busiest year 2021 (28)
20082026
AllStoriesComments NewestTopOldest
  1. …asked question. There's also some more words, on Rust and on other related work like Dafny, at https://github.com/google/puffs/blob/master/doc/related-work... Edit: It's also not Rust per se, but the numbers at…
    comment by nigeltao · 2017-11-16 · in Puffs: Parsing Untrusted File Formats Safely
  2. Looks like it is not a general system, they prove the hardcoded binary operations: https://github.com/google/puffs/blob/master/lang/check/asser...
    comment by haskellandchill · 2017-11-16 · in Puffs: Parsing Untrusted File Formats Safely
  3. Good read so far: https://github.com/google/puffs/blob/master/doc/puffs-the-la...
    comment by robobro · 2017-11-16 · in google/puffs: Parsing Untrusted File Formats Safely