• AddressSet : VirtualBinCFG
• AddressToInstructionMap : VirtualBinCFG
• EquivalenceTestFunctionType : SageInterface
• FilteredCFG : Backstroke
• FullCFG : Backstroke
• InsnSet : SymbolicSemantics
• InstructionToAddressesMap : VirtualBinCFG
• InternalNode : SymbolicSemantics
• LeafNode : SymbolicSemantics
• RenameMap : VirtualMachineSemantics, SymbolicSemantics, InsnSemanticsExpr
• SgClassDefinitionPtrList : CallTargetSet
• SgFunctionDeclarationPtrList : CallTargetSet
• StatementToAddressesMap : VirtualBinCFG
• TreeNode : SymbolicSemantics
• VariableSymbolMap_t : OmpSupport

---