News for hackers. Stuff that matters.

A comment on A cryptographically secure bootloader for RISC-V in Rust. Parent comment

Re:A cryptographically secure bootloader for RISC-V in Rust by adgjlsfhk1 on Tuesday August 06, 2024 @09:18PM (#41177283)
This isn't only about formal audits. Memory corruption and UB type bugs are also some of the hardest to debug since they may not reproduce in debug builds.
[ Parent | on HN ]
Re:A cryptographically secure bootloader for RISC-V in Rust by uecker on Saturday August 10, 2024 @03:13PM (#41211549)
With sanitizers and valgrind I do not quite see this, in my experience subtle logic in overly complicated logic bugs much harder to debug.
[ Parent | on HN ]