src/cz/muni/stanse/automatonchecker/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...

Namespaces
namespace	cz::muni::stanse::automatonchecker
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. More...

---

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.