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 7 of 7 for “"Memory Leak"”.

  1. Memory leak Masking Using Dual Heap Organization

    … virtual implementation provided a new base for memory organization such that the heap storage can be virtually enlarged to include the extremely large disk space. Two simulation models were used to investigate aging in physical space as well as the dual heap implementation. The simulators …

    siu-theses Repository record for Memory leak Masking Using Dual Heap Organization (opens in a new tab)

  2. Graph Mining Algorithms for Memory Leak Diagnosis and Biological Database Clustering

    … mining as a tool for diagnosing potential memory leaks from Java heap dumps. Memory leaks occur when memory that is no longer in use fails to be reclaimed, resulting in significant slowdowns, exhaustion of available storage, and eventually application crashes. Analyzing the heap dump of a …

    vt Repository record for Graph Mining Algorithms for Memory Leak Diagnosis and Biological Database Clustering (opens in a new tab)

  3. Developing practical pointer analysis for large-scale software

    … Third, Saber, a value-flow analysis for memory leak detection, is the first full-sparse analysis to resolve a classical source-sink problem by capturing value flows of all memory locations represented by both top-level and address-taken pointers. Saber is also the first major client for …

    unsw Repository record for Developing practical pointer analysis for large-scale software (opens in a new tab)

  4. Human-centric verification for software safety and security

    … <p>The second class of vulnerabilities is Memory Leaks. Although the description of the Memory Leak (ML) problem is known, a proof of the correctness of the verification is needed to establish trust in the results. We present an approach inspired by the works of Alan Perlis to compute …

    iastate Repository record for Human-centric verification for software safety and security (opens in a new tab)

  5. Program analysis of temporal memory mismanagement

    … benefits obtained from flexible low-level memory access and management sacrifice language-level support for memory safety and garbage collection. Memory-related programming mistakes are introduced as a result, rendering C/C++ programs prone to memory errors. A common category of programming …

    unsw Repository record for Program analysis of temporal memory mismanagement (opens in a new tab)

  6. mVizion: taking a closer look at memory utilization in C/C++ programs

    … of CPU utilization; there is an evident lack of memory map analysis and RAM usage efficiency. mVizion is a novel visualization tool, combined with a digital forensic tool Cafegrind, shows how different memory utilization patterns are being used by different C/C++ programs, running in Unix/Linux …

    uiuc Repository record for mVizion: taking a closer look at memory utilization in C/C++ programs (opens in a new tab)