News for hackers. Stuff that matters.

A comment on Google assigns a CVE for libwebp and gives it a 10.0 score. Parent comment

Re:Google assigns a CVE for libwebp and gives it a 10.0 score by PhilipRoman on Tuesday September 26, 2023 @12:17PM (#37661553)
Indeed, I would kill for a proof assistant that integrates with C
[ Parent | on HN ]
Re:Google assigns a CVE for libwebp and gives it a 10.0 score by namibj on Wednesday September 27, 2023 @02:31AM (#37670937)
Check out the tooling from the seL4 project. I'm aware they used intermediate levels between raw C and the proof assistant, but I don't see why that should be prohibitive.
[ Parent | on HN ]