Here is a list of all namespaces with brief descriptions:
[detail level 12345]
  cz | |
 muni | |
| stanse | |
 automatonchecker | |
| checker | Defines public abstract class Checker |
 codestructures | Defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers |
 builders | |
 traversal | |
| configuration | |
| source_enumeration | Defines public class, which is base class for all the exceptions which can be thrown in SourceCodeEnumerators |
| cparser | |
| gui | |
| lockchecker | |
| pointeranalyzer | PointsToAnalyzer factory |
| shapirohorwitz | |
| steensgaard | |
| reachabilitychecker | ReachabilityChecker implementation |
| statistics | Copyright (c) 2009 Marek Trtik |
| threadchecker | |
| config | |
| debug | |
| exceptions | |
| graph | |
| locks | |
| utils | Licensed under GPLv2 |
| msgformat | |
| xmlpatterns |
