Initial support for static fields in JcInterpreter

[Saloed]

Initial support for static fields

• Represent statics with UFieldLValue using unique concrete address for each JcClass.
• Analyze static initializers on first access.

[CaelmBleidd]

I didn't get, how it works with initialization time. To resolve static values in results we have to have some kind of initial memory for them, and it is different from the one we use for regular fields. How does resolve for static fields work?

[Saloed]

I didn't get, how it works with initialization time. To resolve static values in results we have to have some kind of initial memory for them, and it is different from the one we use for regular fields. How does resolve for static fields work?

We currently don't have a mode when statics are treated as input values. For now, we run the static initializer once on a first access as if we were analyzing the entrypoint in a fresh environment.