List of all items

Structs

• context::browser::ExtractArrayTypeNames
• context::browser::ExtractAssignments
• context::browser::ExtractBinaryOperations
• context::browser::ExtractBlocks
• context::browser::ExtractBreakStatements
• context::browser::ExtractConditionals
• context::browser::ExtractContinueStatements
• context::browser::ExtractContractDefinitions
• context::browser::ExtractDoWhileStatements
• context::browser::ExtractElementaryTypeNames
• context::browser::ExtractEmitStatements
• context::browser::ExtractEnumDefinitions
• context::browser::ExtractEnumValues
• context::browser::ExtractErrorDefinitions
• context::browser::ExtractEventDefinitions
• context::browser::ExtractExpressionStatements
• context::browser::ExtractForStatements
• context::browser::ExtractFunctionCallOptions
• context::browser::ExtractFunctionCalls
• context::browser::ExtractFunctionDefinitions
• context::browser::ExtractFunctionTypeNames
• context::browser::ExtractIdentifierPaths
• context::browser::ExtractIdentifiers
• context::browser::ExtractIfStatements
• context::browser::ExtractImportDirectives
• context::browser::ExtractIndexAccesses
• context::browser::ExtractIndexRangeAccesses
• context::browser::ExtractInheritanceSpecifiers
• context::browser::ExtractInlineAssemblys
• context::browser::ExtractLiterals
• context::browser::ExtractMappings
• context::browser::ExtractMemberAccesses
• context::browser::ExtractModifierDefinitions
• context::browser::ExtractModifierInvocations
• context::browser::ExtractNewExpressions
• context::browser::ExtractOverrideSpecifiers
• context::browser::ExtractParameterLists
• context::browser::ExtractPlaceholderStatements
• context::browser::ExtractPragmaDirectives
• context::browser::ExtractReferencedDeclarations
• context::browser::ExtractReturns
• context::browser::ExtractRevertStatements
• context::browser::ExtractStructDefinitions
• context::browser::ExtractStructuredDocumentations
• context::browser::ExtractTryCatchClauses
• context::browser::ExtractTryStatements
• context::browser::ExtractTupleExpressions
• context::browser::ExtractUnaryOperations
• context::browser::ExtractUserDefinedTypeNames
• context::browser::ExtractUsingForDirectives
• context::browser::ExtractVariableDeclarations
• context::browser::ExtractWhileStatements
• context::graph::WorkspaceCallGraph
• context::investigator::StandardInvestigator
• context::workspace_context::NodeContext
• context::workspace_context::WorkspaceContext
• core_ast::ArrayTypeName
• core_ast::Assignment
• core_ast::BinaryOperation
• core_ast::Block
• core_ast::Break
• core_ast::Conditional
• core_ast::Continue
• core_ast::ContractDefinition
• core_ast::DoWhileStatement
• core_ast::ElementaryTypeName
• core_ast::ElementaryTypeNameExpression
• core_ast::EmitStatement
• core_ast::EnumDefinition
• core_ast::EnumValue
• core_ast::ErrorDefinition
• core_ast::EventDefinition
• core_ast::ExpressionStatement
• core_ast::ExternalReferenceData
• core_ast::ForStatement
• core_ast::FunctionCall
• core_ast::FunctionCallOptions
• core_ast::FunctionDefinition
• core_ast::FunctionIdentifierPath
• core_ast::FunctionTypeName
• core_ast::Identifier
• core_ast::IdentifierPath
• core_ast::IfStatement
• core_ast::ImportDirective
• core_ast::IndexAccess
• core_ast::IndexRangeAccess
• core_ast::InheritanceSpecifier
• core_ast::InlineAssembly
• core_ast::Literal
• core_ast::Mapping
• core_ast::MemberAccess
• core_ast::ModifierDefinition
• core_ast::ModifierInvocation
• core_ast::NewExpression
• core_ast::OverloadedOperator
• core_ast::OverrideSpecifier
• core_ast::ParameterList
• core_ast::PlaceholderStatement
• core_ast::PragmaDirective
• core_ast::Return
• core_ast::RevertStatement
• core_ast::SourceUnit
• core_ast::StructDefinition
• core_ast::StructuredDocumentation
• core_ast::SymbolAlias
• core_ast::TryCatchClause
• core_ast::TryStatement
• core_ast::TupleExpression
• core_ast::TypeDescriptions
• core_ast::UnaryOperation
• core_ast::UserDefinedTypeName
• core_ast::UserDefinedValueTypeDefinition
• core_ast::UsingForDirective
• core_ast::VariableDeclaration
• core_ast::VariableDeclarationStatement
• core_ast::WhileStatement
• core_ast::YulAssignment
• core_ast::YulBlock
• core_ast::YulCase
• core_ast::YulExpressionStatement
• core_ast::YulForLoop
• core_ast::YulFunctionCall
• core_ast::YulFunctionDefinition
• core_ast::YulIdentifier
• core_ast::YulIf
• core_ast::YulLiteral
• core_ast::YulSwitch
• core_ast::YulTypedName
• core_ast::YulVariableDeclaration
• core_ast::ast_nodes::ArrayTypeName
• core_ast::ast_nodes::Assignment
• core_ast::ast_nodes::BinaryOperation
• core_ast::ast_nodes::Block
• core_ast::ast_nodes::Break
• core_ast::ast_nodes::Conditional
• core_ast::ast_nodes::Continue
• core_ast::ast_nodes::ContractDefinition
• core_ast::ast_nodes::DoWhileStatement
• core_ast::ast_nodes::ElementaryTypeName
• core_ast::ast_nodes::ElementaryTypeNameExpression
• core_ast::ast_nodes::EmitStatement
• core_ast::ast_nodes::EnumDefinition
• core_ast::ast_nodes::EnumValue
• core_ast::ast_nodes::ErrorDefinition
• core_ast::ast_nodes::EventDefinition
• core_ast::ast_nodes::ExpressionStatement
• core_ast::ast_nodes::ForStatement
• core_ast::ast_nodes::FunctionCall
• core_ast::ast_nodes::FunctionCallOptions
• core_ast::ast_nodes::FunctionDefinition
• core_ast::ast_nodes::FunctionIdentifierPath
• core_ast::ast_nodes::FunctionTypeName
• core_ast::ast_nodes::Identifier
• core_ast::ast_nodes::IdentifierPath
• core_ast::ast_nodes::IfStatement
• core_ast::ast_nodes::ImportDirective
• core_ast::ast_nodes::IndexAccess
• core_ast::ast_nodes::IndexRangeAccess
• core_ast::ast_nodes::InheritanceSpecifier
• core_ast::ast_nodes::InlineAssembly
• core_ast::ast_nodes::Literal
• core_ast::ast_nodes::Mapping
• core_ast::ast_nodes::MemberAccess
• core_ast::ast_nodes::ModifierDefinition
• core_ast::ast_nodes::ModifierInvocation
• core_ast::ast_nodes::NewExpression
• core_ast::ast_nodes::OverloadedOperator
• core_ast::ast_nodes::OverrideSpecifier
• core_ast::ast_nodes::ParameterList
• core_ast::ast_nodes::PlaceholderStatement
• core_ast::ast_nodes::PragmaDirective
• core_ast::ast_nodes::Return
• core_ast::ast_nodes::RevertStatement
• core_ast::ast_nodes::SourceUnit
• core_ast::ast_nodes::StructDefinition
• core_ast::ast_nodes::StructuredDocumentation
• core_ast::ast_nodes::SymbolAlias
• core_ast::ast_nodes::TryCatchClause
• core_ast::ast_nodes::TryStatement
• core_ast::ast_nodes::TupleExpression
• core_ast::ast_nodes::TypeDescriptions
• core_ast::ast_nodes::UnaryOperation
• core_ast::ast_nodes::UserDefinedTypeName
• core_ast::ast_nodes::UserDefinedValueTypeDefinition
• core_ast::ast_nodes::UsingForDirective
• core_ast::ast_nodes::VariableDeclaration
• core_ast::ast_nodes::VariableDeclarationStatement
• core_ast::ast_nodes::WhileStatement
• core_ast::yul::ExternalReferenceData
• core_ast::yul::YulAssignment
• core_ast::yul::YulBlock
• core_ast::yul::YulCase
• core_ast::yul::YulExpressionStatement
• core_ast::yul::YulForLoop
• core_ast::yul::YulFunctionCall
• core_ast::yul::YulFunctionDefinition
• core_ast::yul::YulIdentifier
• core_ast::yul::YulIf
• core_ast::yul::YulLiteral
• core_ast::yul::YulSwitch
• core_ast::yul::YulTypedName
• core_ast::yul::YulVariableDeclaration
• detection_modules::detector::IssueSeverityIter
• detection_modules::high::ArbitraryTransferFromDetector
• detection_modules::high::AvoidAbiEncodePackedDetector
• detection_modules::high::BlockTimestampDeadlineDetector
• detection_modules::high::ContractLocksEtherDetector
• detection_modules::high::DangerousStrictEqualityOnBalanceDetector
• detection_modules::high::DangerousUnaryOperatorDetector
• detection_modules::high::DelegateCallInLoopDetector
• detection_modules::high::DelegateCallOnUncheckedAddressDetector
• detection_modules::high::DeletionNestedMappingDetector
• detection_modules::high::DynamicArrayLengthAssignmentDetector
• detection_modules::high::EnumerableLoopRemovalDetector
• detection_modules::high::ExperimentalEncoderDetector
• detection_modules::high::IncorrectShiftOrderDetector
• detection_modules::high::IncorrectUseOfCaretOperatorDetector
• detection_modules::high::MisusedBooleanDetector
• detection_modules::high::MsgValueUsedInLoopDetector
• detection_modules::high::MultipleConstructorsDetector
• detection_modules::high::NestedStructInMappingDetector
• detection_modules::high::PreDeclaredLocalVariableUsageDetector
• detection_modules::high::RTLODetector
• detection_modules::high::ReusedContractNameDetector
• detection_modules::high::SelfdestructIdentifierDetector
• detection_modules::high::SendEtherNoChecksDetector
• detection_modules::high::StateVariableShadowingDetector
• detection_modules::high::StorageArrayEditWithMemoryDetector
• detection_modules::high::StorageSignedIntegerArrayDetector
• detection_modules::high::TautologicalCompareDetector
• detection_modules::high::TautologyOrContraditionDetector
• detection_modules::high::TxOriginUsedForAuthDetector
• detection_modules::high::UncheckedReturnDetector
• detection_modules::high::UncheckedSendDetector
• detection_modules::high::UninitializedStateVariableDetector
• detection_modules::high::UnprotectedInitializerDetector
• detection_modules::high::UnsafeCastingDetector
• detection_modules::high::WeakRandomnessDetector
• detection_modules::high::YulReturnDetector
• detection_modules::low::BooleanEqualityDetector
• detection_modules::low::CentralizationRiskDetector
• detection_modules::low::ConstantFunctionContainsAssemblyDetector
• detection_modules::low::ConstantsInsteadOfLiteralsDetector
• detection_modules::low::ContractsWithTodosDetector
• detection_modules::low::DeprecatedOZFunctionsDetector
• detection_modules::low::DivisionBeforeMultiplicationDetector
• detection_modules::low::EcrecoverDetector
• detection_modules::low::EmptyBlockDetector
• detection_modules::low::InconsistentTypeNamesDetector
• detection_modules::low::LargeLiteralValueDetector
• detection_modules::low::NonReentrantBeforeOthersDetector
• detection_modules::low::PublicVariableReadInExternalContextDetector
• detection_modules::low::PushZeroOpcodeDetector
• detection_modules::low::RedundantStatementsDetector
• detection_modules::low::RequireWithStringDetector
• detection_modules::low::RevertsAndRequiresInLoopsDetector
• detection_modules::low::SolmateSafeTransferLibDetector
• detection_modules::low::UnindexedEventsDetector
• detection_modules::low::UnsafeERC20FunctionsDetector
• detection_modules::low::UnsafeERC721MintDetector
• detection_modules::low::UnspecificSolidityPragmaDetector
• detection_modules::low::UselessErrorDetector
• detection_modules::low::UselessInternalFunctionDetector
• detection_modules::low::UselessModifierDetector
• detection_modules::low::UselessPublicFunctionDetector
• detection_modules::low::ZeroAddressCheckDetector
• detector::IssueSeverityIter
• driver::Args
• driver::WorkspaceContextWrapper

Enums

• context::capturable::Capturable
• context::graph::Error
• context::investigator::Error
• context::investigator::StandardInvestigationStyle
• context::workspace_context::ASTNode
• core_ast::ASTNode
• core_ast::BlockOrStatement
• core_ast::ContractDefinitionNode
• core_ast::ContractKind
• core_ast::Documentation
• core_ast::Expression
• core_ast::ExpressionOrVariableDeclarationStatement
• core_ast::ExternalReference
• core_ast::FunctionCallKind
• core_ast::FunctionKind
• core_ast::IdentifierOrIdentifierPath
• core_ast::LiteralKind
• core_ast::MagicVariableID
• core_ast::ModifierInvocationKind
• core_ast::Mutability
• core_ast::NodeType
• core_ast::SourceUnitNode
• core_ast::StateMutability
• core_ast::Statement
• core_ast::StorageLocation
• core_ast::TypeName
• core_ast::UserDefinedTypeNameOrIdentifierPath
• core_ast::UsingForFunctionItem
• core_ast::Visibility
• core_ast::YulExpression
• core_ast::YulLiteralKind
• core_ast::YulStatement
• core_ast::ast::ASTNode
• core_ast::ast_nodes::BlockOrStatement
• core_ast::ast_nodes::ContractDefinitionNode
• core_ast::ast_nodes::ContractKind
• core_ast::ast_nodes::Documentation
• core_ast::ast_nodes::Expression
• core_ast::ast_nodes::ExpressionOrVariableDeclarationStatement
• core_ast::ast_nodes::FunctionCallKind
• core_ast::ast_nodes::FunctionKind
• core_ast::ast_nodes::IdentifierOrIdentifierPath
• core_ast::ast_nodes::LiteralKind
• core_ast::ast_nodes::ModifierInvocationKind
• core_ast::ast_nodes::Mutability
• core_ast::ast_nodes::SourceUnitNode
• core_ast::ast_nodes::StateMutability
• core_ast::ast_nodes::Statement
• core_ast::ast_nodes::StorageLocation
• core_ast::ast_nodes::TypeName
• core_ast::ast_nodes::UserDefinedTypeNameOrIdentifierPath
• core_ast::ast_nodes::UsingForFunctionItem
• core_ast::ast_nodes::Visibility
• core_ast::magic::MagicVariableID
• core_ast::node_type::NodeType
• core_ast::yul::ExternalReference
• core_ast::yul::YulExpression
• core_ast::yul::YulLiteralKind
• core_ast::yul::YulStatement
• detection_modules::detector::IssueSeverity
• detector::IssueSeverity

Traits

• context::browser::AppearsAfterNodeLocation
• context::browser::AppearsBeforeNodeLocation
• context::browser::GetAncestralLine
• context::browser::GetClosestAncestorOfTypeX
• context::browser::GetImmediateChildren
• context::browser::GetImmediateParent
• context::browser::GetNextSibling
• context::browser::GetPreviousSibling
• context::browser::Peek
• context::browser::PeekOver
• context::browser::PeekUnder
• context::browser::SortNodeReferencesToSequence
• context::browser::SortOwnedNodesToSequence
• context::graph::traits::Transpose
• context::investigator::StandardInvestigatorVisitor
• detection_modules::detector::IssueDetector
• detector::IssueDetector

Macros

• detection_modules::capture
• detection_modules::issue_detector

Functions

• detection_modules::detector::get_all_detectors_names
• detection_modules::detector::get_all_issue_detectors
• detection_modules::detector::get_issue_detector_by_name
• detection_modules::detector::request_issue_detector_by_name
• detection_modules::helpers::count_identifiers_that_reference_an_id
• detection_modules::helpers::get_calls_and_delegate_calls
• detection_modules::helpers::get_implemented_external_and_public_functions
• detection_modules::helpers::get_literal_value_or_constant_variable_value
• detection_modules::helpers::get_node_offset
• detection_modules::helpers::has_binary_checks_on_some_address
• detection_modules::helpers::has_calls_that_sends_native_eth
• detection_modules::helpers::has_delegate_calls_on_non_state_variables
• detection_modules::helpers::has_msg_sender_binary_operation
• detection_modules::helpers::is_constant_boolean
• detection_modules::helpers::pragma_directive_to_semver
• detector::get_all_detectors_names
• detector::get_all_issue_detectors
• detector::get_issue_detector_by_name
• detector::request_issue_detector_by_name
• driver::drive
• driver::drive_with
• get_compiler_input
• get_fc_remappings
• get_project
• get_relevant_pathbufs
• get_relevant_sources
• get_remappings
• with_project_root_at

Type Aliases

• context::graph::CallGraph
• context::graph::Result
• context::investigator::Result
• core_ast::NodeID
• core_ast::node_type::NodeID