org.argus.amandroid.alir.pta.reachingFactsAnalysis
A.<clinit>() will be called under four kinds of situation: v0 = new A, A.f = v1, v2 = A.f, and A.foo() also for v0 = new B where B is descendant of A, first we call A.<clinit>, later B.<clinit>.
A.<clinit>() will be called under four kinds of situation: v0 = new A, A.f = v1, v2 = A.f, and A.foo() also for v0 = new B where B is descendant of A, first we call A.<clinit>, later B.<clinit>.