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 270 for “"static analysis"”.
-
Static analysis for circuit families
… by current tools. For instance, there are no static guarantees about the properties of the description generated as a result of instantiating a generic description with particular parameter values. Addressing both problems while remaining backward compatible led us to select a statically typed …
-
Static analysis of differentiable programs
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-03-28 without embargo terms
-
Static Analysis to improve RTL Verification
… goal of this thesis is to leverage some of the static analysis techniques to reduce the effort of testing and verification at the register transfer level. Studying a design at register transfer level gives exposure to the relational information for the design which is inaccessible at the …
-
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 …
-
Automated static analysis of virtual-machine packers
… We propose a novel approach to automate the analysis process of virtualization protected executables. Our design avoids many pit- falls and performance issues of dynamic-analysis systems by only employing static program-analysis techniques and emphasizing work-reuse and generality in order to …
-
Programming and static analysis with graded monads
… analyses. This thesis first defines the class of analysis-graded monads, a class of graded monads whose intended use is to represent what is commonly thought of as `program analysis’ or `effect system’. A contribution of this thesis is a zoo of examples of analysis-graded monads, as well as their …
-
Improving the Efficiency of Graph-Based Static Analysis
Generally speaking, static program analysis is to figure out whether a program can do whatever the program designers want it to do without actually executing the program. From different perspectives, static analysis studies various properties of a program, including correctness, robustness, …
-
Hybrid Testing: Combining Static Analysis and Directed Fuzzing
… fuzzing are limited in scope or in the case of static analysis, have a high false positive rate. Without improved automated testing, it can be challenging for developers to debug large, complex codebases. In this paper, Hybrid Testing is presented as a solution. Hybrid Testing combines static …
-
Including native methods in static analysis of Java programs
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.
-
Predicting execution behavior for codesign synthesis using static analysis
… This thesis describes a methodology to perform static analysis of the program, generates an annotated flow graph depicting the control and data dependence of the input program and predicts its timing behavior using two different approaches. The tool can be integrated into a compiler for a custom …
-
Static Analysis of Android Secure Application Development Process with FindSecurityBugs
… curriculum.</p> <p>In this paper, we present a static security analysis approach with the FindSecurityBugs plugin for Android secure mobile software development based on OWASP mobile security recommendations to promote secure mobile software development education and meet the emerging industrial …
-
Static analysis for architecture-implementation conformance in robust embedded systems
… architectural properties in the system using static analysis. In particular, we verify two key properties: (a) memory isolation and (b) safe value propagation paths from non-core to core components communicating using shared memory, safe exchange of data between components of different …
-
Design of structurally-sound masonry buildings using 3D static analysis
In the design of buildings, structural analysis is traditionally performed after the aesthetic design has been determined and has little in uence on the overall form. This thesis presents methods to integrate architectural design and structural analysis. While existing tools focus on providing an …
-
Finding security bugs in web applications using domain-specific static analysis
… of web application implementations, allowing analysis of even the largest real-world applications. In contrast to existing general-purpose verification approaches, this work was inspired by the hypothesis that narrowing our focus might produce more effective tools. Our approach has been to …
-
A static analysis to detect coupling and conflicts in declarative specifications
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.
-
Helping Student Programmers Identify and Fix Bugs Using Static Analysis Tools
Static analysis tools can be used to help programmers identify problems in their code. However, these tools often assume that developers have some programming background knowledge, so they can be hard to use in an educational context. We investigated the most common FindBugs errors from student …
-
Low-Level Static Analysis for Memory Usage and Control Flow Recovery
… 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 dynamic control flow exists, creating a recursive …
-
A Comparative Static Analysis For Invasive Species Management Under Risk Neutral Preferences
… and self-insurance. (2) The comparative static results are derived in the benchmark case of risk neutral preferences and qualitatively compared to an extended case of risk averse preferences. The results of the analysis indicate that under risk neutral preferences the signs of the …
-
Finite-Element Weighted Residual Methods for Static Analysis of Reinforced Axisymmetric Shells
Made available in DSpace on 2014-12-14T14:42:12Z (GMT). No. of bitstreams: 1 7726749.pdf: 2710706 bytes, checksum: e3154d17a1a582dbab012f673f1ec879 (MD5) Previous issue date: 1977
Page 1 of 14