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 9 of 9 for “"source code analysis"”.
-
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.
-
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 …
-
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 …
-
Systém pre introšpekciu v C++
Introšpekcia a reflexia sú silné programovacie nástroje umožňujúce všeobecné riešenie problematických úloh, ako napríklad multiple dispatch alebo serializácia. V C++ je pod- pora pre introšpekciu veľmi slabá a reflexia nie je možná vôbec. Štandard jazyka sa za posledné obdobie značne rozvinul, …
-
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 …
-
Towards Secure and Resilient Machine Learning Systems
… architectures have been successfully adapted to source code analysis by pretraining and fine-tuning models on large corpora of programming languages. In parallel, the emergence of Vision Transformers (ViTs) has demonstrated exceptional performance in CV applications, further challenging the …
-
Why Certified IoT Devices Remain Untrustworthy
… more comprehensive testing including design and source code analysis to even have a chance at detecting intentionally hidden backdoors and assuring trust. Intentionally hidden backdoors are a growing concern and current methods of certifications are ineffective in detecting this kind of backdoor. …
-
A software engineering approach to the integration of CAD/CAM systems
… workbench is described which aids in the design, analysis and automatic generation of program code for the integration of CAD/CAM applications based on a variety of integration models. The requirements and detail design of a CASE integration toolkit, which will be incorporated into the CAD/CAM …
-
Pokročilá interpretace změn výkonu software
Cílem této práce je vytvořit pokročilý algoritmus pro identifikaci vhodných verzí projektu s cílem identifikovat výkonnostní změny a chyby. Pro tento účel je popsán nástroj Perun (vyvíjen v rámci výzkumné skupiny VeriFIT ), systémy pro správu verzí, metody sledování změn výkonu mezi jednotlivými …