Browsing Division of Electrical, Electronics, and Computer Science (EECS) by Subject "Java Maps"
Now showing items 1-1 of 1
-
Improving the Precision of a Scalable Demand-Driven Null- Dereference Verification for Java
(2018-03-19)The problem addressed in this thesis is sound, scalable, demand-driven null-dereference verification for Java programs via over-approximated weakest preconditions analysis. The base version of this analysis having been ...