3 ms·

[flagged]

• Ar-Curunir 1y ago
  You can just read the paper instead of making negative comments: https://patpannuto.com/pubs/schuermann2025omniglot.pdf https://patpannuto.com/pubs/schuermann2025omniglot.pdf They are in particular careful to never state that bindgen emits the wrong code. Maybe they could have said that bindgen in fact does handle this case correctly. But Omniglot seems to be doing a lot more than bindgen, and
  • IshKebab 1y ago
    Well... he does have a point. Don't demonstrate your great tool with an issue that the existing solution doesn't actually have.
    • ARob109 1y ago
      Learning Rust ATM and using bindgen on a C header. Just looked and it generates Rust enums from C enums. I'm not sure what the default behavior of bindgen is, but it seems there is option for constifying enums --constified-enum <REGEX> Mark any enum whose name matches REGEX as a series of constants --constified-enum-module <REGEX> Mark any enum whose name matches REGEX as a module of constants IMO, saying bindgen avoids the issue presented in the article is not accurate. edit: formatting
      • IshKebab 1y ago
        Does it mark them as non-exhaustive?
      • xTachyon 1y ago
        https://gist.github.com/xTachyon/a2d05ae580a939f2d6f4f65509139701 https://gist.github.com/xTachyon/a2d05ae580a939f2d6f4f655091... You can force it to generate Rust enums, but it doesn't by default.
  • gavinray 1y ago
    Where'd you find this paper link, out of curiosity? The referenced footnote, [9], leads to: https://www.usenix.org/conference/osdi25/presentation/schuermann https://www.usenix.org/conference/osdi25/presentation/schuer...
    • Ar-Curunir 1y ago
      Just googling the paper title
• deleted 1y ago
  [deleted]
• tomhow 1y ago
  > (Copied from Reddit) Please don't do this, thanks!