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 3 of 3 for “"value range analysis"”.
-
Compiler Optimisation of Typeless Languages
… overlap. The major part of the thesis concerns value range analysis. Based on the theoretical framework of abstract interpretation, we describe an analysis of the intermediate code that predicts safe approximations to the run-time value ranges of variables and memory used by the program being …
-
Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models
… formally-based tools can be employed for various analysis. In this dissertation, we adopt one such formal modeling language - MRICDF (Multi-Rate Instantaneous Channel-connected Data Flow). MRICDF is a graphical, declarative, polychronous modeling language, with a formalism that allows the modeler …
-
Program Transformations for Vulnerability Detection in Binary Executable Files
… software on any hardware platform. Vulnerability analysis entails the process of determining whether a system contains a flaw which an attacker can exploit to compromise the system. Across the years, many approaches and strategies to perform vulnerability analysis and detection have been developed …