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 20 of 120 for “"program analysis"”.
-
Program analysis of temporal memory mismanagement
In the use of C/C++ programs, the performance 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 …
-
Reliable Data Processing Enabled By Program Analysis
… processing, which is often performed by computer programs. In scientific computation, data are collected through instruments or sensors that may be exposed to rough environmental conditions, leading to errors. Furthermore, during the computation process data may not be precisely represented due to …
-
Scalable Automated Methods for Dynamic Program Analysis
… have developed tools for testing both C and Java programs. We have used the tools to find bugs in several real-world software systems including SGLIB, a popular C data structure library used in a commercial tool, implementations of the Needham-Schroeder protocol and the TMN protocol, the scheduler …
-
A knowledge-based approach to automatic program analysis
… reliable and available documentation about a program is its source code and all the relevant information must be extracted from it.
-
Furthering Datalog in the pursuit of program analysis
… three contributions: expanding the number of programs Datalog, specifically Soufflé (a superset of Datalog), can support; providing a declarative implementation of a well-known analysis; and introducing a new program analysis. First, a new construct is introduced into Soufflé allowing …
-
TACHYON : customizable program analysis via generic abstract interpretation
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.
-
User-Intention Based Program Analysis for Android Security
… security by presenting a new quantitative program analysis framework for security vetting of Android apps. We first introduce a highly accurate proactive detection solution for detecting individual malicious apps. Our approach enforces benign property as opposed of chasing malware …
-
Concurrent program analysis for state space generation and complexity evaluation.
Concurrent program analysis for state space generation and complexity evaluation.
-
Analysing Student Code Submissions Using Program Analysis Techniques and Large Language Models
Programming students struggle to interpret technical diagnostics from static analysis tools, while large language models provide accessible explanations but lack formal guarantees. This thesis investigates when static analysis grounding—that is, providing the model with structured tool output (such …
-
Static Program Analysis to Enhance Profile Independence in Instruction-Level Parallelism Compilation
… three of these issues through the use of static program analysis. For the case when no profiling is performed, this dissertation improves the state of the art in static branch prediction, and investigates the problems associated with static loop-trip-count prediction and static frequency …
-
SDM Program analysis : the implementation and diffusion of organizational learning in the workplace
Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1998.
-
Kidquest Childhood Obesity Prevention program: Analysis of Its Influence on health of Rural South Dakota 5th and 6th Grade Children
… blood pressure, dietary choices. The KQ program was shown to provide reinforcement for nutrition and physical education in the school setting. It was also able to help students practice healthy options and improved some of the health parameters that prevent childhood obesity. The Teen …
-
Static analysis for incomplete object-oriented programs
Static analysis is significant since it provides the information about the run- time behaviour of an analysed program. Such information has many applications in compiler optimisations and software engineering tools. Interprocedural anal- ysis is a form of static analysis, which can exploit …
-
Programming and static analysis with graded monads
Programmers writing purely functional code have long represented impure, side-effecting computation using monads. Recent research in program semantics has focussed on graded monads, a useful generalisation of monads which allow the programmer to establish useful properties of a computation purely …
-
Convicted by memory: Automatically recovering spatial-temporal evidence from memory images
… a memory forensics framework which leverages program analysis to automatically recover spatial-temporal evidence from memory images by understanding the programs that generated it. This framework consists of four techniques, each of which builds upon the discoveries of the previous, that …
-
Methodologies, Techniques, and Tools for Understanding and Managing Sensitive Program Information
… end users. Collectively referred to as sensitive program information (SPI), these building blocks are part and parcel of modern software systems in domains ranging from enterprise applications to cyberphysical setups. Hence, protecting SPI has become one of the most salient challenges of modern …
-
A scalable mixed-level approach to dynamic analysis of C and C++ programs
… task of constructing robust and scalable dynamic program analysis tools for programs written in memory-unsafe languages such as C and C++, especially those that are interested in observing the contents of data structures at run time. In this thesis, I first introduce my novel mixed-level approach …
-
Automatic Generation and Management of Program Analyses
Designing a program analysis (for use in optimizing compilers) is a time-consuming, complicated process because it involves many parameters. In particular, one must carefully measure the accuracy of the analysis against its cost. To reach an acceptable cost-accuracy balance the designer must …
-
A model checker for Java bytecode, with novel applications
… have designed and developed an automated static program analysis tool which can check whether the given program satisfies the required safety properties for the Java bytecode. Using the combination of model checker and symbolic execution with lazy abstraction, we have been successful to validate …
-
On Improving Backwards Reasoning with Symbolic Execution: Integrating Loop Summarization, Alias Analysis, and Compositional Summarization
Program analysis techniques play a crucial role in modern software development by helping developers find bugs and verify code behavior. These techniques rely heavily on systematic reasoning about program execution paths. Symbolic execution has emerged as a powerful method for systematic program …
Page 1 of 6