-
Notifications
You must be signed in to change notification settings - Fork 18
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Support for static fields and their initializations #46
Comments
We're currently in the process of adding OO features to the slicer, and static fields are far down the list. I'm afraid this slicer still has at least a month to reach a minimum level of usability, regarding Java features. I'll leave this issue open to track the progress on static fields and their initialization. If you want the specifics, we don't know when the static fields are initialized, as that depends on where was the first reference to that class in any given execution. Thus, there's no clear place in the inter-procedural control-flow where the initialization happens. |
Thanks for the response! I am really looking forward to using this in my own research projects. |
I am getting a NullPointerException while building the SDG for a program that creates an object in a static field
MWE:
The public constructor here is redundant, but I also get the exception when the class has instance variables. Could you please take a look at this bug? Thanks!
Stack trace:
The text was updated successfully, but these errors were encountered: