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 4 of 4 for “"Static Single Assignment"”.
-
Compilation Techniques for Explicitly Parallel Programs
… control flow graph, and the concurrent static single assignment form. Based on these representations, we develop an analysis technique, called concurrent global value numbering, by extending classical value partitioning and global value numbering. We also extend commonly used classical …
-
Program Transformations for Vulnerability Detection in Binary Executable Files
… binary level. The approach taken was based on static vulnerability analysis, which entails the re-engineering of low level language by leveraging on the abundant transformation techniques such as FermaT transformation system within Wide Spectrum Language (WSL) program. This research highlights …
-
Compiler and Machine Learning-based Predictive Techniques for Security Enhancement through Software Debloating
… thesis develops three techniques that combine static analysis with dynamic predictions based on machine learning (ML) to address the above shortcomings. They are fully sound, obtain strong gadget reduction, and are shown to break shell-spawning gadget chains and stop real-world attacks arising …
-
Optimizing Runtime Performance of Dynamically Typed Code
… time. In order to provide the benefits of static and dynamic typing, hybrid typing languages provide both typing approaches in the very same programming language. Nevertheless, dynamically typed code in this languages still shows lower performance and lacks early type error detection. The …