Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"deallocation"”.
-
Detecting non-secure memory deallocation with CBMC
Scrubbing sensitive data before releasing memory is a widely recommended but often ignored programming practice for developing secure software. Consequently, sensitive data such as cryptographic keys, passwords, and personal data, can remain in memory indefinitely, thereby increasing the risk of …
-
Practical Modern Quantum Programming
… and efficient ancilla qubit allocation, use, and deallocation in a programming language with a reversible subset. This approach enables the compilation of optimized quantum circuits from programs with arbitrary ancilla operations. In contrast with other recent work on ancilla deallocation, the …
-
Program analysis of temporal memory mismanagement
… mistakes is defined by the misplacement of deallocation operations, also known as temporal memory mismanagement, which can generate two types of bugs: (1) use-after-free (UAF) bugs and (2) memory leaks. The former are severe security vulnerabilities that expose programs to both data and …
-
mVizion: taking a closer look at memory utilization in C/C++ programs
… memory accesses, including both allocations and deallocation, from different applications. mVizion is then used to interpret these traces, and through the use of multiple windows present detailed information about each distinct data structure; thus offering a comprehensive view and deeper …
-
Region-based Program Specialization
… with annotations that make memory allocation and deallocation explicit. The formal correctness proof of our novel specialization technique based on a region type system requires two theoretical building blocks: a type soundness proof for the region calculus and a correctly proven equational theory …