This is page 36 of 94. Use http://codebase.md/cyfrin/aderyn?lines=false&page={x} to view the full context.
# Directory Structure
```
├── .cargo
│ └── config.toml
├── .git-blame-ignore-revs
├── .gitattributes
├── .github
│ ├── images
│ │ ├── aderyn_logo.png
│ │ ├── poweredbycyfrinblack.png
│ │ └── poweredbycyfrinblue.png
│ ├── ISSUE_TEMPLATE
│ │ ├── bug_report.md
│ │ ├── false_positive_issue.md
│ │ └── feature_request.md
│ └── workflows
│ ├── cargo.yml
│ ├── dependencies.yml
│ ├── release.yml
│ ├── reports.yml
│ └── toml.yml
├── .gitignore
├── .gitmodules
├── .vscode
│ └── settings.json
├── aderyn
│ ├── Cargo.toml
│ ├── oranda.json
│ ├── README.md
│ ├── src
│ │ ├── birdsong.rs
│ │ ├── completions.rs
│ │ ├── lib.rs
│ │ ├── lsp.rs
│ │ ├── main.rs
│ │ ├── mcp.rs
│ │ └── panic.rs
│ └── templates
│ └── aderyn.toml
├── aderyn_core
│ ├── .gitignore
│ ├── Cargo.toml
│ ├── README.md
│ ├── src
│ │ ├── ast
│ │ │ ├── ast_nodes.rs
│ │ │ ├── ast.rs
│ │ │ ├── impls
│ │ │ │ ├── ctx
│ │ │ │ │ ├── utils.rs
│ │ │ │ │ └── workspace.rs
│ │ │ │ ├── ctx.rs
│ │ │ │ ├── disp
│ │ │ │ │ ├── blocks.rs
│ │ │ │ │ ├── contracts.rs
│ │ │ │ │ ├── enumerations.rs
│ │ │ │ │ ├── errors.rs
│ │ │ │ │ ├── events.rs
│ │ │ │ │ ├── expressions.rs
│ │ │ │ │ ├── functions.rs
│ │ │ │ │ ├── identifiers.rs
│ │ │ │ │ ├── literals.rs
│ │ │ │ │ ├── modifiers.rs
│ │ │ │ │ ├── statements.rs
│ │ │ │ │ ├── structures.rs
│ │ │ │ │ ├── types.rs
│ │ │ │ │ ├── user_defined_value_types.rs
│ │ │ │ │ ├── using_for_directives.rs
│ │ │ │ │ └── variables.rs
│ │ │ │ ├── disp.rs
│ │ │ │ ├── node
│ │ │ │ │ ├── blocks.rs
│ │ │ │ │ ├── contracts.rs
│ │ │ │ │ ├── documentation.rs
│ │ │ │ │ ├── enumerations.rs
│ │ │ │ │ ├── errors.rs
│ │ │ │ │ ├── events.rs
│ │ │ │ │ ├── expressions.rs
│ │ │ │ │ ├── functions.rs
│ │ │ │ │ ├── identifiers.rs
│ │ │ │ │ ├── import_directives.rs
│ │ │ │ │ ├── literals.rs
│ │ │ │ │ ├── modifiers.rs
│ │ │ │ │ ├── pragma_directives.rs
│ │ │ │ │ ├── source_units.rs
│ │ │ │ │ ├── statements.rs
│ │ │ │ │ ├── structures.rs
│ │ │ │ │ ├── types.rs
│ │ │ │ │ ├── user_defined_value_types.rs
│ │ │ │ │ ├── using_for_directives.rs
│ │ │ │ │ └── variables.rs
│ │ │ │ ├── node.rs
│ │ │ │ ├── own
│ │ │ │ │ ├── hashing.rs
│ │ │ │ │ ├── node_id.rs
│ │ │ │ │ ├── source_units.rs
│ │ │ │ │ └── utils.rs
│ │ │ │ └── own.rs
│ │ │ ├── impls.rs
│ │ │ ├── macros.rs
│ │ │ ├── magic.rs
│ │ │ ├── node_type.rs
│ │ │ └── yul.rs
│ │ ├── ast.rs
│ │ ├── audit
│ │ │ ├── attack_surface.rs
│ │ │ ├── auditor.rs
│ │ │ ├── entrypoint.rs
│ │ │ └── public_functions_no_sender.rs
│ │ ├── audit.rs
│ │ ├── context
│ │ │ ├── browser
│ │ │ │ ├── ancestral_line.rs
│ │ │ │ ├── closest_ancestor.rs
│ │ │ │ ├── external_calls.rs
│ │ │ │ ├── extractor.rs
│ │ │ │ ├── immediate_children.rs
│ │ │ │ ├── location.rs
│ │ │ │ ├── macros.rs
│ │ │ │ ├── parent.rs
│ │ │ │ ├── peek_over.rs
│ │ │ │ ├── peek_under.rs
│ │ │ │ ├── peek.rs
│ │ │ │ ├── siblings.rs
│ │ │ │ ├── sort_nodes.rs
│ │ │ │ └── storage_vars.rs
│ │ │ ├── browser.rs
│ │ │ ├── capturable.rs
│ │ │ ├── flow
│ │ │ │ ├── display.rs
│ │ │ │ ├── error.rs
│ │ │ │ ├── kind.rs
│ │ │ │ ├── primitives.rs
│ │ │ │ ├── reducibles.rs
│ │ │ │ ├── tests.rs
│ │ │ │ ├── utils.rs
│ │ │ │ ├── visualizer.rs
│ │ │ │ └── voids.rs
│ │ │ ├── flow.rs
│ │ │ ├── graph
│ │ │ │ ├── callgraph
│ │ │ │ │ ├── legacy.rs
│ │ │ │ │ ├── new.rs
│ │ │ │ │ ├── tests.rs
│ │ │ │ │ ├── utils.rs
│ │ │ │ │ └── visit.rs
│ │ │ │ ├── callgraph.rs
│ │ │ │ ├── preprocess
│ │ │ │ │ ├── legacy.rs
│ │ │ │ │ └── new.rs
│ │ │ │ ├── preprocess.rs
│ │ │ │ ├── traits.rs
│ │ │ │ └── utils.rs
│ │ │ ├── graph.rs
│ │ │ ├── macros.rs
│ │ │ ├── mcp
│ │ │ │ ├── callgraph
│ │ │ │ │ ├── render.rs
│ │ │ │ │ ├── tool.rs
│ │ │ │ │ └── utils.rs
│ │ │ │ ├── callgraph.rs
│ │ │ │ ├── contract_surface
│ │ │ │ │ ├── render.rs
│ │ │ │ │ ├── tool.rs
│ │ │ │ │ └── util.rs
│ │ │ │ ├── contract_surface.rs
│ │ │ │ ├── list_contracts
│ │ │ │ │ ├── render.rs
│ │ │ │ │ └── tool.rs
│ │ │ │ ├── list_contracts.rs
│ │ │ │ ├── node_finder
│ │ │ │ │ ├── render.rs
│ │ │ │ │ ├── tool.rs
│ │ │ │ │ └── utils.rs
│ │ │ │ ├── node_finder.rs
│ │ │ │ ├── node_summarizer
│ │ │ │ │ ├── render.rs
│ │ │ │ │ ├── tool.rs
│ │ │ │ │ └── utils.rs
│ │ │ │ ├── node_summarizer.rs
│ │ │ │ ├── project_overview
│ │ │ │ │ ├── render.rs
│ │ │ │ │ └── tool.rs
│ │ │ │ ├── project_overview.rs
│ │ │ │ ├── tool_guide
│ │ │ │ │ └── tool.rs
│ │ │ │ └── tool_guide.rs
│ │ │ ├── mcp.rs
│ │ │ ├── router
│ │ │ │ ├── external_calls.rs
│ │ │ │ ├── internal_calls.rs
│ │ │ │ ├── modifier_calls.rs
│ │ │ │ └── tests.rs
│ │ │ ├── router.rs
│ │ │ └── workspace.rs
│ │ ├── context.rs
│ │ ├── detect
│ │ │ ├── detector.rs
│ │ │ ├── entrypoint.rs
│ │ │ ├── helpers.rs
│ │ │ ├── high
│ │ │ │ ├── _template.rs
│ │ │ │ ├── abi_encode_packed_hash_collision.rs
│ │ │ │ ├── arbitrary_transfer_from.rs
│ │ │ │ ├── const_func_changes_state.rs
│ │ │ │ ├── contract_locks_ether.rs
│ │ │ │ ├── dangerous_unary_operator.rs
│ │ │ │ ├── delegate_call_unchecked_address.rs
│ │ │ │ ├── delete_nested_mapping.rs
│ │ │ │ ├── dynamic_array_length_assignment.rs
│ │ │ │ ├── enumerable_loop_removal.rs
│ │ │ │ ├── eth_send_unchecked_address.rs
│ │ │ │ ├── experimental_encoder.rs
│ │ │ │ ├── function_selector_collision.rs
│ │ │ │ ├── incorrect_caret_operator.rs
│ │ │ │ ├── incorrect_erc20_interface.rs
│ │ │ │ ├── incorrect_erc721_interface.rs
│ │ │ │ ├── incorrect_shift_order.rs
│ │ │ │ ├── misused_boolean.rs
│ │ │ │ ├── msg_value_in_loops.rs
│ │ │ │ ├── multiple_constructors.rs
│ │ │ │ ├── nested_struct_in_mapping.rs
│ │ │ │ ├── out_of_order_retryable.rs
│ │ │ │ ├── pre_declared_variable_usage.rs
│ │ │ │ ├── reentrancy_state_change.rs
│ │ │ │ ├── reused_contract_name.rs
│ │ │ │ ├── rtlo.rs
│ │ │ │ ├── selfdestruct.rs
│ │ │ │ ├── signed_integer_storage_array.rs
│ │ │ │ ├── state_variable_shadowing.rs
│ │ │ │ ├── storage_array_memory_edit.rs
│ │ │ │ ├── strict_equality_contract_balance.rs
│ │ │ │ ├── tautological_compare.rs
│ │ │ │ ├── tautology_or_contradiction.rs
│ │ │ │ ├── tx_origin_used_for_auth.rs
│ │ │ │ ├── unchecked_low_level_call.rs
│ │ │ │ ├── unchecked_send.rs
│ │ │ │ ├── unprotected_initializer.rs
│ │ │ │ ├── unsafe_casting.rs
│ │ │ │ ├── weak_randomness.rs
│ │ │ │ └── yul_return.rs
│ │ │ ├── high.rs
│ │ │ ├── low
│ │ │ │ ├── _template.rs
│ │ │ │ ├── assert_state_change.rs
│ │ │ │ ├── block_timestamp_deadline.rs
│ │ │ │ ├── boolean_equality.rs
│ │ │ │ ├── builtin_symbol_shadowing.rs
│ │ │ │ ├── centralization_risk.rs
│ │ │ │ ├── constant_function_contains_assembly.rs
│ │ │ │ ├── costly_loop.rs
│ │ │ │ ├── dead_code.rs
│ │ │ │ ├── delegatecall_in_loop.rs
│ │ │ │ ├── deprecated_oz_function.rs
│ │ │ │ ├── division_before_multiplication.rs
│ │ │ │ ├── ecrecover.rs
│ │ │ │ ├── empty_block.rs
│ │ │ │ ├── empty_require_revert.rs
│ │ │ │ ├── function_initializing_state.rs
│ │ │ │ ├── function_pointer_in_constructor.rs
│ │ │ │ ├── inconsistent_type_names.rs
│ │ │ │ ├── incorrect_modifier.rs
│ │ │ │ ├── internal_function_used_once.rs
│ │ │ │ ├── large_numeric_literal.rs
│ │ │ │ ├── literal_instead_of_constant.rs
│ │ │ │ ├── local_variable_shadowing.rs
│ │ │ │ ├── missing_inheritance.rs
│ │ │ │ ├── modifier_used_only_once.rs
│ │ │ │ ├── multiple_placeholders.rs
│ │ │ │ ├── non_reentrant_not_first.rs
│ │ │ │ ├── push_0_opcode.rs
│ │ │ │ ├── redundant_statement.rs
│ │ │ │ ├── require_revert_in_loop.rs
│ │ │ │ ├── return_bomb.rs
│ │ │ │ ├── solmate_safe_transfer_lib.rs
│ │ │ │ ├── state_change_without_event.rs
│ │ │ │ ├── state_no_address_check.rs
│ │ │ │ ├── state_variable_could_be_constant.rs
│ │ │ │ ├── state_variable_could_be_immutable.rs
│ │ │ │ ├── state_variable_read_external.rs
│ │ │ │ ├── storage_array_length_not_cached.rs
│ │ │ │ ├── todo.rs
│ │ │ │ ├── unchecked_return.rs
│ │ │ │ ├── uninitialized_local_variable.rs
│ │ │ │ ├── unsafe_erc20_operation.rs
│ │ │ │ ├── unsafe_oz_erc721_mint.rs
│ │ │ │ ├── unspecific_solidity_pragma.rs
│ │ │ │ ├── unused_error.rs
│ │ │ │ ├── unused_import.rs
│ │ │ │ ├── unused_public_function.rs
│ │ │ │ ├── unused_state_variable.rs
│ │ │ │ └── void_constructor.rs
│ │ │ ├── low.rs
│ │ │ └── test_utils.rs
│ │ ├── detect.rs
│ │ ├── lib.rs
│ │ ├── stats
│ │ │ ├── cloc.rs
│ │ │ ├── dbg_tips.txt
│ │ │ ├── ignore.rs
│ │ │ ├── token.rs
│ │ │ └── util.rs
│ │ ├── stats.rs
│ │ ├── test_utils
│ │ │ └── load_source_unit.rs
│ │ ├── test_utils.rs
│ │ ├── visitor
│ │ │ ├── ast_visitor.rs
│ │ │ ├── macros.rs
│ │ │ └── workspace_visitor.rs
│ │ └── visitor.rs
│ ├── templates
│ │ └── mcp-tool-response
│ │ ├── callgraph.md
│ │ ├── contract_surface.md
│ │ ├── list_contracts.md
│ │ ├── node_finder_get_all.md
│ │ ├── node_finder_grep.md
│ │ ├── node_finder_search.md
│ │ ├── node_summarizer.md
│ │ ├── project_overview.md
│ │ └── tool_guide.md
│ └── tests
│ ├── common
│ │ ├── ancestral_line.rs
│ │ ├── closest_ancestor.rs
│ │ ├── immediate_children.rs
│ │ ├── immediate_parent.rs
│ │ ├── mod.rs
│ │ ├── new_ast_nodes.rs
│ │ ├── peek_over.rs
│ │ └── sibling.rs
│ └── traversal.rs
├── aderyn_driver
│ ├── .gitignore
│ ├── benches
│ │ └── detectors.rs
│ ├── Cargo.toml
│ ├── README.md
│ ├── src
│ │ ├── compile.rs
│ │ ├── config.rs
│ │ ├── display.rs
│ │ ├── driver.rs
│ │ ├── interface
│ │ │ ├── json.rs
│ │ │ ├── lsp.rs
│ │ │ ├── markdown.rs
│ │ │ ├── mod.rs
│ │ │ ├── sarif.rs
│ │ │ ├── tables.rs
│ │ │ └── util.rs
│ │ ├── lib.rs
│ │ ├── mcp.rs
│ │ ├── process.rs
│ │ └── runner.rs
│ └── tests
│ └── astgen.rs
├── bacon.toml
├── benchmarks
│ ├── aderyn
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── iteration_times.svg
│ │ │ └── pdf.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── iteration_times_small.svg
│ │ ├── iteration_times.svg
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── relative_iteration_times_small.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── SD.svg
│ │ └── typical.svg
│ ├── arbitrary-transfer-from
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── avoid-abi-encode-packed
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── block-timestamp-deadline
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── centralization-risk
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── constants-instead-of-literals
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── delegate-call-in-loop
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── deprecated-oz-functions
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── ecrecover
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── empty-block
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── hello_world
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── inconsistent-type-names
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── large-numeric-literal
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── non-reentrant-before-others
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── push-zero-opcode
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── report
│ │ └── index.html
│ ├── require-with-string
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── solmate-safe-transfer-lib
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── unindexed-events
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── unprotected-initializer
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── unsafe-erc20-functions
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── unsafe-oz-erc721-mint
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── unspecific-solidity-pragma
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── useless-internal-function
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── useless-modifier
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ ├── useless-public-function
│ │ ├── base
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ ├── change
│ │ │ └── estimates.json
│ │ ├── new
│ │ │ ├── benchmark.json
│ │ │ ├── estimates.json
│ │ │ ├── sample.json
│ │ │ └── tukey.json
│ │ └── report
│ │ ├── both
│ │ │ ├── pdf.svg
│ │ │ └── regression.svg
│ │ ├── change
│ │ │ ├── mean.svg
│ │ │ ├── median.svg
│ │ │ └── t-test.svg
│ │ ├── index.html
│ │ ├── MAD.svg
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ ├── pdf_small.svg
│ │ ├── pdf.svg
│ │ ├── regression_small.svg
│ │ ├── regression.svg
│ │ ├── relative_pdf_small.svg
│ │ ├── relative_regression_small.svg
│ │ ├── SD.svg
│ │ ├── slope.svg
│ │ └── typical.svg
│ └── zero-address-check
│ ├── base
│ │ ├── benchmark.json
│ │ ├── estimates.json
│ │ ├── sample.json
│ │ └── tukey.json
│ ├── change
│ │ └── estimates.json
│ ├── new
│ │ ├── benchmark.json
│ │ ├── estimates.json
│ │ ├── sample.json
│ │ └── tukey.json
│ └── report
│ ├── both
│ │ ├── pdf.svg
│ │ └── regression.svg
│ ├── change
│ │ ├── mean.svg
│ │ ├── median.svg
│ │ └── t-test.svg
│ ├── index.html
│ ├── MAD.svg
│ ├── mean.svg
│ ├── median.svg
│ ├── pdf_small.svg
│ ├── pdf.svg
│ ├── regression_small.svg
│ ├── regression.svg
│ ├── relative_pdf_small.svg
│ ├── relative_regression_small.svg
│ ├── SD.svg
│ ├── slope.svg
│ └── typical.svg
├── Cargo.lock
├── Cargo.toml
├── cli
│ ├── benchmarks.sh
│ └── reportgen.sh
├── CODEOWNERS
├── CONTRIBUTING.md
├── cyfrinup
│ ├── dynamic_script
│ └── why.md
├── deny.toml
├── dist-workspace.toml
├── funding.json
├── LICENSE
├── Makefile
├── package-lock.json
├── package.json
├── README.md
├── RELEASE_CHECKLIST.md
├── reports
│ ├── adhoc-sol-files-highs-only-report.json
│ ├── adhoc-sol-files-report.md
│ ├── ccip-functions-report.md
│ ├── empty_report.md
│ ├── hardhat-playground-report.md
│ ├── nft-report-icm.md
│ ├── nft-report.md
│ ├── prb-math-report.md
│ ├── report.json
│ ├── report.md
│ ├── report.sarif
│ ├── sablier-aderyn-toml-nested-root.md
│ ├── templegold-report.md
│ └── uniswap_profile.md
├── rust-toolchain.toml
├── rustfmt.toml
├── tests
│ ├── adhoc-sol-files
│ │ ├── aderyn.toml
│ │ ├── Counter.sol
│ │ ├── DemoASTNodes.sol
│ │ ├── Helper.sol
│ │ ├── InconsistentUints.sol
│ │ ├── inheritance
│ │ │ ├── ExtendedInheritance.sol
│ │ │ ├── IContractInheritance.sol
│ │ │ └── InheritanceBase.sol
│ │ ├── InternalFunctions.sol
│ │ ├── lib
│ │ │ └── ThisShouldBeExcluded.sol
│ │ ├── multiple-versions
│ │ │ ├── 0.4
│ │ │ │ ├── A.sol
│ │ │ │ └── B.sol
│ │ │ ├── 0.5
│ │ │ │ ├── A.sol
│ │ │ │ └── B.sol
│ │ │ ├── 0.6
│ │ │ │ ├── A.sol
│ │ │ │ └── B.sol
│ │ │ ├── 0.7
│ │ │ │ ├── A.sol
│ │ │ │ └── B.sol
│ │ │ └── 0.8
│ │ │ ├── A.sol
│ │ │ └── B.sol
│ │ ├── OnceModifierExample.sol
│ │ └── StateVariables.sol
│ ├── ast
│ │ ├── abstract_contract.json
│ │ ├── address_payable.json
│ │ ├── array_type_name.json
│ │ ├── ast-erc4626.json
│ │ ├── base_constructor_call.json
│ │ ├── bit_not.json
│ │ ├── call.json
│ │ ├── constructor.json
│ │ ├── contract_dep_order.json
│ │ ├── do_while.json
│ │ ├── documentation_1.json
│ │ ├── documentation_2.json
│ │ ├── documentation_3.json
│ │ ├── documentation_local_variable.json
│ │ ├── documentation_on_statements.json
│ │ ├── documentation_triple.json
│ │ ├── empty_block.json
│ │ ├── enum_value_declaration.json
│ │ ├── enum_value.json
│ │ ├── event_definition.json
│ │ ├── experimental_encoder_pragma.json
│ │ ├── fallback_and_reveice_ether.json
│ │ ├── fallback_payable.json
│ │ ├── fallback.json
│ │ ├── function_type.json
│ │ ├── function.json
│ │ ├── global_enum.json
│ │ ├── global_struct.json
│ │ ├── inheritance_specifier.json
│ │ ├── leave.json
│ │ ├── license.json
│ │ ├── long_type_name_binary_operation.json
│ │ ├── long_type_name_identifier.json
│ │ ├── loop.json
│ │ ├── mappings.json
│ │ ├── modifier_definition.json
│ │ ├── modifier_invocation.json
│ │ ├── mutability.json
│ │ ├── nested_functions.json
│ │ ├── non_utf8.json
│ │ ├── override.json
│ │ ├── placeholder_statement.json
│ │ ├── receive_ether.json
│ │ ├── short_type_name_ref.json
│ │ ├── short_type_name.json
│ │ ├── slot_offset.json
│ │ ├── smoke.json
│ │ ├── source_location.json
│ │ ├── string.json
│ │ ├── stringlit.json
│ │ ├── switch_default.json
│ │ ├── switch.json
│ │ ├── try_catch.json
│ │ ├── two_base_functions.json
│ │ ├── unicode.json
│ │ ├── used_errors.json
│ │ ├── userDefinedValueType.json
│ │ ├── using_for_directive.json
│ │ ├── var_access.json
│ │ └── yul_hex_literal.json
│ ├── contract-playground
│ │ ├── .github
│ │ │ └── workflows
│ │ │ └── test.yml
│ │ ├── .gitignore
│ │ ├── dot
│ │ │ └── .gitkeep
│ │ ├── foundry.toml
│ │ ├── README.md
│ │ ├── script
│ │ │ └── Counter.s.sol
│ │ ├── src
│ │ │ ├── AbstractContract.sol
│ │ │ ├── AderynIgnoreCustomDetectors.sol
│ │ │ ├── AdminContract.sol
│ │ │ ├── ArbitraryTransferFrom.sol
│ │ │ ├── AssemblyExample.sol
│ │ │ ├── AssertStateChange.sol
│ │ │ ├── auditor_mode
│ │ │ │ ├── ExternalCalls.sol
│ │ │ │ └── PublicFunctionsWithoutSenderCheck.sol
│ │ │ ├── BooleanEquality.sol
│ │ │ ├── BuiltinSymbolShadow.sol
│ │ │ ├── CacheArrayLength.sol
│ │ │ ├── CallGraphTests.sol
│ │ │ ├── Casting.sol
│ │ │ ├── cloc
│ │ │ │ ├── AnotherHeavilyCommentedContract.sol
│ │ │ │ ├── EmptyContractFile.sol
│ │ │ │ └── HeavilyCommentedContract.sol
│ │ │ ├── CompilerBugStorageSignedIntegerArray.sol
│ │ │ ├── ConstantFuncsAssembly.sol
│ │ │ ├── ConstantsLiterals.sol
│ │ │ ├── ConstFuncChangeState.sol
│ │ │ ├── ContractLocksEther.sol
│ │ │ ├── ContractWithTodo.sol
│ │ │ ├── control_flow
│ │ │ │ └── SimpleProgram.sol
│ │ │ ├── CostlyOperationsInsideLoops.sol
│ │ │ ├── Counter.sol
│ │ │ ├── CrazyPragma.sol
│ │ │ ├── DangerousStrictEquality1.sol
│ │ │ ├── DangerousStrictEquality2.sol
│ │ │ ├── DangerousUnaryOperator.sol
│ │ │ ├── DeadCode.sol
│ │ │ ├── DelegateCallWithoutAddressCheck.sol
│ │ │ ├── DeletionNestedMappingStructureContract.sol
│ │ │ ├── DeprecatedOZFunctions.sol
│ │ │ ├── DivisionBeforeMultiplication.sol
│ │ │ ├── DynamicArrayLengthAssignment.sol
│ │ │ ├── EmitAfterExternalCall.sol
│ │ │ ├── EmptyBlocks.sol
│ │ │ ├── EnumerableSetIteration.sol
│ │ │ ├── eth2
│ │ │ │ └── DepositContract.sol
│ │ │ ├── ExperimentalEncoder.sol
│ │ │ ├── ExternalCalls.sol
│ │ │ ├── FunctionInitializingState.sol
│ │ │ ├── FunctionPointers.sol
│ │ │ ├── FunctionSignatureCollision.sol
│ │ │ ├── HugeConstants.sol
│ │ │ ├── IgnoreEverything.sol
│ │ │ ├── InconsistentUints.sol
│ │ │ ├── IncorrectCaretOperator.sol
│ │ │ ├── IncorrectERC20.sol
│ │ │ ├── IncorrectERC721.sol
│ │ │ ├── IncorrectModifier.sol
│ │ │ ├── IncorrectShift.sol
│ │ │ ├── inheritance
│ │ │ │ ├── ExtendedInheritance.sol
│ │ │ │ ├── IContractInheritance.sol
│ │ │ │ └── InheritanceBase.sol
│ │ │ ├── InternalFunctions.sol
│ │ │ ├── KeccakContract.sol
│ │ │ ├── LocalVariableShadow.sol
│ │ │ ├── MissingInheritance.sol
│ │ │ ├── MisusedBoolean.sol
│ │ │ ├── MsgValueInLoop.sol
│ │ │ ├── MultipleConstructorSchemes.sol
│ │ │ ├── MultiplePlaceholders.sol
│ │ │ ├── nested
│ │ │ │ ├── 1
│ │ │ │ │ └── Nested.sol
│ │ │ │ └── 2
│ │ │ │ └── Nested.sol
│ │ │ ├── nested_mappings
│ │ │ │ ├── LaterVersion.sol
│ │ │ │ └── NestedMappings.sol
│ │ │ ├── OnceModifierExample.sol
│ │ │ ├── OnlyLibrary.sol
│ │ │ ├── OutOfOrderRetryable.sol
│ │ │ ├── parent_chain
│ │ │ │ └── ParentChainContract.sol
│ │ │ ├── PragmaRange.sol
│ │ │ ├── PreDeclaredVarUsage.sol
│ │ │ ├── PublicFunction.sol
│ │ │ ├── PublicVariableReadInExternalContext.sol
│ │ │ ├── RedundantStatements.sol
│ │ │ ├── ReturnBomb.sol
│ │ │ ├── reused_contract_name
│ │ │ │ ├── ContractA.sol
│ │ │ │ └── ContractB.sol
│ │ │ ├── RevertsAndRequriesInLoops.sol
│ │ │ ├── router
│ │ │ │ ├── ExternalCalls.sol
│ │ │ │ ├── FallbackAndReceiveOverrides.sol
│ │ │ │ ├── InternalCalls.sol
│ │ │ │ ├── ModifierCalls.sol
│ │ │ │ └── VarOverridesFunction.sol
│ │ │ ├── RTLO.sol
│ │ │ ├── SendEtherNoChecks.sol
│ │ │ ├── SendEtherNoChecksLibImport.sol
│ │ │ ├── StateChangeAfterExternalCall.sol
│ │ │ ├── StateShadowing.sol
│ │ │ ├── StateVariableCouldBeDeclaredConstant.sol
│ │ │ ├── StateVariableCouldBeDeclaredImmutable.sol
│ │ │ ├── StateVariables.sol
│ │ │ ├── StateVariablesChangesWithoutEvents.sol
│ │ │ ├── StateVariablesManipulation.sol
│ │ │ ├── StorageConditionals.sol
│ │ │ ├── StorageParameters.sol
│ │ │ ├── T11sTranferer.sol
│ │ │ ├── TautologicalCompare.sol
│ │ │ ├── TautologyOrContradiction.sol
│ │ │ ├── TestERC20.sol
│ │ │ ├── TransientKeyword.sol
│ │ │ ├── Trump.sol
│ │ │ ├── TxOriginUsedForAuth.sol
│ │ │ ├── U2.sol
│ │ │ ├── U3.sol
│ │ │ ├── U4.sol
│ │ │ ├── U5.sol
│ │ │ ├── UncheckedCalls.sol
│ │ │ ├── UncheckedReturn.sol
│ │ │ ├── UncheckedSend.sol
│ │ │ ├── UninitializedLocalVariables.sol
│ │ │ ├── UninitializedStateVariable.sol
│ │ │ ├── uniswap
│ │ │ │ ├── UniswapV2Swapper.sol
│ │ │ │ └── UniswapV3Swapper.sol
│ │ │ ├── UnprotectedInitialize.sol
│ │ │ ├── UnsafeERC721Mint.sol
│ │ │ ├── UnusedError.sol
│ │ │ ├── UnusedImport.sol
│ │ │ ├── UnusedStateVariables.sol
│ │ │ ├── UsingSelfdestruct.sol
│ │ │ ├── VoidConstructor.sol
│ │ │ ├── WeakRandomness.sol
│ │ │ ├── WrongOrderOfLayout.sol
│ │ │ ├── YulReturn.sol
│ │ │ └── ZeroAddressCheck.sol
│ │ └── test
│ │ └── Counter.t.sol
│ ├── foundry-nft-f23
│ │ ├── .github
│ │ │ └── workflows
│ │ │ └── test.yml
│ │ ├── .gitignore
│ │ ├── foundry.lock
│ │ ├── foundry.toml
│ │ ├── README.md
│ │ ├── remappings.txt
│ │ └── src
│ │ ├── BasicNft.sol
│ │ ├── F1.sol
│ │ ├── F2.sol
│ │ ├── Initializer.sol
│ │ └── inner-core-modules
│ │ └── ICM.sol
│ ├── foundry-nft-f23-icm
│ │ ├── .github
│ │ │ └── workflows
│ │ │ └── test.yml
│ │ ├── .gitignore
│ │ ├── aderyn.toml
│ │ ├── foundry.toml
│ │ ├── README.md
│ │ ├── remappings.txt
│ │ └── src
│ │ ├── BasicNft.sol
│ │ ├── F1.sol
│ │ ├── F2.sol
│ │ ├── Initializer.sol
│ │ └── inner-core-modules
│ │ └── ICM.sol
│ ├── hardhat-js-playground
│ │ ├── .gitignore
│ │ ├── artifacts
│ │ │ ├── build-info
│ │ │ │ └── cee6fe9a9a2f03f7ff10a27ab2746af6.json
│ │ │ └── contracts
│ │ │ ├── Counter.sol
│ │ │ │ ├── Counter.dbg.json
│ │ │ │ └── Counter.json
│ │ │ ├── ExtendedInheritance.sol
│ │ │ │ ├── ExtendedInheritance.dbg.json
│ │ │ │ └── ExtendedInheritance.json
│ │ │ ├── IContractInheritance.sol
│ │ │ │ ├── IContractInheritance.dbg.json
│ │ │ │ └── IContractInheritance.json
│ │ │ ├── InheritanceBase.sol
│ │ │ │ ├── InheritanceBase.dbg.json
│ │ │ │ └── InheritanceBase.json
│ │ │ ├── KeccakContract.sol
│ │ │ │ ├── KeccakContract.dbg.json
│ │ │ │ └── KeccakContract.json
│ │ │ ├── Lock.sol
│ │ │ │ ├── Lock.dbg.json
│ │ │ │ └── Lock.json
│ │ │ └── StateVariables.sol
│ │ │ ├── StateVariables.dbg.json
│ │ │ └── StateVariables.json
│ │ ├── contracts
│ │ │ ├── Counter.sol
│ │ │ ├── ExtendedInheritance.sol
│ │ │ ├── IContractInheritance.sol
│ │ │ ├── InheritanceBase.sol
│ │ │ ├── KeccakContract.sol
│ │ │ ├── Lock.sol
│ │ │ └── StateVariables.sol
│ │ ├── hardhat.config.js
│ │ ├── package.json
│ │ ├── README.md
│ │ ├── scripts
│ │ │ └── deploy.js
│ │ ├── test
│ │ │ └── Lock.js
│ │ └── yarn.lock
│ ├── no-sol-files
│ │ ├── extra
│ │ │ └── HelloAgain.md
│ │ ├── Hello.txt
│ │ └── Hello.yul
│ └── toml
│ ├── nested_project1
│ │ ├── aderyn.toml
│ │ ├── folder1
│ │ │ └── hardhat.config.ts
│ │ ├── folder2
│ │ │ └── hardhat.config.ts
│ │ └── folder3
│ │ └── file.txt
│ └── nested_project2
│ ├── aderyn.toml
│ ├── folder1
│ │ └── foundry.toml
│ └── folder2
│ └── file1.txt
├── tools
│ └── xtask
│ ├── Cargo.toml
│ └── src
│ ├── blesspr.rs
│ ├── cut_release.rs
│ ├── flags.rs
│ ├── main.rs
│ ├── reportgen.rs
│ └── tomlgen.rs
└── typos.toml
```
# Files
--------------------------------------------------------------------------------
/benchmarks/push-zero-opcode/report/SD.svg:
--------------------------------------------------------------------------------
```
<svg width="960" height="540" viewBox="0 0 960 540" xmlns="http://www.w3.org/2000/svg">
<text x="480" y="32" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="16.129032258064516" opacity="1" fill="#000000">
push-zero-opcode:SD
</text>
<text x="27" y="263" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000" transform="rotate(270, 27, 263)">
Density (a.u.)
</text>
<text x="510" y="513" dy="-0.5ex" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Average time (µs)
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="86,53 86,472 "/>
<text x="77" y="422" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.1
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,422 86,422 "/>
<text x="77" y="364" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.2
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,364 86,364 "/>
<text x="77" y="306" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.3
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,306 86,306 "/>
<text x="77" y="248" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.4
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,248 86,248 "/>
<text x="77" y="190" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,190 86,190 "/>
<text x="77" y="132" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.6
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,132 86,132 "/>
<text x="77" y="74" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.7
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,74 86,74 "/>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="87,473 932,473 "/>
<text x="128" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
1.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="128,473 128,478 "/>
<text x="277" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
2
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="277,473 277,478 "/>
<text x="426" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
2.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="426,473 426,478 "/>
<text x="575" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="575,473 575,478 "/>
<text x="724" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="724,473 724,478 "/>
<text x="873" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
4
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="873,473 873,478 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="87,472 88,472 90,470 92,469 93,468 95,467 97,465 98,464 100,462 102,460 103,458 105,456 107,454 109,452 110,449 112,447 114,444 115,442 117,439 119,436 120,433 122,430 124,427 125,424 127,421 129,419 131,416 132,413 134,410 136,407 137,404 139,401 141,399 142,396 144,394 146,392 147,390 149,388 151,386 153,384 154,383 156,382 158,381 159,380 161,379 163,378 164,378 166,378 168,377 169,377 171,377 173,378 175,378 176,378 178,378 180,378 181,378 183,378 185,378 186,378 188,378 190,378 191,377 193,377 195,376 197,375 198,373 200,372 202,370 203,369 205,367 207,364 208,362 210,360 212,357 214,354 215,352 217,349 219,346 220,342 222,339 224,336 225,333 227,329 229,326 230,323 232,319 234,316 236,313 237,310 239,306 241,303 242,300 244,297 246,294 247,291 249,289 251,286 252,283 254,281 256,279 258,277 259,274 261,273 263,271 264,269 266,268 268,267 269,266 271,265 273,264 274,263 276,263 278,263 280,262 281,262 283,262 285,263 286,263 288,263 290,263 291,264 293,264 295,265 296,265 298,265 300,265 302,266 303,266 305,266 307,266 308,266 310,265 312,265 313,264 315,264 317,263 318,262 320,261 322,260 324,259 325,257 327,256 329,255 330,253 332,252 334,250 335,248 337,247 339,245 341,243 342,241 344,239 346,237 347,234 349,232 351,229 352,227 354,224 356,221 357,218 359,215 361,212 363,208 364,205 366,201 368,197 369,193 371,189 373,186 374,182 376,178 378,174 379,171 381,167 383,164 385,161 386,158 388,156 390,153 391,151 393,150 395,148 396,147 398,146 400,145 401,145 403,144 405,144 407,144 408,144 410,144 412,143 413,143 415,143 417,143 418,142 420,142 422,141 423,140 425,139 427,138 429,136 430,134 432,132 434,130 435,128 437,126 439,123 440,121 442,118 444,115 445,113 447,110 449,108 451,105 452,103 454,101 456,99 457,98 459,96 461,95 462,94 464,93 466,93 468,92 469,92 471,92 473,93 474,93 476,94 478,95 479,96 481,98 483,99 484,100 486,102 488,103 490,105 491,107 493,108 495,110 496,112 498,113 500,115 501,116 503,118 505,119 506,120 508,122 510,123 512,124 513,125 515,126 517,127 518,128 520,129 522,129 523,130 525,131 527,131 528,132 530,133 532,133 534,134 535,134 537,134 539,135 540,135 542,135 544,136 545,136 547,136 549,136 550,137 552,137 554,138 556,138 557,138 559,139 561,140 562,140 564,141 566,142 567,143 569,144 571,145 573,146 574,147 576,148 578,150 579,151 581,152 583,153 584,154 586,156 588,157 589,158 591,159 593,160 595,161 596,162 598,163 600,164 601,165 603,166 605,167 606,168 608,169 610,170 611,171 613,172 615,173 617,174 618,176 620,177 622,178 623,180 625,182 627,183 628,185 630,187 632,189 633,191 635,193 637,195 639,197 640,200 642,202 644,204 645,207 647,209 649,212 650,214 652,216 654,219 655,221 657,224 659,226 661,228 662,231 664,233 666,235 667,238 669,240 671,242 672,244 674,246 676,248 677,251 679,253 681,254 683,256 684,258 686,260 688,262 689,264 691,266 693,267 694,269 696,271 698,273 700,274 701,276 703,278 705,280 706,281 708,283 710,285 711,287 713,289 715,291 716,293 718,295 720,297 722,298 723,300 725,302 727,304 728,306 730,308 732,310 733,312 735,314 737,316 738,317 740,319 742,321 744,323 745,325 747,327 749,329 750,330 752,332 754,334 755,336 757,338 759,340 760,342 762,344 764,346 766,347 767,349 769,351 771,353 772,355 774,357 776,359 777,361 779,363 781,365 782,366 784,368 786,370 788,372 789,373 791,375 793,376 794,378 796,380 798,381 799,383 801,384 803,385 804,387 806,388 808,389 810,391 811,392 813,393 815,395 816,396 818,397 820,398 821,400 823,401 825,402 827,403 828,404 830,406 832,407 833,408 835,409 837,410 838,412 840,413 842,414 843,415 845,416 847,417 849,418 850,419 852,420 854,421 855,422 857,423 859,424 860,425 862,426 864,427 865,428 867,428 869,429 871,430 872,431 874,432 876,432 877,433 879,434 881,435 882,435 884,436 886,437 887,438 889,439 891,439 893,440 894,441 896,442 898,443 899,444 901,445 903,445 904,446 906,447 908,448 909,449 911,449 913,450 915,451 916,452 918,452 920,453 921,454 923,454 925,455 926,456 928,456 930,457 932,457 "/>
<polygon opacity="0.25" fill="#1F78B4" points="164,378 166,378 168,377 169,377 171,377 173,378 175,378 176,378 178,378 180,378 181,378 183,378 185,378 186,378 188,378 190,378 191,377 193,377 195,376 197,375 198,373 200,372 202,370 203,369 205,367 207,364 208,362 210,360 212,357 214,354 215,352 217,349 219,346 220,342 222,339 224,336 225,333 227,329 229,326 230,323 232,319 234,316 236,313 237,310 239,306 241,303 242,300 244,297 246,294 247,291 249,289 251,286 252,283 254,281 256,279 258,277 259,274 261,273 263,271 264,269 266,268 268,267 269,266 271,265 273,264 274,263 276,263 278,263 280,262 281,262 283,262 285,263 286,263 288,263 290,263 291,264 293,264 295,265 296,265 298,265 300,265 302,266 303,266 305,266 307,266 308,266 310,265 312,265 313,264 315,264 317,263 318,262 320,261 322,260 324,259 325,257 327,256 329,255 330,253 332,252 334,250 335,248 337,247 339,245 341,243 342,241 344,239 346,237 347,234 349,232 351,229 352,227 354,224 356,221 357,218 359,215 361,212 363,208 364,205 366,201 368,197 369,193 371,189 373,186 374,182 376,178 378,174 379,171 381,167 383,164 385,161 386,158 388,156 390,153 391,151 393,150 395,148 396,147 398,146 400,145 401,145 403,144 405,144 407,144 408,144 410,144 412,143 413,143 415,143 417,143 418,142 420,142 422,141 423,140 425,139 427,138 429,136 430,134 432,132 434,130 435,128 437,126 439,123 440,121 442,118 444,115 445,113 447,110 449,108 451,105 452,103 454,101 456,99 457,98 459,96 461,95 462,94 464,93 466,93 468,92 469,92 471,92 473,93 474,93 476,94 478,95 479,96 481,98 483,99 484,100 486,102 488,103 490,105 491,107 493,108 495,110 496,112 498,113 500,115 501,116 503,118 505,119 506,120 508,122 510,123 512,124 513,125 515,126 517,127 518,128 520,129 522,129 523,130 525,131 527,131 528,132 530,133 532,133 534,134 535,134 537,134 539,135 540,135 542,135 544,136 545,136 547,136 549,136 550,137 552,137 554,138 556,138 557,138 559,139 561,140 562,140 564,141 566,142 567,143 569,144 571,145 573,146 574,147 576,148 578,150 579,151 581,152 583,153 584,154 586,156 588,157 589,158 591,159 593,160 595,161 596,162 598,163 600,164 601,165 603,166 605,167 606,168 608,169 610,170 611,171 613,172 615,173 617,174 618,176 620,177 622,178 623,180 625,182 627,183 628,185 630,187 632,189 633,191 635,193 637,195 639,197 640,200 642,202 644,204 645,207 647,209 649,212 650,214 652,216 654,219 655,221 657,224 659,226 661,228 662,231 664,233 666,235 667,238 669,240 671,242 672,244 674,246 676,248 677,251 679,253 681,254 683,256 684,258 686,260 688,262 689,264 691,266 693,267 694,269 696,271 698,273 700,274 701,276 703,278 705,280 706,281 708,283 710,285 711,287 713,289 715,291 716,293 718,295 720,297 722,298 723,300 725,302 727,304 728,306 730,308 732,310 733,312 735,314 737,316 738,317 740,319 742,321 744,323 745,325 747,327 749,329 750,330 752,332 754,334 755,336 757,338 759,340 760,342 762,344 764,346 766,347 767,349 769,351 771,353 772,355 774,357 776,359 777,361 779,363 781,365 782,366 784,368 786,370 788,372 789,373 791,375 793,376 794,378 796,380 798,381 799,383 801,384 803,385 804,387 806,388 808,389 810,391 811,392 813,393 815,395 816,396 818,397 820,398 821,400 823,401 825,402 827,403 828,404 830,406 832,407 833,408 835,409 837,410 838,412 840,413 842,414 843,415 845,416 847,417 849,418 850,419 852,420 852,473 164,473 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="3" points="521,473 521,129 "/>
<text x="798" y="68" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Bootstrap distribution
</text>
<text x="798" y="83" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Confidence interval
</text>
<text x="798" y="98" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Point estimate
</text>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,73 788,73 "/>
<rect x="768" y="83" width="20" height="10" opacity="0.25" fill="#1F78B4" stroke="none"/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,103 788,103 "/>
</svg>
```
--------------------------------------------------------------------------------
/benchmarks/empty-block/report/SD.svg:
--------------------------------------------------------------------------------
```
<svg width="960" height="540" viewBox="0 0 960 540" xmlns="http://www.w3.org/2000/svg">
<text x="480" y="32" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="16.129032258064516" opacity="1" fill="#000000">
empty-block:SD
</text>
<text x="27" y="263" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000" transform="rotate(270, 27, 263)">
Density (a.u.)
</text>
<text x="510" y="513" dy="-0.5ex" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Average time (µs)
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="86,53 86,472 "/>
<text x="77" y="422" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.2
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,422 86,422 "/>
<text x="77" y="369" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.4
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,369 86,369 "/>
<text x="77" y="317" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.6
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,317 86,317 "/>
<text x="77" y="265" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.8
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,265 86,265 "/>
<text x="77" y="213" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
1
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,213 86,213 "/>
<text x="77" y="161" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
1.2
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,161 86,161 "/>
<text x="77" y="108" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
1.4
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,108 86,108 "/>
<text x="77" y="56" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
1.6
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,56 86,56 "/>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="87,473 932,473 "/>
<text x="203" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
1.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="203,473 203,478 "/>
<text x="365" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
2
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="365,473 365,478 "/>
<text x="528" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
2.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="528,473 528,478 "/>
<text x="690" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="690,473 690,478 "/>
<text x="853" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="853,473 853,478 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="87,472 88,471 90,471 92,470 93,470 95,470 97,469 98,468 100,468 102,467 103,466 105,465 107,464 109,463 110,462 112,461 114,459 115,458 117,456 119,454 120,453 122,450 124,448 125,446 127,443 129,441 131,438 132,435 134,431 136,428 137,424 139,420 141,416 142,412 144,408 146,403 147,398 149,393 151,388 153,383 154,377 156,372 158,366 159,360 161,353 163,347 164,341 166,334 168,328 169,321 171,314 173,307 175,301 176,294 178,287 180,280 181,274 183,267 185,261 186,254 188,248 190,242 191,237 193,231 195,226 197,221 198,216 200,212 202,208 203,204 205,201 207,198 208,195 210,193 212,191 214,190 215,189 217,188 219,188 220,189 222,190 224,191 225,193 227,195 229,197 230,200 232,203 234,207 236,211 237,215 239,220 241,225 242,230 244,236 246,241 247,247 249,253 251,260 252,266 254,272 256,279 258,286 259,292 261,299 263,306 264,312 266,319 268,325 269,332 271,338 273,345 274,351 276,357 278,363 280,369 281,374 283,380 285,385 286,390 288,395 290,400 291,404 293,409 295,413 296,417 298,421 300,424 302,428 303,431 305,434 307,437 308,440 310,442 312,445 313,447 315,449 317,451 318,453 320,455 322,457 324,458 325,459 327,461 329,462 330,463 332,464 334,465 335,466 337,467 339,467 341,468 342,469 344,469 346,470 347,470 349,470 351,471 352,471 354,471 356,472 357,472 359,472 361,472 363,472 364,472 366,472 368,472 369,472 371,472 373,472 374,472 376,472 378,472 379,472 381,472 383,471 385,471 386,470 388,470 390,469 391,468 393,467 395,466 396,465 398,464 400,462 401,461 403,459 405,456 407,454 408,451 410,448 412,445 413,441 415,437 417,433 418,428 420,423 422,417 423,411 425,404 427,397 429,390 430,381 432,373 434,364 435,355 437,345 439,335 440,324 442,313 444,302 445,290 447,278 449,266 451,254 452,242 454,230 456,218 457,206 459,194 461,183 462,172 464,161 466,151 468,142 469,133 471,125 473,118 474,111 476,105 478,101 479,97 481,94 483,92 484,92 486,92 488,93 490,96 491,99 493,103 495,108 496,114 498,121 500,128 501,137 503,146 505,155 506,165 508,176 510,187 512,198 513,209 515,221 517,233 518,244 520,256 522,268 523,279 525,291 527,302 528,312 530,323 532,333 534,343 535,352 537,361 539,370 540,378 542,386 544,393 545,400 547,406 549,412 550,418 552,423 554,428 556,433 557,437 559,440 561,444 562,447 564,450 566,452 567,455 569,457 571,459 573,460 574,462 576,463 578,464 579,465 581,466 583,467 584,467 586,468 588,468 589,468 591,468 593,468 595,468 596,467 598,467 600,466 601,465 603,464 605,463 606,462 608,460 610,458 611,456 613,454 615,451 617,449 618,445 620,442 622,438 623,434 625,430 627,425 628,420 630,415 632,410 633,404 635,397 637,391 639,384 640,378 642,370 644,363 645,356 647,349 649,341 650,334 652,327 654,320 655,313 657,306 659,300 661,294 662,289 664,283 666,279 667,275 669,272 671,269 672,267 674,265 676,264 677,264 679,265 681,266 683,268 684,270 686,273 688,277 689,281 691,286 693,291 694,297 696,303 698,309 700,316 701,323 703,330 705,337 706,344 708,351 710,358 711,365 713,372 715,379 716,385 718,392 720,398 722,404 723,409 725,415 727,420 728,424 730,429 732,433 733,437 735,441 737,444 738,447 740,450 742,452 744,455 745,457 747,458 749,460 750,462 752,463 754,464 755,465 757,465 759,466 760,466 762,467 764,467 766,467 767,467 769,466 771,466 772,465 774,465 776,464 777,463 779,462 781,460 782,459 784,458 786,456 788,454 789,452 791,450 793,448 794,446 796,444 798,441 799,439 801,436 803,434 804,431 806,429 808,426 810,424 811,421 813,419 815,417 816,414 818,412 820,410 821,409 823,407 825,406 827,404 828,404 830,403 832,402 833,402 835,402 837,403 838,403 840,404 842,405 843,406 845,408 847,409 849,411 850,413 852,415 854,417 855,420 857,422 859,425 860,427 862,430 864,432 865,435 867,437 869,440 871,442 872,445 874,447 876,449 877,451 879,453 881,455 882,457 884,458 886,460 887,461 889,462 891,463 893,465 894,465 896,466 898,467 899,468 901,468 903,469 904,469 906,469 908,470 909,470 911,470 913,470 915,470 916,470 918,470 920,469 921,469 923,469 925,468 926,468 928,468 930,467 932,467 "/>
<polygon opacity="0.25" fill="#1F78B4" points="164,341 166,334 168,328 169,321 171,314 173,307 175,301 176,294 178,287 180,280 181,274 183,267 185,261 186,254 188,248 190,242 191,237 193,231 195,226 197,221 198,216 200,212 202,208 203,204 205,201 207,198 208,195 210,193 212,191 214,190 215,189 217,188 219,188 220,189 222,190 224,191 225,193 227,195 229,197 230,200 232,203 234,207 236,211 237,215 239,220 241,225 242,230 244,236 246,241 247,247 249,253 251,260 252,266 254,272 256,279 258,286 259,292 261,299 263,306 264,312 266,319 268,325 269,332 271,338 273,345 274,351 276,357 278,363 280,369 281,374 283,380 285,385 286,390 288,395 290,400 291,404 293,409 295,413 296,417 298,421 300,424 302,428 303,431 305,434 307,437 308,440 310,442 312,445 313,447 315,449 317,451 318,453 320,455 322,457 324,458 325,459 327,461 329,462 330,463 332,464 334,465 335,466 337,467 339,467 341,468 342,469 344,469 346,470 347,470 349,470 351,471 352,471 354,471 356,472 357,472 359,472 361,472 363,472 364,472 366,472 368,472 369,472 371,472 373,472 374,472 376,472 378,472 379,472 381,472 383,471 385,471 386,470 388,470 390,469 391,468 393,467 395,466 396,465 398,464 400,462 401,461 403,459 405,456 407,454 408,451 410,448 412,445 413,441 415,437 417,433 418,428 420,423 422,417 423,411 425,404 427,397 429,390 430,381 432,373 434,364 435,355 437,345 439,335 440,324 442,313 444,302 445,290 447,278 449,266 451,254 452,242 454,230 456,218 457,206 459,194 461,183 462,172 464,161 466,151 468,142 469,133 471,125 473,118 474,111 476,105 478,101 479,97 481,94 483,92 484,92 486,92 488,93 490,96 491,99 493,103 495,108 496,114 498,121 500,128 501,137 503,146 505,155 506,165 508,176 510,187 512,198 513,209 515,221 517,233 518,244 520,256 522,268 523,279 525,291 527,302 528,312 530,323 532,333 534,343 535,352 537,361 539,370 540,378 542,386 544,393 545,400 547,406 549,412 550,418 552,423 554,428 556,433 557,437 559,440 561,444 562,447 564,450 566,452 567,455 569,457 571,459 573,460 574,462 576,463 578,464 579,465 581,466 583,467 584,467 586,468 588,468 589,468 591,468 593,468 595,468 596,467 598,467 600,466 601,465 603,464 605,463 606,462 608,460 610,458 611,456 613,454 615,451 617,449 618,445 620,442 622,438 623,434 625,430 627,425 628,420 630,415 632,410 633,404 635,397 637,391 639,384 640,378 642,370 644,363 645,356 647,349 649,341 650,334 652,327 654,320 655,313 657,306 659,300 661,294 662,289 664,283 666,279 667,275 669,272 671,269 672,267 674,265 676,264 677,264 679,265 681,266 683,268 684,270 686,273 688,277 689,281 691,286 693,291 694,297 696,303 698,309 700,316 701,323 703,330 705,337 706,344 708,351 710,358 711,365 713,372 715,379 716,385 718,392 720,398 722,404 723,409 725,415 727,420 728,424 730,429 732,433 733,437 735,441 737,444 738,447 740,450 742,452 744,455 745,457 747,458 749,460 750,462 752,463 754,464 755,465 757,465 759,466 760,466 762,467 764,467 766,467 767,467 769,466 771,466 772,465 774,465 776,464 777,463 779,462 781,460 782,459 784,458 786,456 788,454 789,452 791,450 793,448 794,446 796,444 798,441 799,439 801,436 803,434 804,431 806,429 808,426 810,424 811,421 813,419 815,417 816,414 818,412 820,410 821,409 823,407 825,406 827,404 828,404 830,403 832,402 833,402 835,402 837,403 838,403 840,404 842,405 843,406 845,408 847,409 849,411 850,413 852,415 852,473 164,473 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="3" points="488,473 488,93 "/>
<text x="798" y="68" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Bootstrap distribution
</text>
<text x="798" y="83" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Confidence interval
</text>
<text x="798" y="98" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Point estimate
</text>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,73 788,73 "/>
<rect x="768" y="83" width="20" height="10" opacity="0.25" fill="#1F78B4" stroke="none"/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,103 788,103 "/>
</svg>
```
--------------------------------------------------------------------------------
/benchmarks/non-reentrant-before-others/report/slope.svg:
--------------------------------------------------------------------------------
```
<svg width="960" height="540" viewBox="0 0 960 540" xmlns="http://www.w3.org/2000/svg">
<text x="480" y="32" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="16.129032258064516" opacity="1" fill="#000000">
non-reentrant-before-others:slope
</text>
<text x="27" y="263" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000" transform="rotate(270, 27, 263)">
Density (a.u.)
</text>
<text x="510" y="513" dy="-0.5ex" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Average time (µs)
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="86,53 86,472 "/>
<text x="77" y="415" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,415 86,415 "/>
<text x="77" y="338" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
10
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,338 86,338 "/>
<text x="77" y="262" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
15
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,262 86,262 "/>
<text x="77" y="186" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
20
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,186 86,186 "/>
<text x="77" y="110" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
25
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,110 86,110 "/>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="87,473 932,473 "/>
<text x="120" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.22
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="120,473 120,478 "/>
<text x="233" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.23
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="233,473 233,478 "/>
<text x="347" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.24
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="347,473 347,478 "/>
<text x="460" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.25
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="460,473 460,478 "/>
<text x="574" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.26
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="574,473 574,478 "/>
<text x="687" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.27
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="687,473 687,478 "/>
<text x="801" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.28
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="801,473 801,478 "/>
<text x="915" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.29
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="915,473 915,478 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="87,472 88,472 90,471 92,470 93,469 95,468 97,467 98,466 100,465 102,463 103,462 105,461 107,459 109,458 110,457 112,455 114,453 115,452 117,450 119,448 120,447 122,445 124,443 125,441 127,439 129,437 131,435 132,433 134,431 136,429 137,426 139,424 141,422 142,419 144,417 146,415 147,412 149,410 151,407 153,405 154,402 156,399 158,397 159,394 161,391 163,388 164,385 166,382 168,379 169,376 171,373 173,370 175,367 176,364 178,361 180,358 181,354 183,351 185,348 186,345 188,342 190,338 191,335 193,332 195,329 197,325 198,322 200,318 202,315 203,312 205,308 207,305 208,301 210,298 212,294 214,291 215,287 217,283 219,280 220,276 222,272 224,269 225,265 227,261 229,258 230,254 232,250 234,247 236,243 237,240 239,236 241,233 242,230 244,227 246,224 247,221 249,218 251,215 252,212 254,209 256,207 258,204 259,202 261,199 263,197 264,194 266,192 268,190 269,187 271,185 273,183 274,181 276,178 278,176 280,174 281,171 283,169 285,167 286,164 288,162 290,160 291,157 293,155 295,153 296,151 298,149 300,146 302,144 303,142 305,141 307,139 308,137 310,135 312,134 313,132 315,130 317,129 318,128 320,126 322,125 324,124 325,122 327,121 329,120 330,119 332,117 334,116 335,115 337,114 339,113 341,111 342,110 344,109 346,108 347,107 349,106 351,105 352,104 354,103 356,102 357,101 359,100 361,99 363,98 364,98 366,97 368,96 369,96 371,95 373,95 374,95 376,94 378,94 379,94 381,93 383,93 385,93 386,93 388,93 390,93 391,94 393,94 395,94 396,94 398,95 400,95 401,96 403,96 405,97 407,97 408,98 410,98 412,99 413,100 415,101 417,101 418,102 420,103 422,104 423,105 425,105 427,106 429,107 430,108 432,109 434,109 435,110 437,111 439,112 440,112 442,113 444,114 445,114 447,115 449,116 451,116 452,117 454,118 456,118 457,119 459,120 461,121 462,122 464,123 466,124 468,125 469,126 471,127 473,129 474,130 476,131 478,133 479,134 481,136 483,137 484,139 486,140 488,142 490,143 491,145 493,146 495,148 496,150 498,151 500,153 501,155 503,157 505,158 506,160 508,162 510,164 512,166 513,167 515,169 517,171 518,173 520,175 522,177 523,179 525,181 527,184 528,186 530,188 532,190 534,192 535,194 537,196 539,198 540,200 542,203 544,205 545,207 547,209 549,211 550,213 552,215 554,218 556,220 557,222 559,224 561,226 562,228 564,230 566,232 567,234 569,236 571,238 573,239 574,241 576,243 578,245 579,247 581,248 583,250 584,252 586,254 588,255 589,257 591,259 593,260 595,262 596,264 598,265 600,267 601,269 603,270 605,272 606,274 608,276 610,277 611,279 613,281 615,282 617,284 618,286 620,288 622,290 623,291 625,293 627,295 628,297 630,299 632,301 633,303 635,304 637,306 639,308 640,310 642,312 644,314 645,316 647,318 649,320 650,321 652,323 654,325 655,327 657,329 659,330 661,332 662,334 664,336 666,337 667,339 669,340 671,342 672,343 674,345 676,346 677,348 679,349 681,350 683,351 684,353 686,354 688,355 689,356 691,357 693,359 694,360 696,361 698,362 700,363 701,364 703,365 705,366 706,368 708,369 710,370 711,371 713,372 715,373 716,375 718,376 720,377 722,378 723,380 725,381 727,382 728,384 730,385 732,386 733,388 735,389 737,390 738,392 740,393 742,394 744,396 745,397 747,398 749,400 750,401 752,402 754,404 755,405 757,406 759,407 760,408 762,409 764,411 766,412 767,413 769,414 771,415 772,416 774,417 776,418 777,419 779,420 781,421 782,422 784,422 786,423 788,424 789,425 791,426 793,427 794,428 796,428 798,429 799,430 801,431 803,432 804,432 806,433 808,434 810,435 811,435 813,436 815,437 816,437 818,438 820,439 821,439 823,440 825,440 827,441 828,442 830,442 832,443 833,444 835,444 837,445 838,445 840,446 842,447 843,447 845,448 847,448 849,449 850,449 852,450 854,450 855,451 857,452 859,452 860,453 862,453 864,454 865,454 867,455 869,455 871,455 872,456 874,456 876,457 877,457 879,458 881,458 882,459 884,459 886,459 887,460 889,460 891,461 893,461 894,461 896,462 898,462 899,463 901,463 903,463 904,464 906,464 908,465 909,465 911,465 913,466 915,466 916,466 918,467 920,467 921,467 923,468 925,468 926,469 928,469 930,469 932,470 "/>
<polygon opacity="0.25" fill="#1F78B4" points="164,385 166,382 168,379 169,376 171,373 173,370 175,367 176,364 178,361 180,358 181,354 183,351 185,348 186,345 188,342 190,338 191,335 193,332 195,329 197,325 198,322 200,318 202,315 203,312 205,308 207,305 208,301 210,298 212,294 214,291 215,287 217,283 219,280 220,276 222,272 224,269 225,265 227,261 229,258 230,254 232,250 234,247 236,243 237,240 239,236 241,233 242,230 244,227 246,224 247,221 249,218 251,215 252,212 254,209 256,207 258,204 259,202 261,199 263,197 264,194 266,192 268,190 269,187 271,185 273,183 274,181 276,178 278,176 280,174 281,171 283,169 285,167 286,164 288,162 290,160 291,157 293,155 295,153 296,151 298,149 300,146 302,144 303,142 305,141 307,139 308,137 310,135 312,134 313,132 315,130 317,129 318,128 320,126 322,125 324,124 325,122 327,121 329,120 330,119 332,117 334,116 335,115 337,114 339,113 341,111 342,110 344,109 346,108 347,107 349,106 351,105 352,104 354,103 356,102 357,101 359,100 361,99 363,98 364,98 366,97 368,96 369,96 371,95 373,95 374,95 376,94 378,94 379,94 381,93 383,93 385,93 386,93 388,93 390,93 391,94 393,94 395,94 396,94 398,95 400,95 401,96 403,96 405,97 407,97 408,98 410,98 412,99 413,100 415,101 417,101 418,102 420,103 422,104 423,105 425,105 427,106 429,107 430,108 432,109 434,109 435,110 437,111 439,112 440,112 442,113 444,114 445,114 447,115 449,116 451,116 452,117 454,118 456,118 457,119 459,120 461,121 462,122 464,123 466,124 468,125 469,126 471,127 473,129 474,130 476,131 478,133 479,134 481,136 483,137 484,139 486,140 488,142 490,143 491,145 493,146 495,148 496,150 498,151 500,153 501,155 503,157 505,158 506,160 508,162 510,164 512,166 513,167 515,169 517,171 518,173 520,175 522,177 523,179 525,181 527,184 528,186 530,188 532,190 534,192 535,194 537,196 539,198 540,200 542,203 544,205 545,207 547,209 549,211 550,213 552,215 554,218 556,220 557,222 559,224 561,226 562,228 564,230 566,232 567,234 569,236 571,238 573,239 574,241 576,243 578,245 579,247 581,248 583,250 584,252 586,254 588,255 589,257 591,259 593,260 595,262 596,264 598,265 600,267 601,269 603,270 605,272 606,274 608,276 610,277 611,279 613,281 615,282 617,284 618,286 620,288 622,290 623,291 625,293 627,295 628,297 630,299 632,301 633,303 635,304 637,306 639,308 640,310 642,312 644,314 645,316 647,318 649,320 650,321 652,323 654,325 655,327 657,329 659,330 661,332 662,334 664,336 666,337 667,339 669,340 671,342 672,343 674,345 676,346 677,348 679,349 681,350 683,351 684,353 686,354 688,355 689,356 691,357 693,359 694,360 696,361 698,362 700,363 701,364 703,365 705,366 706,368 708,369 710,370 711,371 713,372 715,373 716,375 718,376 720,377 722,378 723,380 725,381 727,382 728,384 730,385 732,386 733,388 735,389 737,390 738,392 740,393 742,394 744,396 745,397 747,398 749,400 750,401 752,402 754,404 755,405 757,406 759,407 760,408 762,409 764,411 766,412 767,413 769,414 771,415 772,416 774,417 776,418 777,419 779,420 781,421 782,422 784,422 786,423 788,424 789,425 791,426 793,427 794,428 796,428 798,429 799,430 801,431 803,432 804,432 806,433 808,434 810,435 811,435 813,436 815,437 816,437 818,438 820,439 821,439 823,440 825,440 827,441 828,442 830,442 832,443 833,444 835,444 837,445 838,445 840,446 842,447 843,447 845,448 847,448 849,449 850,449 852,450 852,473 164,473 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="3" points="445,473 445,114 "/>
<text x="798" y="68" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Bootstrap distribution
</text>
<text x="798" y="83" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Confidence interval
</text>
<text x="798" y="98" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Point estimate
</text>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,73 788,73 "/>
<rect x="768" y="83" width="20" height="10" opacity="0.25" fill="#1F78B4" stroke="none"/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,103 788,103 "/>
</svg>
```
--------------------------------------------------------------------------------
/benchmarks/non-reentrant-before-others/report/typical.svg:
--------------------------------------------------------------------------------
```
<svg width="960" height="540" viewBox="0 0 960 540" xmlns="http://www.w3.org/2000/svg">
<text x="480" y="32" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="16.129032258064516" opacity="1" fill="#000000">
non-reentrant-before-others:typical
</text>
<text x="27" y="263" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000" transform="rotate(270, 27, 263)">
Density (a.u.)
</text>
<text x="510" y="513" dy="-0.5ex" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Average time (µs)
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="86,53 86,472 "/>
<text x="77" y="415" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,415 86,415 "/>
<text x="77" y="338" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
10
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,338 86,338 "/>
<text x="77" y="262" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
15
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,262 86,262 "/>
<text x="77" y="186" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
20
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,186 86,186 "/>
<text x="77" y="110" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
25
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,110 86,110 "/>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="87,473 932,473 "/>
<text x="120" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.22
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="120,473 120,478 "/>
<text x="233" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.23
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="233,473 233,478 "/>
<text x="347" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.24
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="347,473 347,478 "/>
<text x="460" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.25
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="460,473 460,478 "/>
<text x="574" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.26
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="574,473 574,478 "/>
<text x="687" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.27
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="687,473 687,478 "/>
<text x="801" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.28
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="801,473 801,478 "/>
<text x="915" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
3.29
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="915,473 915,478 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="87,472 88,472 90,471 92,470 93,469 95,468 97,467 98,466 100,465 102,463 103,462 105,461 107,459 109,458 110,457 112,455 114,453 115,452 117,450 119,448 120,447 122,445 124,443 125,441 127,439 129,437 131,435 132,433 134,431 136,429 137,426 139,424 141,422 142,419 144,417 146,415 147,412 149,410 151,407 153,405 154,402 156,399 158,397 159,394 161,391 163,388 164,385 166,382 168,379 169,376 171,373 173,370 175,367 176,364 178,361 180,358 181,354 183,351 185,348 186,345 188,342 190,338 191,335 193,332 195,329 197,325 198,322 200,318 202,315 203,312 205,308 207,305 208,301 210,298 212,294 214,291 215,287 217,283 219,280 220,276 222,272 224,269 225,265 227,261 229,258 230,254 232,250 234,247 236,243 237,240 239,236 241,233 242,230 244,227 246,224 247,221 249,218 251,215 252,212 254,209 256,207 258,204 259,202 261,199 263,197 264,194 266,192 268,190 269,187 271,185 273,183 274,181 276,178 278,176 280,174 281,171 283,169 285,167 286,164 288,162 290,160 291,157 293,155 295,153 296,151 298,149 300,146 302,144 303,142 305,141 307,139 308,137 310,135 312,134 313,132 315,130 317,129 318,128 320,126 322,125 324,124 325,122 327,121 329,120 330,119 332,117 334,116 335,115 337,114 339,113 341,111 342,110 344,109 346,108 347,107 349,106 351,105 352,104 354,103 356,102 357,101 359,100 361,99 363,98 364,98 366,97 368,96 369,96 371,95 373,95 374,95 376,94 378,94 379,94 381,93 383,93 385,93 386,93 388,93 390,93 391,94 393,94 395,94 396,94 398,95 400,95 401,96 403,96 405,97 407,97 408,98 410,98 412,99 413,100 415,101 417,101 418,102 420,103 422,104 423,105 425,105 427,106 429,107 430,108 432,109 434,109 435,110 437,111 439,112 440,112 442,113 444,114 445,114 447,115 449,116 451,116 452,117 454,118 456,118 457,119 459,120 461,121 462,122 464,123 466,124 468,125 469,126 471,127 473,129 474,130 476,131 478,133 479,134 481,136 483,137 484,139 486,140 488,142 490,143 491,145 493,146 495,148 496,150 498,151 500,153 501,155 503,157 505,158 506,160 508,162 510,164 512,166 513,167 515,169 517,171 518,173 520,175 522,177 523,179 525,181 527,184 528,186 530,188 532,190 534,192 535,194 537,196 539,198 540,200 542,203 544,205 545,207 547,209 549,211 550,213 552,215 554,218 556,220 557,222 559,224 561,226 562,228 564,230 566,232 567,234 569,236 571,238 573,239 574,241 576,243 578,245 579,247 581,248 583,250 584,252 586,254 588,255 589,257 591,259 593,260 595,262 596,264 598,265 600,267 601,269 603,270 605,272 606,274 608,276 610,277 611,279 613,281 615,282 617,284 618,286 620,288 622,290 623,291 625,293 627,295 628,297 630,299 632,301 633,303 635,304 637,306 639,308 640,310 642,312 644,314 645,316 647,318 649,320 650,321 652,323 654,325 655,327 657,329 659,330 661,332 662,334 664,336 666,337 667,339 669,340 671,342 672,343 674,345 676,346 677,348 679,349 681,350 683,351 684,353 686,354 688,355 689,356 691,357 693,359 694,360 696,361 698,362 700,363 701,364 703,365 705,366 706,368 708,369 710,370 711,371 713,372 715,373 716,375 718,376 720,377 722,378 723,380 725,381 727,382 728,384 730,385 732,386 733,388 735,389 737,390 738,392 740,393 742,394 744,396 745,397 747,398 749,400 750,401 752,402 754,404 755,405 757,406 759,407 760,408 762,409 764,411 766,412 767,413 769,414 771,415 772,416 774,417 776,418 777,419 779,420 781,421 782,422 784,422 786,423 788,424 789,425 791,426 793,427 794,428 796,428 798,429 799,430 801,431 803,432 804,432 806,433 808,434 810,435 811,435 813,436 815,437 816,437 818,438 820,439 821,439 823,440 825,440 827,441 828,442 830,442 832,443 833,444 835,444 837,445 838,445 840,446 842,447 843,447 845,448 847,448 849,449 850,449 852,450 854,450 855,451 857,452 859,452 860,453 862,453 864,454 865,454 867,455 869,455 871,455 872,456 874,456 876,457 877,457 879,458 881,458 882,459 884,459 886,459 887,460 889,460 891,461 893,461 894,461 896,462 898,462 899,463 901,463 903,463 904,464 906,464 908,465 909,465 911,465 913,466 915,466 916,466 918,467 920,467 921,467 923,468 925,468 926,469 928,469 930,469 932,470 "/>
<polygon opacity="0.25" fill="#1F78B4" points="164,385 166,382 168,379 169,376 171,373 173,370 175,367 176,364 178,361 180,358 181,354 183,351 185,348 186,345 188,342 190,338 191,335 193,332 195,329 197,325 198,322 200,318 202,315 203,312 205,308 207,305 208,301 210,298 212,294 214,291 215,287 217,283 219,280 220,276 222,272 224,269 225,265 227,261 229,258 230,254 232,250 234,247 236,243 237,240 239,236 241,233 242,230 244,227 246,224 247,221 249,218 251,215 252,212 254,209 256,207 258,204 259,202 261,199 263,197 264,194 266,192 268,190 269,187 271,185 273,183 274,181 276,178 278,176 280,174 281,171 283,169 285,167 286,164 288,162 290,160 291,157 293,155 295,153 296,151 298,149 300,146 302,144 303,142 305,141 307,139 308,137 310,135 312,134 313,132 315,130 317,129 318,128 320,126 322,125 324,124 325,122 327,121 329,120 330,119 332,117 334,116 335,115 337,114 339,113 341,111 342,110 344,109 346,108 347,107 349,106 351,105 352,104 354,103 356,102 357,101 359,100 361,99 363,98 364,98 366,97 368,96 369,96 371,95 373,95 374,95 376,94 378,94 379,94 381,93 383,93 385,93 386,93 388,93 390,93 391,94 393,94 395,94 396,94 398,95 400,95 401,96 403,96 405,97 407,97 408,98 410,98 412,99 413,100 415,101 417,101 418,102 420,103 422,104 423,105 425,105 427,106 429,107 430,108 432,109 434,109 435,110 437,111 439,112 440,112 442,113 444,114 445,114 447,115 449,116 451,116 452,117 454,118 456,118 457,119 459,120 461,121 462,122 464,123 466,124 468,125 469,126 471,127 473,129 474,130 476,131 478,133 479,134 481,136 483,137 484,139 486,140 488,142 490,143 491,145 493,146 495,148 496,150 498,151 500,153 501,155 503,157 505,158 506,160 508,162 510,164 512,166 513,167 515,169 517,171 518,173 520,175 522,177 523,179 525,181 527,184 528,186 530,188 532,190 534,192 535,194 537,196 539,198 540,200 542,203 544,205 545,207 547,209 549,211 550,213 552,215 554,218 556,220 557,222 559,224 561,226 562,228 564,230 566,232 567,234 569,236 571,238 573,239 574,241 576,243 578,245 579,247 581,248 583,250 584,252 586,254 588,255 589,257 591,259 593,260 595,262 596,264 598,265 600,267 601,269 603,270 605,272 606,274 608,276 610,277 611,279 613,281 615,282 617,284 618,286 620,288 622,290 623,291 625,293 627,295 628,297 630,299 632,301 633,303 635,304 637,306 639,308 640,310 642,312 644,314 645,316 647,318 649,320 650,321 652,323 654,325 655,327 657,329 659,330 661,332 662,334 664,336 666,337 667,339 669,340 671,342 672,343 674,345 676,346 677,348 679,349 681,350 683,351 684,353 686,354 688,355 689,356 691,357 693,359 694,360 696,361 698,362 700,363 701,364 703,365 705,366 706,368 708,369 710,370 711,371 713,372 715,373 716,375 718,376 720,377 722,378 723,380 725,381 727,382 728,384 730,385 732,386 733,388 735,389 737,390 738,392 740,393 742,394 744,396 745,397 747,398 749,400 750,401 752,402 754,404 755,405 757,406 759,407 760,408 762,409 764,411 766,412 767,413 769,414 771,415 772,416 774,417 776,418 777,419 779,420 781,421 782,422 784,422 786,423 788,424 789,425 791,426 793,427 794,428 796,428 798,429 799,430 801,431 803,432 804,432 806,433 808,434 810,435 811,435 813,436 815,437 816,437 818,438 820,439 821,439 823,440 825,440 827,441 828,442 830,442 832,443 833,444 835,444 837,445 838,445 840,446 842,447 843,447 845,448 847,448 849,449 850,449 852,450 852,473 164,473 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="3" points="445,473 445,114 "/>
<text x="798" y="68" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Bootstrap distribution
</text>
<text x="798" y="83" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Confidence interval
</text>
<text x="798" y="98" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Point estimate
</text>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,73 788,73 "/>
<rect x="768" y="83" width="20" height="10" opacity="0.25" fill="#1F78B4" stroke="none"/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,103 788,103 "/>
</svg>
```
--------------------------------------------------------------------------------
/benchmarks/block-timestamp-deadline/report/MAD.svg:
--------------------------------------------------------------------------------
```
<svg width="960" height="540" viewBox="0 0 960 540" xmlns="http://www.w3.org/2000/svg">
<text x="480" y="32" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="16.129032258064516" opacity="1" fill="#000000">
block-timestamp-deadline:MAD
</text>
<text x="27" y="263" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000" transform="rotate(270, 27, 263)">
Density (a.u.)
</text>
<text x="510" y="513" dy="-0.5ex" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Average time (µs)
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="86,53 86,472 "/>
<text x="77" y="420" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.05
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,420 86,420 "/>
<text x="77" y="348" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.1
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,348 86,348 "/>
<text x="77" y="277" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.15
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,277 86,277 "/>
<text x="77" y="206" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.2
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,206 86,206 "/>
<text x="77" y="135" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.25
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,135 86,135 "/>
<text x="77" y="63" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.3
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,63 86,63 "/>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="87,473 932,473 "/>
<text x="177" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
6
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="177,473 177,478 "/>
<text x="296" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
7
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="296,473 296,478 "/>
<text x="414" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
8
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="414,473 414,478 "/>
<text x="532" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
9
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="532,473 532,478 "/>
<text x="650" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
10
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="650,473 650,478 "/>
<text x="768" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
11
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="768,473 768,478 "/>
<text x="886" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
12
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="886,473 886,478 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="87,472 88,472 90,471 92,470 93,469 95,468 97,467 98,466 100,465 102,464 103,463 105,462 107,461 109,459 110,458 112,457 114,455 115,454 117,452 119,450 120,449 122,447 124,445 125,444 127,442 129,440 131,438 132,436 134,435 136,433 137,431 139,429 141,427 142,426 144,424 146,422 147,421 149,419 151,417 153,416 154,414 156,413 158,411 159,410 161,408 163,406 164,405 166,403 168,401 169,399 171,398 173,396 175,394 176,391 178,389 180,387 181,385 183,382 185,380 186,377 188,375 190,372 191,369 193,366 195,364 197,361 198,358 200,355 202,352 203,349 205,346 207,343 208,340 210,337 212,334 214,331 215,328 217,325 219,322 220,319 222,316 224,313 225,310 227,307 229,304 230,301 232,298 234,295 236,292 237,289 239,287 241,284 242,282 244,279 246,277 247,275 249,273 251,271 252,269 254,267 256,266 258,264 259,263 261,262 263,261 264,260 266,260 268,260 269,259 271,259 273,259 274,259 276,260 278,260 280,261 281,261 283,262 285,263 286,264 288,265 290,266 291,268 293,269 295,270 296,272 298,273 300,274 302,276 303,277 305,279 307,280 308,281 310,282 312,283 313,284 315,284 317,285 318,285 320,285 322,285 324,285 325,285 327,284 329,283 330,283 332,282 334,281 335,279 337,278 339,277 341,276 342,275 344,274 346,272 347,271 349,270 351,270 352,269 354,268 356,267 357,267 359,266 361,266 363,265 364,264 366,264 368,263 369,263 371,262 373,261 374,261 376,260 378,259 379,258 381,256 383,255 385,254 386,252 388,250 390,249 391,247 393,245 395,242 396,240 398,238 400,235 401,232 403,229 405,227 407,224 408,221 410,218 412,215 413,212 415,209 417,206 418,203 420,200 422,198 423,196 425,194 427,192 429,191 430,189 432,189 434,188 435,188 437,188 439,189 440,190 442,191 444,193 445,195 447,197 449,199 451,201 452,204 454,206 456,209 457,212 459,214 461,217 462,219 464,222 466,224 468,226 469,228 471,229 473,230 474,232 476,232 478,233 479,233 481,234 483,234 484,234 486,234 488,234 490,233 491,233 493,233 495,233 496,233 498,233 500,234 501,234 503,235 505,235 506,236 508,237 510,238 512,240 513,241 515,242 517,243 518,244 520,245 522,246 523,246 525,247 527,246 528,246 530,245 532,244 534,242 535,240 537,237 539,234 540,230 542,227 544,222 545,218 547,213 549,208 550,202 552,197 554,191 556,185 557,179 559,173 561,167 562,161 564,155 566,149 567,144 569,139 571,133 573,129 574,124 576,120 578,116 579,112 581,109 583,106 584,104 586,101 588,99 589,98 591,96 593,95 595,94 596,94 598,93 600,93 601,93 603,94 605,94 606,94 608,95 610,96 611,97 613,98 615,100 617,101 618,103 620,104 622,106 623,108 625,111 627,113 628,116 630,118 632,121 633,125 635,128 637,131 639,135 640,138 642,142 644,146 645,150 647,154 649,158 650,162 652,167 654,171 655,175 657,179 659,183 661,187 662,190 664,194 666,198 667,201 669,205 671,208 672,211 674,214 676,217 677,220 679,223 681,226 683,228 684,231 686,233 688,235 689,238 691,240 693,242 694,244 696,246 698,248 700,250 701,252 703,253 705,255 706,257 708,259 710,260 711,262 713,264 715,266 716,268 718,270 720,272 722,274 723,276 725,278 727,280 728,283 730,285 732,288 733,291 735,293 737,296 738,299 740,302 742,305 744,308 745,311 747,314 749,317 750,320 752,323 754,326 755,329 757,332 759,334 760,337 762,340 764,342 766,345 767,347 769,349 771,351 772,353 774,355 776,357 777,359 779,361 781,363 782,364 784,366 786,368 788,369 789,371 791,372 793,374 794,376 796,377 798,379 799,380 801,382 803,384 804,385 806,387 808,389 810,390 811,392 813,394 815,396 816,398 818,399 820,401 821,403 823,405 825,407 827,409 828,410 830,412 832,414 833,416 835,418 837,419 838,421 840,423 842,424 843,426 845,428 847,429 849,431 850,432 852,434 854,435 855,436 857,438 859,439 860,440 862,441 864,443 865,444 867,445 869,446 871,447 872,448 874,449 876,450 877,451 879,452 881,452 882,453 884,454 886,455 887,456 889,457 891,457 893,458 894,459 896,460 898,460 899,461 901,462 903,462 904,463 906,464 908,464 909,465 911,465 913,466 915,466 916,467 918,467 920,468 921,468 923,469 925,469 926,469 928,470 930,470 932,470 "/>
<polygon opacity="0.25" fill="#1F78B4" points="164,405 166,403 168,401 169,399 171,398 173,396 175,394 176,391 178,389 180,387 181,385 183,382 185,380 186,377 188,375 190,372 191,369 193,366 195,364 197,361 198,358 200,355 202,352 203,349 205,346 207,343 208,340 210,337 212,334 214,331 215,328 217,325 219,322 220,319 222,316 224,313 225,310 227,307 229,304 230,301 232,298 234,295 236,292 237,289 239,287 241,284 242,282 244,279 246,277 247,275 249,273 251,271 252,269 254,267 256,266 258,264 259,263 261,262 263,261 264,260 266,260 268,260 269,259 271,259 273,259 274,259 276,260 278,260 280,261 281,261 283,262 285,263 286,264 288,265 290,266 291,268 293,269 295,270 296,272 298,273 300,274 302,276 303,277 305,279 307,280 308,281 310,282 312,283 313,284 315,284 317,285 318,285 320,285 322,285 324,285 325,285 327,284 329,283 330,283 332,282 334,281 335,279 337,278 339,277 341,276 342,275 344,274 346,272 347,271 349,270 351,270 352,269 354,268 356,267 357,267 359,266 361,266 363,265 364,264 366,264 368,263 369,263 371,262 373,261 374,261 376,260 378,259 379,258 381,256 383,255 385,254 386,252 388,250 390,249 391,247 393,245 395,242 396,240 398,238 400,235 401,232 403,229 405,227 407,224 408,221 410,218 412,215 413,212 415,209 417,206 418,203 420,200 422,198 423,196 425,194 427,192 429,191 430,189 432,189 434,188 435,188 437,188 439,189 440,190 442,191 444,193 445,195 447,197 449,199 451,201 452,204 454,206 456,209 457,212 459,214 461,217 462,219 464,222 466,224 468,226 469,228 471,229 473,230 474,232 476,232 478,233 479,233 481,234 483,234 484,234 486,234 488,234 490,233 491,233 493,233 495,233 496,233 498,233 500,234 501,234 503,235 505,235 506,236 508,237 510,238 512,240 513,241 515,242 517,243 518,244 520,245 522,246 523,246 525,247 527,246 528,246 530,245 532,244 534,242 535,240 537,237 539,234 540,230 542,227 544,222 545,218 547,213 549,208 550,202 552,197 554,191 556,185 557,179 559,173 561,167 562,161 564,155 566,149 567,144 569,139 571,133 573,129 574,124 576,120 578,116 579,112 581,109 583,106 584,104 586,101 588,99 589,98 591,96 593,95 595,94 596,94 598,93 600,93 601,93 603,94 605,94 606,94 608,95 610,96 611,97 613,98 615,100 617,101 618,103 620,104 622,106 623,108 625,111 627,113 628,116 630,118 632,121 633,125 635,128 637,131 639,135 640,138 642,142 644,146 645,150 647,154 649,158 650,162 652,167 654,171 655,175 657,179 659,183 661,187 662,190 664,194 666,198 667,201 669,205 671,208 672,211 674,214 676,217 677,220 679,223 681,226 683,228 684,231 686,233 688,235 689,238 691,240 693,242 694,244 696,246 698,248 700,250 701,252 703,253 705,255 706,257 708,259 710,260 711,262 713,264 715,266 716,268 718,270 720,272 722,274 723,276 725,278 727,280 728,283 730,285 732,288 733,291 735,293 737,296 738,299 740,302 742,305 744,308 745,311 747,314 749,317 750,320 752,323 754,326 755,329 757,332 759,334 760,337 762,340 764,342 766,345 767,347 769,349 771,351 772,353 774,355 776,357 777,359 779,361 781,363 782,364 784,366 786,368 788,369 789,371 791,372 793,374 794,376 796,377 798,379 799,380 801,382 803,384 804,385 806,387 808,389 810,390 811,392 813,394 815,396 816,398 818,399 820,401 821,403 823,405 825,407 827,409 828,410 830,412 832,414 833,416 835,418 837,419 838,421 840,423 842,424 843,426 845,428 847,429 849,431 850,432 852,434 852,473 164,473 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="3" points="587,473 587,100 "/>
<text x="798" y="68" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Bootstrap distribution
</text>
<text x="798" y="83" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Confidence interval
</text>
<text x="798" y="98" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Point estimate
</text>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,73 788,73 "/>
<rect x="768" y="83" width="20" height="10" opacity="0.25" fill="#1F78B4" stroke="none"/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,103 788,103 "/>
</svg>
```
--------------------------------------------------------------------------------
/benchmarks/ecrecover/report/slope.svg:
--------------------------------------------------------------------------------
```
<svg width="960" height="540" viewBox="0 0 960 540" xmlns="http://www.w3.org/2000/svg">
<text x="480" y="32" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="16.129032258064516" opacity="1" fill="#000000">
ecrecover:slope
</text>
<text x="27" y="263" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000" transform="rotate(270, 27, 263)">
Density (a.u.)
</text>
<text x="510" y="513" dy="-0.5ex" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Average time (µs)
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="86,53 86,472 "/>
<text x="77" y="404" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
0.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,404 86,404 "/>
<text x="77" y="333" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
1
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,333 86,333 "/>
<text x="77" y="262" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
1.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,262 86,262 "/>
<text x="77" y="191" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
2
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,191 86,191 "/>
<text x="77" y="120" dy="0.5ex" text-anchor="end" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
2.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="81,120 86,120 "/>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="87,473 932,473 "/>
<text x="122" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5.1
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="122,473 122,478 "/>
<text x="227" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5.2
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="227,473 227,478 "/>
<text x="332" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5.3
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="332,473 332,478 "/>
<text x="438" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5.4
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="438,473 438,478 "/>
<text x="543" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5.5
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="543,473 543,478 "/>
<text x="648" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5.6
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="648,473 648,478 "/>
<text x="753" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5.7
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="753,473 753,478 "/>
<text x="859" y="483" dy="0.76em" text-anchor="middle" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
5.8
</text>
<polyline fill="none" opacity="1" stroke="#000000" stroke-width="1" points="859,473 859,478 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="87,472 88,472 90,472 92,471 93,471 95,470 97,469 98,468 100,467 102,466 103,465 105,464 107,462 109,460 110,458 112,456 114,454 115,452 117,449 119,446 120,443 122,439 124,435 125,431 127,427 129,422 131,418 132,412 134,407 136,401 137,395 139,389 141,383 142,376 144,369 146,362 147,355 149,348 151,340 153,333 154,325 156,317 158,309 159,302 161,294 163,286 164,278 166,271 168,263 169,256 171,249 173,242 175,235 176,228 178,222 180,215 181,209 183,203 185,198 186,192 188,187 190,182 191,177 193,173 195,168 197,164 198,160 200,156 202,153 203,150 205,146 207,143 208,141 210,138 212,136 214,134 215,132 217,130 219,129 220,128 222,127 224,126 225,126 227,126 229,126 230,126 232,127 234,128 236,129 237,131 239,132 241,134 242,136 244,139 246,142 247,145 249,148 251,151 252,154 254,158 256,161 258,165 259,169 261,173 263,177 264,181 266,185 268,190 269,194 271,198 273,202 274,206 276,210 278,214 280,218 281,222 283,226 285,229 286,233 288,236 290,239 291,242 293,245 295,248 296,250 298,253 300,255 302,256 303,258 305,259 307,260 308,261 310,262 312,262 313,262 315,261 317,260 318,259 320,258 322,256 324,253 325,251 327,248 329,245 330,241 332,237 334,233 335,229 337,224 339,219 341,214 342,209 344,203 346,197 347,192 349,186 351,180 352,174 354,168 356,163 357,157 359,151 361,146 363,141 364,136 366,131 368,126 369,122 371,118 373,114 374,110 376,107 378,104 379,102 381,99 383,97 385,96 386,94 388,93 390,92 391,92 393,92 395,92 396,92 398,93 400,94 401,95 403,96 405,98 407,99 408,101 410,103 412,105 413,108 415,110 417,113 418,116 420,119 422,122 423,126 425,129 427,132 429,136 430,140 432,143 434,147 435,151 437,155 439,159 440,163 442,167 444,171 445,175 447,179 449,183 451,188 452,192 454,196 456,200 457,204 459,207 461,211 462,215 464,219 466,222 468,226 469,229 471,233 473,236 474,239 476,242 478,245 479,248 481,251 483,253 484,256 486,258 488,260 490,263 491,265 493,266 495,268 496,270 498,271 500,273 501,274 503,275 505,276 506,277 508,277 510,278 512,278 513,278 515,279 517,279 518,279 520,278 522,278 523,278 525,277 527,277 528,276 530,275 532,274 534,274 535,273 537,272 539,271 540,271 542,270 544,269 545,268 547,268 549,267 550,267 552,266 554,266 556,266 557,265 559,265 561,265 562,265 564,265 566,266 567,266 569,266 571,267 573,268 574,268 576,269 578,270 579,271 581,272 583,273 584,274 586,276 588,277 589,278 591,280 593,281 595,283 596,285 598,286 600,288 601,290 603,292 605,294 606,296 608,298 610,300 611,302 613,304 615,306 617,309 618,311 620,313 622,316 623,318 625,320 627,323 628,325 630,327 632,330 633,332 635,334 637,336 639,338 640,340 642,342 644,344 645,346 647,348 649,350 650,352 652,353 654,355 655,357 657,358 659,359 661,361 662,362 664,364 666,365 667,366 669,367 671,368 672,369 674,371 676,372 677,373 679,374 681,375 683,376 684,377 686,378 688,379 689,380 691,381 693,382 694,383 696,383 698,384 700,385 701,386 703,387 705,388 706,388 708,389 710,390 711,391 713,391 715,392 716,393 718,393 720,394 722,395 723,395 725,396 727,397 728,397 730,398 732,399 733,399 735,400 737,400 738,401 740,402 742,402 744,403 745,404 747,404 749,405 750,405 752,406 754,407 755,407 757,408 759,409 760,409 762,410 764,411 766,411 767,412 769,412 771,413 772,414 774,414 776,415 777,416 779,416 781,417 782,418 784,418 786,419 788,419 789,420 791,421 793,421 794,422 796,423 798,423 799,424 801,425 803,425 804,426 806,427 808,428 810,428 811,429 813,430 815,430 816,431 818,432 820,433 821,433 823,434 825,435 827,435 828,436 830,437 832,437 833,438 835,438 837,439 838,439 840,440 842,440 843,441 845,441 847,442 849,442 850,443 852,443 854,443 855,444 857,444 859,445 860,445 862,445 864,446 865,446 867,446 869,447 871,447 872,447 874,448 876,448 877,448 879,449 881,449 882,449 884,450 886,450 887,450 889,450 891,451 893,451 894,451 896,452 898,452 899,452 901,452 903,453 904,453 906,453 908,453 909,454 911,454 913,454 915,454 916,454 918,455 920,455 921,455 923,455 925,455 926,456 928,456 930,456 932,456 "/>
<polygon opacity="0.25" fill="#1F78B4" points="164,278 166,271 168,263 169,256 171,249 173,242 175,235 176,228 178,222 180,215 181,209 183,203 185,198 186,192 188,187 190,182 191,177 193,173 195,168 197,164 198,160 200,156 202,153 203,150 205,146 207,143 208,141 210,138 212,136 214,134 215,132 217,130 219,129 220,128 222,127 224,126 225,126 227,126 229,126 230,126 232,127 234,128 236,129 237,131 239,132 241,134 242,136 244,139 246,142 247,145 249,148 251,151 252,154 254,158 256,161 258,165 259,169 261,173 263,177 264,181 266,185 268,190 269,194 271,198 273,202 274,206 276,210 278,214 280,218 281,222 283,226 285,229 286,233 288,236 290,239 291,242 293,245 295,248 296,250 298,253 300,255 302,256 303,258 305,259 307,260 308,261 310,262 312,262 313,262 315,261 317,260 318,259 320,258 322,256 324,253 325,251 327,248 329,245 330,241 332,237 334,233 335,229 337,224 339,219 341,214 342,209 344,203 346,197 347,192 349,186 351,180 352,174 354,168 356,163 357,157 359,151 361,146 363,141 364,136 366,131 368,126 369,122 371,118 373,114 374,110 376,107 378,104 379,102 381,99 383,97 385,96 386,94 388,93 390,92 391,92 393,92 395,92 396,92 398,93 400,94 401,95 403,96 405,98 407,99 408,101 410,103 412,105 413,108 415,110 417,113 418,116 420,119 422,122 423,126 425,129 427,132 429,136 430,140 432,143 434,147 435,151 437,155 439,159 440,163 442,167 444,171 445,175 447,179 449,183 451,188 452,192 454,196 456,200 457,204 459,207 461,211 462,215 464,219 466,222 468,226 469,229 471,233 473,236 474,239 476,242 478,245 479,248 481,251 483,253 484,256 486,258 488,260 490,263 491,265 493,266 495,268 496,270 498,271 500,273 501,274 503,275 505,276 506,277 508,277 510,278 512,278 513,278 515,279 517,279 518,279 520,278 522,278 523,278 525,277 527,277 528,276 530,275 532,274 534,274 535,273 537,272 539,271 540,271 542,270 544,269 545,268 547,268 549,267 550,267 552,266 554,266 556,266 557,265 559,265 561,265 562,265 564,265 566,266 567,266 569,266 571,267 573,268 574,268 576,269 578,270 579,271 581,272 583,273 584,274 586,276 588,277 589,278 591,280 593,281 595,283 596,285 598,286 600,288 601,290 603,292 605,294 606,296 608,298 610,300 611,302 613,304 615,306 617,309 618,311 620,313 622,316 623,318 625,320 627,323 628,325 630,327 632,330 633,332 635,334 637,336 639,338 640,340 642,342 644,344 645,346 647,348 649,350 650,352 652,353 654,355 655,357 657,358 659,359 661,361 662,362 664,364 666,365 667,366 669,367 671,368 672,369 674,371 676,372 677,373 679,374 681,375 683,376 684,377 686,378 688,379 689,380 691,381 693,382 694,383 696,383 698,384 700,385 701,386 703,387 705,388 706,388 708,389 710,390 711,391 713,391 715,392 716,393 718,393 720,394 722,395 723,395 725,396 727,397 728,397 730,398 732,399 733,399 735,400 737,400 738,401 740,402 742,402 744,403 745,404 747,404 749,405 750,405 752,406 754,407 755,407 757,408 759,409 760,409 762,410 764,411 766,411 767,412 769,412 771,413 772,414 774,414 776,415 777,416 779,416 781,417 782,418 784,418 786,419 788,419 789,420 791,421 793,421 794,422 796,423 798,423 799,424 801,425 803,425 804,426 806,427 808,428 810,428 811,429 813,430 815,430 816,431 818,432 820,433 821,433 823,434 825,435 827,435 828,436 830,437 832,437 833,438 835,438 837,439 838,439 840,440 842,440 843,441 845,441 847,442 849,442 850,443 852,443 852,473 164,473 "/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="3" points="426,473 426,131 "/>
<text x="798" y="68" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Bootstrap distribution
</text>
<text x="798" y="83" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Confidence interval
</text>
<text x="798" y="98" dy="0.76em" text-anchor="start" font-family="sans-serif" font-size="9.67741935483871" opacity="1" fill="#000000">
Point estimate
</text>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,73 788,73 "/>
<rect x="768" y="83" width="20" height="10" opacity="0.25" fill="#1F78B4" stroke="none"/>
<polyline fill="none" opacity="1" stroke="#1F78B4" stroke-width="1" points="768,103 788,103 "/>
</svg>
```