Soundly Handling Static Fields: Issues, Semantics and Analysis

Details Soundly Handling Static Fields: Issues, Semantics and Analysis Soundly Handling Static Fields: Issues, Semantics and Analysis

2010-07-19

arxiv.org/abs/1007.3249v2

Electronic Notes in Theoretical Computer Science 253, 5 (2009) 15 - 30

Computer Science

Programming Languages

Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009)

Scientific paper

10.1016/j.entcs.2009.11.012

Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class initializer. We propose an analysis which compute, for each program point, the set of static fields that must have been initialized and discuss its soundness. We show that such an analysis can be directly applied to identify the static fields that may be read before being initialized and to improve the precision while preserving the soundness of a null-pointer analysis.

Affiliated with

Also associated with

No associations

Rating

Soundly Handling Static Fields: Issues, Semantics and Analysis does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Soundly Handling Static Fields: Issues, Semantics and Analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Soundly Handling Static Fields: Issues, Semantics and Analysis will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-63235