News for hackers. Stuff that matters.

A comment on Memory Safe Languages in Android 13. Parent comment

Re:Memory Safe Languages in Android 13 by harry8 on Thursday December 01, 2022 @11:50PM (#33826932)
Now that is interesting. I didn't know that and will have to look further to understand what it means.

Wireguard seems to be written almost entirely in C, is that right?

[ Parent | on HN ]
Re:Memory Safe Languages in Android 13 by KMag on Friday December 02, 2022 @02:34AM (#33827876)
The symbolic proofs of the protocol are independent of the implementation. The portions of the implementation that are formally verified are written in F* and Coq, and emitted as machine-generated C.
[ Parent | on HN ]