[图书][B] DSLs, Annotations, and Dynamic Instrumentation: Specifying the Memory Layout of a Memory Manager to Detect Bugs with Typestate
K Cronburg - 2021 - search.proquest.com
In this dissertation we present the design, implementation, and study theefficacy of three
interrelated techniques for debugging memory safety errors inmodern memory management …
interrelated techniques for debugging memory safety errors inmodern memory management …