ReachabilityChecker.java File Reference

Classes
class	cz.muni.stanse.reachabilitychecker.ReachabilityChecker
	Static checker which is able to detect unrechable code.

Packages
package	cz.muni.stanse.reachabilitychecker
	ReachabilityChecker implementation.