cz::muni::stanse::threadchecker Namespace Reference

Classes
class	AbstractFunctionState
class	CFGTransit
	Algorithm description: if(node is marked as visited) -> stop process and ask for another from queue if(node has only one predecessor) { -> process node's element and mark it as visited } else { if(all node's predecessors are visited) { -> try to join all nodes with same CFGNode -> process actual node's element and mark it as visited } else { if(predecessor's is part of a cycle. More...
class	CheckerSettings
class	CodeAnalyzer
class	Function
class	FunctionState
class	ThreadChecker
class	ThreadCheckerCreator
class	ThreadInfo
Namespaces
namespace	config
namespace	debug
namespace	exceptions
namespace	graph
namespace	locks