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
Implements final class CheckerErrorBuilder which is responsible to compute all checker errors which can be translated from automata states at PaternLocations
Implements final class ConnectPatternLocationToSuccessors which is responsible for creating connections between PatternLocation instances with respect to control-flow of source code