Package | Description |
---|---|
soot.jimple.toolkits.thread.synchronization |
Constructor and Description |
---|
CriticalSectionAwareSideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections,
ThreadLocalObjectsAnalysis tlo) |
CriticalSectionAwareSideEffectAnalysis(PointsToAnalysis pa,
CallGraph cg,
Collection<soot.jimple.toolkits.thread.synchronization.CriticalSection> criticalSections,
ThreadLocalObjectsAnalysis tlo) |