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 48 for “"Code analysis"”.
-
Guiding code analysis and generation with probabilistic constraints
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-04-12 without embargo terms
-
Code analysis and rewriting for data debloating and improved fuzz testing
Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2025-08-01
-
Identifying and documenting false positive patterns generated by static code analysis tools
Static code analysis tools are known to flag a large number of false positives. A false positive is a warning message generated by a static code analysis tool for a location in the source code that does not have any known problems. This thesis presents our approach and results in identifying and …
-
Testing a web application for security using static code analysis and dynamic analysis
… which uses a combination of static and dynamic analysis to identify security vulnerabilities. The framework also supports correlation of results from multiple static analysers. Any static analyser which can output the intra-procedural dataflow of the system being tested and output results in XML …
-
Estimating task execution delay in a real-time system via static source code analysis
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1993.
-
Augmenting large language models with static code analysis for accelerated software development and quality improvements
… the software development lifecycle using static analysis tools. NGQA integrates detection, grounding, revision, validation, and coordination into a unified workflow through a verification-aware artificial intelligence (AI) agent architecture. The pipeline consists of six steps that combine …
-
Compiler-assisted rollback recovery
… three compiler capabilities are applied: (1) code insertion, (2) code analysis, and (3) code transformation.
-
Design of a cable-stayed precast post-tensioned box girder bridge
… box girder bridge is presented. The analysis considers dead load, and live loadings acting on the girder using nonlinear analysis assumptions governing the bridges response. Since specific codes governing cable-stayed bridges are not presented in the AASHTO Code, analysis was based on …
-
Fear of code : an approach to integrating computation with architectural design
… through a combination of interface improvements, code analysis and management tools, and the formation of open source communities for support and development.
-
Building dependability arguments for software intensive systems
… substantiation, such as automatic code analysis or cryptographic proofs. The method is evaluated on case studies drawn from the Burr Proton Therapy Center, operating at Massachusetts General Hospital, and on the Pret a Voter cryptographic voting system, developed at the University …
-
Testing and Security Related Considerations in Embedded Software
… is presented in this paper. The use of static code analysis can be used to verify the functionality of embedded software code. Ideally, a software code should be tested in a way that guarantees correct behavior across all possible execution paths. While in practices this is typically infeasible …
-
Adaptive self-prompting in agentic LLM frameworks for embedded code fault detection
… large language model (LLM) frameworks for code fault detection in embedded systems. Traditional static analysis and existing LLM-based approaches often rely on fixed prompts and exhibit overconfidence, leading to misclassifications. To address these limitations, we propose two complementary …
-
A critical analysis of two refactoring tools
This study provides a critical analysis of refactoring by surveying the refactoring tools in IDEA and Eclipse. Ways are discussed to locate targets for refactorings, via detection of code smells from static code analysis in IDEA and during the compilation process in Eclipse. New code smells are …
-
CoMoTo: the collaboration modeling toolkit
… system. CoMoTo is an end-to-end data management, analysis, and visualization system intended to assist instructors of programming courses to monitor student collaboration, both licit and illicit. In this thesis, I will first discuss two use cases that foreshadow CoMoTo's broad utility in student …
-
Measurement and Development for Automated Secure Coding Solutions
… efforts, there has also been a rise in source code vulnerabilities. Advanced security tools have been created to identify these vulnerabilities throughout the lifetime of the developer's ecosystem and afterward, before the vulnerabilities are exposed. One such popular method is Static Code …
-
Source code security analysis and fuzzy logic
… is targeted towards elimination of such errors. Code security and Java code security specifically was not a critical issue a decade ago. However, the development of the Internet-based applications and network architectures, which now employ millions of stand-alone computers that perhaps were …
-
Design for Security: Measurement, Analysis and Mitigation Techniques
This dissertation is focused on measurement and analysis of security vulnerability impact and root causes, as well as the design of several techniques for vulnerability mitigation. The research begins with the analysis of the security vulnerabilities published in the Bugtraq list and CERT …
-
Automatic input rectification
… processes correctly. Moreover, a manual code analysis shows that, if an input does satisfy the learned constraints, it is incapable of exploiting these vulnerabilities. We also present the results of a user study designed to evaluate the subjective perceptual quality of outputs from …
-
An ontology-based reengineering methodology for service orientation
… understanding, decomposing and reusing legacy code turn to be important activities. In this thesis, a methodology for Service-Oriented Software Reengineering (SOSR) is proposed to support the identification, extraction and integration of reusable legacy code. According to both the result of …
Page 1 of 3