Basic topics considered will be programs and program structure in general and Java syntax, data types, flow of control, classes, methods and objects, arrays, exception handling, and recursion. In ...

Abstract: Describes an effective compile-time analysis for software prefetching in Java ... We develop a new data flow analysis to detect regular accesses to linked data structures in Java programs.

There exist several open-sourced and commercial security tools that automatically screen Java programs to detect misuses ... and path sensitive data flow of misuse cases. The benchmark also includes ...