AutomatonChecker.java File Reference

Defines public final class AutomatonChecker which provides static program verification specialized to locking problems, interrupts enabling/disabling problems, unnecessary check optimizations and points-to problems like null pointer dereference and memory leaks. More...

Classes
class	cz.muni.stanse.automatonchecker.AutomatonChecker
	Static checker which is able to detect locking problems, interrupts enabling/disabling problems, unnecessary check optimizations and points-to problems like null pointer dereference and memory leaks.

Packages
package	cz.muni.stanse.automatonchecker

Detailed Description

Defines public final class AutomatonChecker which provides static program verification specialized to locking problems, interrupts enabling/disabling problems, unnecessary check optimizations and points-to problems like null pointer dereference and memory leaks.

Copyright (c) 2008-2009 Marek Trtik

Licensed under GPLv2.