LICENSE
README.md
pyproject.toml
setup.py
tests/__init__.py
tests/test_compilation.py
tests/test_config.py
tests/test_import_parsing.py
tests/test_re_parsing.py
tests/test_solidity_version_parsing.py
tests/test_svm.py
tests/test_svm_cli.py
woke/__init__.py
woke.egg-info/PKG-INFO
woke.egg-info/SOURCES.txt
woke.egg-info/dependency_links.txt
woke.egg-info/entry_points.txt
woke.egg-info/requires.txt
woke.egg-info/top_level.txt
woke/analysis/__init__.py
woke/analysis/cfg.py
woke/analysis/detectors/__init__.py
woke/analysis/detectors/api.py
woke/analysis/detectors/balance_state_var.py
woke/analysis/detectors/call_options_not_called.py
woke/analysis/detectors/overflow_calldata_tuple_reencoding_bug.py
woke/analysis/detectors/ownable.py
woke/analysis/detectors/reentrancy.py
woke/analysis/detectors/unchecked_return_value.py
woke/analysis/detectors/unsafe_delegatecall.py
woke/analysis/detectors/unsafe_selfdestruct.py
woke/analysis/detectors/utils.py
woke/analysis/detectors/axelar/__init__.py
woke/analysis/detectors/axelar/proxy_contract_id.py
woke/ast/__init__.py
woke/ast/enums.py
woke/ast/nodes.py
woke/ast/types.py
woke/ast/ir/__init__.py
woke/ast/ir/abc.py
woke/ast/ir/reference_resolver.py
woke/ast/ir/declaration/__init__.py
woke/ast/ir/declaration/abc.py
woke/ast/ir/declaration/contract_definition.py
woke/ast/ir/declaration/enum_definition.py
woke/ast/ir/declaration/enum_value.py
woke/ast/ir/declaration/error_definition.py
woke/ast/ir/declaration/event_definition.py
woke/ast/ir/declaration/function_definition.py
woke/ast/ir/declaration/modifier_definition.py
woke/ast/ir/declaration/struct_definition.py
woke/ast/ir/declaration/user_defined_value_type_definition.py
woke/ast/ir/declaration/variable_declaration.py
woke/ast/ir/expression/__init__.py
woke/ast/ir/expression/abc.py
woke/ast/ir/expression/assignment.py
woke/ast/ir/expression/binary_operation.py
woke/ast/ir/expression/conditional.py
woke/ast/ir/expression/elementary_type_name_expression.py
woke/ast/ir/expression/function_call.py
woke/ast/ir/expression/function_call_options.py
woke/ast/ir/expression/identifier.py
woke/ast/ir/expression/index_access.py
woke/ast/ir/expression/index_range_access.py
woke/ast/ir/expression/literal.py
woke/ast/ir/expression/member_access.py
woke/ast/ir/expression/new_expression.py
woke/ast/ir/expression/tuple_expression.py
woke/ast/ir/expression/unary_operation.py
woke/ast/ir/meta/__init__.py
woke/ast/ir/meta/identifier_path.py
woke/ast/ir/meta/import_directive.py
woke/ast/ir/meta/inheritance_specifier.py
woke/ast/ir/meta/modifier_invocation.py
woke/ast/ir/meta/override_specifier.py
woke/ast/ir/meta/parameter_list.py
woke/ast/ir/meta/pragma_directive.py
woke/ast/ir/meta/source_unit.py
woke/ast/ir/meta/structured_documentation.py
woke/ast/ir/meta/try_catch_clause.py
woke/ast/ir/meta/using_for_directive.py
woke/ast/ir/statement/__init__.py
woke/ast/ir/statement/abc.py
woke/ast/ir/statement/block.py
woke/ast/ir/statement/break_statement.py
woke/ast/ir/statement/continue_statement.py
woke/ast/ir/statement/do_while_statement.py
woke/ast/ir/statement/emit_statement.py
woke/ast/ir/statement/expression_statement.py
woke/ast/ir/statement/for_statement.py
woke/ast/ir/statement/if_statement.py
woke/ast/ir/statement/inline_assembly.py
woke/ast/ir/statement/placeholder_statement.py
woke/ast/ir/statement/return_statement.py
woke/ast/ir/statement/revert_statement.py
woke/ast/ir/statement/try_statement.py
woke/ast/ir/statement/unchecked_block.py
woke/ast/ir/statement/variable_declaration_statement.py
woke/ast/ir/statement/while_statement.py
woke/ast/ir/type_name/__init__.py
woke/ast/ir/type_name/abc.py
woke/ast/ir/type_name/array_type_name.py
woke/ast/ir/type_name/elementary_type_name.py
woke/ast/ir/type_name/function_type_name.py
woke/ast/ir/type_name/mapping.py
woke/ast/ir/type_name/user_defined_type_name.py
woke/ast/ir/utils/__init__.py
woke/ast/ir/utils/init_tuple.py
woke/ast/ir/yul/__init__.py
woke/ast/ir/yul/abc.py
woke/ast/ir/yul/assignment.py
woke/ast/ir/yul/block.py
woke/ast/ir/yul/break_statement.py
woke/ast/ir/yul/case_statement.py
woke/ast/ir/yul/continue_statement.py
woke/ast/ir/yul/expression_statement.py
woke/ast/ir/yul/for_loop.py
woke/ast/ir/yul/function_call.py
woke/ast/ir/yul/function_definition.py
woke/ast/ir/yul/identifier.py
woke/ast/ir/yul/if_statement.py
woke/ast/ir/yul/leave.py
woke/ast/ir/yul/literal.py
woke/ast/ir/yul/switch.py
woke/ast/ir/yul/typed_name.py
woke/ast/ir/yul/variable_declaration.py
woke/cli/__init__.py
woke/cli/__main__.py
woke/cli/compile.py
woke/cli/console.py
woke/cli/detect.py
woke/cli/fuzz.py
woke/cli/init.py
woke/cli/lsp.py
woke/cli/svm.py
woke/compile/__init__.py
woke/compile/build_data_model.py
woke/compile/compilation_unit.py
woke/compile/compiler.py
woke/compile/exceptions.py
woke/compile/source_path_resolver.py
woke/compile/source_unit_name_resolver.py
woke/compile/solc_frontend/__init__.py
woke/compile/solc_frontend/exceptions.py
woke/compile/solc_frontend/input_data_model.py
woke/compile/solc_frontend/output_data_model.py
woke/compile/solc_frontend/solc_runner.py
woke/config/__init__.py
woke/config/data_model.py
woke/config/woke_config.py
woke/core/__init__.py
woke/core/enums.py
woke/core/solidity_version.py
woke/examples/__init__.py
woke/examples/fuzzer/__init__.py
woke/examples/fuzzer/test_example.py
woke/fuzzer/__init__.py
woke/fuzzer/abi_to_type.py
woke/fuzzer/campaign.py
woke/fuzzer/decorators.py
woke/fuzzer/fuzzer.py
woke/fuzzer/random.py
woke/fuzzer/utils.py
woke/lsp/__init__.py
woke/lsp/common_structures.py
woke/lsp/context.py
woke/lsp/document_sync.py
woke/lsp/enums.py
woke/lsp/exceptions.py
woke/lsp/lsp_compiler.py
woke/lsp/lsp_data_model.py
woke/lsp/methods.py
woke/lsp/protocol_structures.py
woke/lsp/rpc_protocol.py
woke/lsp/server.py
woke/lsp/server_capabilities.py
woke/lsp/commands/__init__.py
woke/lsp/commands/generate_control_flow_graph.py
woke/lsp/commands/generate_inheritance_graph.py
woke/lsp/commands/generate_linearized_inheritance_graph.py
woke/lsp/features/__init__.py
woke/lsp/features/code_lens.py
woke/lsp/features/completion.py
woke/lsp/features/definition.py
woke/lsp/features/diagnostic.py
woke/lsp/features/document_link.py
woke/lsp/features/document_symbol.py
woke/lsp/features/hover.py
woke/lsp/features/implementation.py
woke/lsp/features/references.py
woke/lsp/features/rename.py
woke/lsp/features/type_definition.py
woke/lsp/features/type_hierarchy.py
woke/lsp/utils/__init__.py
woke/lsp/utils/position.py
woke/lsp/utils/threaded_child_watcher.py
woke/lsp/utils/uri.py
woke/regex_parsing/__init__.py
woke/regex_parsing/solidity_import.py
woke/regex_parsing/solidity_parser.py
woke/svm/__init__.py
woke/svm/abc.py
woke/svm/exceptions.py
woke/svm/svm.py
woke/utils/__init__.py
woke/utils/context_managers.py
woke/utils/decorators.py
woke/utils/file_utils.py
woke/utils/openzeppelin.py
woke/utils/string.py