Towards Practical and Automated Type-Based Program Analysis in Java

Null pointer exceptions (NPEs) and tainted data flows remain among the most pervasive and critical classes of bugs in modern software systems, particularly in languages like Java. Type-based static analysis offers powerful tools to eliminate these errors at compile time. However, widespread adoption...

Full description

Saved in:

Bibliographic Details
Main Author:	Karimipour, Nima
Format:	Dissertation
Language:	English
Published:	ProQuest Dissertations & Theses 01.01.2025
Subjects:	Computer Engineering Computer science
ISBN:	9798263308476
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!