- AbstractDependencyRule()
: cz::muni::stanse::threadchecker::graph::AbstractDependencyRule
- AbstractFunctionState()
: cz::muni::stanse::threadchecker::AbstractFunctionState
- AbstractLocation()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocation
- AbstractLocationSet()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet
- accept()
: cz::muni::stanse::gui::FileChooserFileFilter
- ActionCheckForBugs()
: cz::muni::stanse::gui::ActionCheckForBugs
- ActionConfigure()
: cz::muni::stanse::gui::ActionConfigure
- ActionOpenSourceCodeFile()
: cz::muni::stanse::gui::ActionOpenSourceCodeFile
- actionPerformed()
: cz::muni::stanse::gui::ActionOpenSourceCodeFile
, cz::muni::stanse::gui::ActionSort
, cz::muni::stanse::gui::ActionCheckForBugs
, cz::muni::stanse::gui::ActionCloseActiveTab
, cz::muni::stanse::gui::ActionCloseAllTabs
, cz::muni::stanse::gui::ActionConfigure
- add()
: cz::muni::stanse::gui::JTreeAlgo
, cz::muni::stanse::lockchecker::CallStack
, cz::muni::stanse::lockchecker::Counter
, cz::muni::stanse::threadchecker::locks::LockStack
, cz::muni::stanse::threadchecker::locks::UnlockSet
- addAllCFGs()
: cz::muni::stanse::threadchecker::CheckerSettings
- addAssert()
: cz::muni::stanse::cparser::CFGEvaluator
- addBreakEdge()
: cz::muni::stanse::codestructures::CFGBreakNode
- addBugs()
: cz::muni::stanse::gui::ErrorsTreeManager
, cz::muni::stanse::gui::MainWindow
- addEdge()
: cz::muni::stanse::codestructures::CFGJoinNode
, cz::muni::stanse::codestructures::CFGNode
, cz::muni::stanse::codestructures::CFGBranchNode
, cz::muni::stanse::codestructures::CFGBreakNode
- addFalsePositives()
: cz::muni::stanse::gui::ErrorsTreeManager
, cz::muni::stanse::gui::MainWindow
- addFunction()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable
, cz::muni::stanse::pointeranalyzer::steensgaard::TypeTable
, cz::muni::stanse::threadchecker::CheckerSettings
- addImage()
: cz::muni::stanse::threadchecker::debug::GraphView
- addJoin()
: cz::muni::stanse::threadchecker::AbstractFunctionState
- addOccurrence()
: cz::muni::stanse::lockchecker::Occurrences
- addOcurrences()
: cz::muni::stanse::lockchecker::Occurrences
- addOnStack()
: cz::muni::stanse::threadchecker::CheckerSettings
- addOptEdge()
: cz::muni::stanse::codestructures::CFGBranchNode
, cz::muni::stanse::codestructures::CFGBreakNode
, cz::muni::stanse::codestructures::CFGJoinNode
, cz::muni::stanse::codestructures::CFGNode
- addOptPred()
: cz::muni::stanse::codestructures::CFGNode
- addOptSucc()
: cz::muni::stanse::codestructures::CFGNode
- addPred()
: cz::muni::stanse::codestructures::CFGNode
- addRule()
: cz::muni::stanse::threadchecker::AbstractFunctionState
, cz::muni::stanse::threadchecker::graph::DependencyGraph
, cz::muni::stanse::threadchecker::graph::RAG
- addRules()
: cz::muni::stanse::threadchecker::AbstractFunctionState
- addSucc()
: cz::muni::stanse::codestructures::CFGNode
- addThread()
: cz::muni::stanse::threadchecker::CheckerSettings
- addUnchecked()
: cz::muni::stanse::gui::ErrorsTreeManager
, cz::muni::stanse::gui::MainWindow
- analyseCFG()
: cz::muni::stanse::threadchecker::CFGTransit
- analyze()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::ShapiroHorwitzAnalyzer
, cz::muni::stanse::pointeranalyzer::steensgaard::SteensgaardAnalyzer
, cz::muni::stanse::pointeranalyzer::PointsToAnalyzer
- analyzeFunction()
: cz::muni::stanse::threadchecker::CodeAnalyzer
- analyzeLockingFunction()
: cz::muni::stanse::threadchecker::CodeAnalyzer
- analyzeThreadFunction()
: cz::muni::stanse::threadchecker::CodeAnalyzer
- analyzeUnlockingFunction()
: cz::muni::stanse::threadchecker::CodeAnalyzer
- AndersenCategorizationProvider()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::AndersenCategorizationProvider
- append()
: cz::muni::stanse::codestructures::CFGPart
, cz::muni::stanse::statistics::TabbedStringStream
- appendln()
: cz::muni::stanse::statistics::TabbedStringStream
- appendText()
: cz::muni::stanse::gui::ConsoleManager
- arePartsEqual()
: cz::muni::stanse::utils::Pair< A, B >
, cz::muni::stanse::utils::Triple< A, B, C >
- ArgumentPassingManager()
: cz::muni::stanse::codestructures::ArgumentPassingManager
- assignFunctionCall()
: cz::muni::stanse::codestructures::builders::XMLLinearizeASTElement
- Assignment()
: cz::muni::stanse::threadchecker::graph::Assignment
- assignNextCategory()
: cz::muni::stanse::pointeranalyzer::shapirohorwitz::SteensgaardCategorizationProvider
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::CategorizationProvider
, cz::muni::stanse::pointeranalyzer::shapirohorwitz::AndersenCategorizationProvider
- AutomatonChecker()
: cz::muni::stanse::automatonchecker::AutomatonChecker
- AutomatonCheckerLogger()
: cz::muni::stanse::automatonchecker::AutomatonCheckerLogger
- AutomatonState()
: cz::muni::stanse::automatonchecker::AutomatonState
- AutomatonStateContextItem()
: cz::muni::stanse::automatonchecker::AutomatonStateContextItem
- AutomatonStateTransferManager()
: cz::muni::stanse::automatonchecker::AutomatonStateTransferManager
Generated on Thu Jan 13 16:24:08 2011 for Stanse by
1.5.6