Hacker News new | ask | show | jobs
by Zakis1 4 days ago
No you cannot get a static analysis tool to guarantee 97% of zig code was safe. Well, you can - the tool is called the borrow checker.

Do you know what's infinitely cheaper and faster than an LLM running nightly reviews of all of the code and infact mathematically provable that the code (and any new code) is memory safe? It's called the borrow checker.
1 comments
dnautics 4 days ago
it seems like a reasonable enterprise to intercept the data dependency graph from the zig compiler and subject it to analysis to prove memory safety parameters:

(my wip experiment: ) https://github.com/ityonemo/clr

link