StarMalloc: verified memory allocator https://lobste.rs/s/jpfyd6 #compsci #formalmethods #security
https://dl.acm.org/doi/10.1145/3689773
StarMalloc: verified memory allocator https://lobste.rs/s/jpfyd6 #compsci #formalmethods #security
https://dl.acm.org/doi/10.1145/3689773