Ask HN: A retrofitted C dialect?

Re:Ask HN: A retrofitted C dialect? by edwcross on Wednesday February 26, 2025 @02:45AM (#43181627)

Funny you mentioned TrustInSoft but not its open-source origin (which is still under development and evolving in a different direction), Frama-C. I cannot compare it to IKOS, but their usefulness depends a lot on the type of code and verification needs.

[ Parent | on HN ]

Re:Ask HN: A retrofitted C dialect? by AlotOfReading on Wednesday February 26, 2025 @10:19AM (#43184455)

I want to like Frama-C, but I've never managed to actually use it successfully on real projects and the repeated experiences have soured me on it. Getting a recent version installed was a serious chore last time I tried, and no one else is willing to deal with ACSL to get the full value.

[ Parent | on HN ]

Re:Ask HN: A retrofitted C dialect? by KsassPeuk on Friday February 28, 2025 @09:11AM (#43205789)

At some point in the past you also posted the ACSL cast badly documented. I asked you what you needed exactly, but you probably missed the message. So let me try again:

What kind of documentation would you expect in addition to ACSL by Example and the WP tutorial?

[ Parent | on HN ]