joeq.Compiler.Analysis.IPSSA.Apps
Class FindBadStores

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application
      joeq.Compiler.Analysis.IPSSA.Apps.FindBadStores

All Implemented Interfaces:

java.lang.Runnable

public class FindBadStores
extends IPSSABuilder.Application

Constructor Summary

FindBadStores(java.util.Iterator i)

Method Summary

static void	main(java.lang.String[] args)
void	run()

Methods inherited from class joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application

create, getName

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FindBadStores

public FindBadStores(java.util.Iterator i)

Method Detail

main

public static void main(java.lang.String[] args)

run

public void run()

Specified by:

run in interface java.lang.Runnable

Specified by:

run in class IPSSABuilder.Application