Permchecker: A Toolchain for Debugging Memory Managers with Typestate

Published --