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 “"Static Binary Analysis"”.
-
Trace-weighted binary comparison for software update management
… we show that adding execution traces to the static binary analysis creates much more informative results than binary diffing alone.
-
Guided Automatic Binary Parallelisation
… legacy binaries. The first, GBR (Guided Binary Recompilation), is a tool that recompiles stripped application binaries without the need for the source code or relocation information. GBR performs static binary analysis to determine how recompilation should be undertaken, and produces a …
-
rave: A Framework for Code and Memory Randomization of Linux Containers
… components: librave, the library responsible for static binary analysis and instrumentation, and CRIU-rave, an extended version of the battle-tested process migration tool available for Linux. In our prototype of this framework, we have shown that these tools can be used to rewrite live …
-
On several problems regarding the application of opportunistic proximate links in smartphone networks
… evaluation of a novel declarative approach to static binary analysis of Android apps, which underlies the problem of detecting malware on the Android platform. Real Android malware samples are analyzed, and techniques to robustly handle them are proposed and evaluated.</p>
-
On Several Problems Regarding the Application of Opportunistic Proximate Links in Smartphone Networks
… evaluation of a novel declarative approach to static binary analysis of Android apps, which underlies the problem of detecting malware on the Android platform. Real Android malware samples are analyzed, and techniques to robustly handle them are proposed and evaluated.
-
Low-Level Static Analysis for Memory Usage and Control Flow Recovery
… flow recovery (CFR) is also important for binary decompilation, verification, patching, and security analysis. It lifts raw unstructured data into a form that allows reasoning over behavior and semantics. However, doing so requires interpreting the behavior of the program when indirect or …