Classes | |
class | CmdLineManager |
class | Stanse |
Namespaces | |
namespace | automatonchecker |
namespace | checker |
defines public abstract class Checker. | |
namespace | codestructures |
defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers. | |
namespace | configuration |
namespace | cparser |
namespace | gui |
namespace | lockchecker |
namespace | pointeranalyzer |
PointsToAnalyzer factory. | |
namespace | reachabilitychecker |
ReachabilityChecker implementation. | |
namespace | statistics |
Copyright (c) 2009 Marek Trtik. | |
namespace | threadchecker |
namespace | utils |
Licensed under GPLv2. |