Published January 24, 2026
| Version v2
Software
Open
PhD Artifact: StarMalloc: Formal Verification and Evaluation of a Modern, Hardened Memory Allocator
Authors/Creators
-
1.
Institut national de recherche en informatique et en automatique
Files
Files
(3.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:21b360e169c86cd03776e0966c9149f5
|
3.3 MB | Download |
Additional details
Software
- Repository URL
- https://github.com/Inria-Prosecco/StarMalloc