Inferno
0.2
Main Page
Namespaces
Classes
Files
Class List
Class Index
Class Hierarchy
Class Members
Class Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
K
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
A
DetectSCType
MakeAllBreakUncombable
(
Steps
)
SharedPtr
(
OOStd
)
DetectSuperLoop
(
Steps
)
MakeAllForUncombable
(
Steps
)
SharedPtrInterface
(
OOStd
)
AccessSpec
(
CPPTree
)
DetectTerminationFunction
MakeFallThroughMachine
(
Steps
)
ShareGotos
(
Steps
)
clang::Action
DetectUncombableSwitch
(
Steps
)
MakePatternPtr
Signed
(
CPPTree
)
AddGotoBeforeLabel
(
Steps
)
Do
(
CPPTree
)
MakeRecord
(
CPPTree
)
SimpleAssociativeContainer
(
OOStd
)
AddInferredYield
(
Steps
)
DoToIfGoto
(
Steps
)
MakeTreePtr
SimpleAssociativeContainerInterface
(
OOStd
)
AddLinkAddress
(
Steps
)
E
MakeTreePtr< Node >
SimpleCompare
AddStateEnumVar
(
Steps
)
Map
SizeOf
(
CPPTree
)
AddStateLabelVar
(
Steps
)
Itemiser::Element
map
Slave
AddYieldFlag
(
Steps
)
EnsureBootstrap
(
Steps
)
MapOperand
(
CPPTree
)
SlaveBase
Agent
EnsureResetYield
(
Steps
)
MapOperator
(
CPPTree
)
SlaveCompareReplace
AlignOf
(
CPPTree
)
EnsureSuperLoop
(
Steps
)
MatchAll
SlaveIntermediate
AnyNode
Enum
(
CPPTree
)
MatchAllBase
SlaveSearchReplace
AnyNodeBase
Erase
MatchAny
SlaveTest
(
Steps
)
llvm::APFloat
EraseBase
MatchAnyBase
SoftReplacePattern
ApplyBottomPolicy
(
Steps
)
Event
(
SCTree
)
Matcher
SoftSearchPattern
ApplyCombGotoPolicy
(
Steps
)
EventProcess
(
SCTree
)
MatchOdd
SoftSearchPatternSpecialKey
ApplyLabelPolicy
(
Steps
)
Exit
(
SCTree
)
MatchOddBase
Special
ApplyTopPolicy
(
Steps
)
ExplicitiseReturn
(
Steps
)
MergeFunctions
(
Steps
)
SpecialBase
ApplyYieldGotoPolicy
(
Steps
)
ExplicitiseReturns
(
Steps
)
Method
(
SCTree
)
SpecificFloat
(
CPPTree
)
llvm::APSInt
Expression
(
CPPTree
)
Module
(
SCTree
)
SpecificFloatSemantics
(
CPPTree
)
Array
(
CPPTree
)
ExtractCallParams
(
Steps
)
MoveInitIntoSuperLoop
(
Steps
)
SpecificIdentifier
(
CPPTree
)
AssignmentOperator
(
CPPTree
)
F
MoveInstanceDeclarations
(
Steps
)
SpecificInstanceIdentifier
(
CPPTree
)
Automatic
(
CPPTree
)
MultiplexorToIf
(
Steps
)
SpecificInteger
(
CPPTree
)
AutoPush
False
(
CPPTree
)
multiset
SpecificLabelIdentifier
(
CPPTree
)
AutosToModule
(
Steps
)
Field
(
CPPTree
)
MyNode
SpecificString
(
CPPTree
)
B
Filter
N
SpecificTypeIdentifier
(
CPPTree
)
FixFallthrough
(
Steps
)
SplitInstanceDeclarations
(
Steps
)
Base
(
CPPTree
)
FlattenNode_iterator
NestedArray
SplitInstanceDeclarations2
(
Steps
)
Binop
(
CPPTree
)
Float
(
CPPTree
)
NestedBase
Star
Bool
(
CPPTree
)
Floating
(
CPPTree
)
NestedSubscriptLookup
StarBase
Boolean
(
CPPTree
)
FloatSemantics
(
CPPTree
)
New
(
CPPTree
)
Walk_iterator::StateEntry
Break
(
CPPTree
)
Flushable
NextTrigger
(
SCTree
)
StateLabel
Breakable
(
CPPTree
)
For
(
CPPTree
)
NextTriggerDelta
(
SCTree
)
Statement
(
CPPTree
)
BreakToGoto
(
Steps
)
ForToWhile
(
Steps
)
NextTriggerDynamic
(
SCTree
)
Static
(
CPPTree
)
BuildContainerSize
Function
(
CPPTree
)
NextTriggerStatic
(
SCTree
)
String
(
CPPTree
)
BuildIdentifierBase
G
Node
Struct
(
CPPTree
)
BuildInstanceIdentifier
NODE_TYPE
Stuff
BuildLabelIdentifier
GenerateImplicitCasts
(
Steps
)
NodeBases
StuffBase
BuildTypeIdentifier
GenerateStacks
(
Steps
)
NonCommutativeOperator
(
CPPTree
)
Subroutine
(
CPPTree
)
C
GetDeclaration
NonConst
(
CPPTree
)
SwapSubscriptMultiplex
(
Steps
)
Global
(
CPPTree
)
NonGlobal
(
CPPTree
)
Switch
(
CPPTree
)
Call
(
CPPTree
)
Globality
(
CPPTree
)
NonVirtual
(
CPPTree
)
SwitchCleanUp
(
Steps
)
Callable
(
CPPTree
)
Goto
(
CPPTree
)
Nop
(
CPPTree
)
SwitchTarget
(
CPPTree
)
CallableParams
(
CPPTree
)
GotoAfterWait
(
Steps
)
NormalAgent
SwitchToIfGoto
(
Steps
)
CallableParamsReturn
(
CPPTree
)
Graph
NormalAgentWrapper
T
Case
(
CPPTree
)
GreenGrass
NormaliseConditionalGotos
(
Steps
)
Cast
(
CPPTree
)
GreenGrassBase
Notify
(
SCTree
)
Temporary
(
CPPTree
)
HitCount::Category
H
NotifyDelta
(
SCTree
)
TempReturnAddress
Cease
(
SCTree
)
NotifyImmediate
(
SCTree
)
TempsAndStaticsToModule
(
Steps
)
Conjecture::Choice
HitCount
NotifyTimed
(
SCTree
)
TerminationFunction
(
SCTree
)
Class
(
CPPTree
)
I
NotMatch
TerminusBase
CleanupCompoundExpression
(
Steps
)
NotMatchBase
TerminusKey
CleanupCompoundMulti
(
Steps
)
Identifier
(
CPPTree
)
Number
(
CPPTree
)
Ternop
(
CPPTree
)
CleanupCompoundSingle
(
Steps
)
IdentifierByNameBase
Numeric
(
CPPTree
)
Thread
(
SCTree
)
CleanUpDeadCode
(
Steps
)
IdentifierTracker
O
ThreadToMethod
(
Steps
)
CleanupDuplicateLabels
(
Steps
)
If
(
CPPTree
)
Traceable
CleanupIneffectualGoto
(
Steps
)
IfToIfGoto
(
Steps
)
Operator
(
CPPTree
)
Tracer
CleanupIneffectualLabels
(
Steps
)
Indirection
(
CPPTree
)
OutOfPlaceTransformation
Transformation
CleanupNestedIf
(
Steps
)
InferBreak
(
Steps
)
Overlay
TransformationVector
CleanupNop
(
Steps
)
InheritanceRecord
(
CPPTree
)
OverlayBase
TransformOf
CleanupUnusedLabels
(
Steps
)
Initialiser
(
CPPTree
)
P
TransformOfBase
CleanupUnusedVariables
(
Steps
)
InPlaceTransformation
TreePtr
ClockedThread
(
SCTree
)
Insert
ParamsViaTemps
(
Steps
)
True
(
CPPTree
)
Cloner
InsertBase
ParentWalk_iterator
Type
(
CPPTree
)
Collection
InsertInferredYield
(
Steps
)
Parse
TypeDb
CombableBreak
InsertSwitch
(
Steps
)
PlaceLabelsInArray
(
Steps
)
Typedef
(
CPPTree
)
CombableFor
Instance
(
CPPTree
)
Pointer
(
CPPTree
)
TypeIdentifier
(
CPPTree
)
CommutativeBinop
(
CPPTree
)
InstanceIdentifier
(
CPPTree
)
PointerIs
TypeIdentifierByName
CommutativeOperator
(
CPPTree
)
InstanceIdentifierByName
PointerIsBase
TypeInfo
CompactGotos
(
Steps
)
Integer
PointIterator
(
OOStd
)
TypeOf
CompareReplace
Integer
(
CPPTree
)
Private
(
CPPTree
)
TypeOperator
(
CPPTree
)
Compound
(
CPPTree
)
Integral
(
CPPTree
)
Procedure
(
CPPTree
)
U
CompoundExpression
(
CPPTree
)
Interface
(
SCTree
)
Process
(
SCTree
)
Conjecture
IsLabelReached
Program
(
CPPTree
)
Uncombable
(
CPPTree
)
Const
(
CPPTree
)
Itemiser
Property
(
CPPTree
)
UncombableBreak
Constancy
(
CPPTree
)
CONTAINER_IMPL::iterator
Protected
(
CPPTree
)
UncombableFor
Constructor
(
CPPTree
)
UniqueWalk::iterator
Public
(
CPPTree
)
UncombableSwitch
ContainerCommon
(
OOStd
)
UniqueWalkNoBody::iterator
R
Uninitialised
(
CPPTree
)
ContainerFromIterator
ContainerCommon::iterator
(
OOStd
)
Union
(
CPPTree
)
ContainerInterface
(
OOStd
)
ContainerInterface::iterator
(
OOStd
)
RangeCase
(
CPPTree
)
UniqueFilter
Continue
(
CPPTree
)
Sequence::iterator
(
OOStd
)
RCHold
UniqueWalk_iterator
CountingIterator
(
OOStd
)
SimpleAssociativeContainer::iterator
(
OOStd
)
ReadArgs
UniqueWalkNoBody_iterator
CouplingKeys
Walk::iterator
Record
(
CPPTree
)
UniqueWalkNoBodyOrIndirection_iterator
CouplingSlave
ContainerInterface::iterator_interface
ReduceVoidCompoundExpression
(
Steps
)
UniqueWalkNoSlavePattern_iterator
D
ContainerInterface::iterator_interface
(
OOStd
)
Reference
(
CPPTree
)
UniquifyIdentifiers
K
RemoveEmptyModuleConstructors
Unop
(
CPPTree
)
Declaration
(
CPPTree
)
RemoveVoidInstances
Unsigned
(
CPPTree
)
DeclsToModule
(
Steps
)
Key
Render
UserType
(
CPPTree
)
Default
(
CPPTree
)
L
Return
(
CPPTree
)
UseTempForReturnValue
(
Steps
)
Delete
(
CPPTree
)
ReturnViaTemp
(
Steps
)
V
DeleteArray
(
CPPTree
)
Label
(
CPPTree
)
S
DeleteArrayness
(
CPPTree
)
Labeley
(
CPPTree
)
Validate
DeleteNonArray
(
CPPTree
)
LabelIdentifier
SCConstruct
(
SCTree
)
vector
DeltaCount
(
SCTree
)
LabelIdentifier
(
CPPTree
)
SCNamedConstruct
(
SCTree
)
Virtual
(
CPPTree
)
deque
LabelIdentifierByName
SCNamedFunction
(
SCTree
)
Virtuality
(
CPPTree
)
Tracer::Descend
LabelTypeToEnum
(
Steps
)
SCNamedIdentifier
(
SCTree
)
VisibleIdentifiers
Destructor
(
CPPTree
)
LabelVarsToEnum
(
Steps
)
SCNamedRecord
(
SCTree
)
Void
(
CPPTree
)
DetectAllSCTypes
(
Steps
)
Literal
(
CPPTree
)
Scope
(
CPPTree
)
W
DetectCombableBreak
(
Steps
)
LocalVariable
(
CPPTree
)
SearchContainerBase
DetectCombableFor
(
Steps
)
LogicalAndToIf
(
Steps
)
SearchReplace
Wait
(
SCTree
)
DetectSCBase
LogicalOrToIf
(
Steps
)
Sequence
WaitDelta
(
SCTree
)
DetectSCDelta
Lookup
(
CPPTree
)
Sequence
(
OOStd
)
WaitDynamic
(
SCTree
)
DetectSCDynamic
Loop
(
CPPTree
)
SequenceInterface
(
OOStd
)
WaitStatic
(
SCTree
)
DetectSCNotifyDelta
LoopRotation
(
Steps
)
SequentialScope
(
CPPTree
)
Walk_iterator
DetectSCNotifyImmediate
M
Set
While
(
CPPTree
)
DetectSCProcess
set
WhileToDo
(
Steps
)
DetectSCStatic
Magic
shared_ptr
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
K
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
Generated on Fri Apr 5 2013 04:01:24 for Inferno by
1.7.6.1