[INFO] cloning repository https://github.com/ShuoYang512/lydia [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ShuoYang512/lydia" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FShuoYang512%2Flydia", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FShuoYang512%2Flydia'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 336ca6256bb7cb3b247dcf3b7fd2752d1a5a0fce [INFO] checking ShuoYang512/lydia against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FShuoYang512%2Flydia" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/ShuoYang512/lydia on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/ShuoYang512/lydia [INFO] finished tweaking git repo https://github.com/ShuoYang512/lydia [INFO] tweaked toml for git repo https://github.com/ShuoYang512/lydia written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/ShuoYang512/lydia already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded web3 v0.19.0 [INFO] [stderr] Downloaded winnow v0.5.32 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9be1c970527ba217b84bc4277de47ee9312e4a77c1bbd2f7f5b462ef129e8384 [INFO] running `Command { std: "docker" "start" "-a" "9be1c970527ba217b84bc4277de47ee9312e4a77c1bbd2f7f5b462ef129e8384", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9be1c970527ba217b84bc4277de47ee9312e4a77c1bbd2f7f5b462ef129e8384", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9be1c970527ba217b84bc4277de47ee9312e4a77c1bbd2f7f5b462ef129e8384", kill_on_drop: false }` [INFO] [stdout] 9be1c970527ba217b84bc4277de47ee9312e4a77c1bbd2f7f5b462ef129e8384 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 2218e90f84f3ce9e5c2a61246f5caff776b5fa1c3249d4889300f9a56ff66c28 [INFO] running `Command { std: "docker" "start" "-a" "2218e90f84f3ce9e5c2a61246f5caff776b5fa1c3249d4889300f9a56ff66c28", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.75 [INFO] [stderr] Compiling libc v0.2.151 [INFO] [stderr] Checking bytes v1.5.0 [INFO] [stderr] Checking memchr v2.7.1 [INFO] [stderr] Compiling serde v1.0.194 [INFO] [stderr] Checking futures-core v0.3.30 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Compiling pkg-config v0.3.28 [INFO] [stderr] Checking smallvec v1.11.2 [INFO] [stderr] Checking futures-io v0.3.30 [INFO] [stderr] Checking futures-channel v0.3.30 [INFO] [stderr] Checking bitflags v2.4.1 [INFO] [stderr] Checking futures-task v0.3.30 [INFO] [stderr] Checking log v0.4.20 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Checking http v0.2.11 [INFO] [stderr] Compiling openssl v0.10.62 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Checking rustc-hex v2.1.0 [INFO] [stderr] Compiling syn v2.0.48 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking ryu v1.0.16 [INFO] [stderr] Checking parking_lot_core v0.9.9 [INFO] [stderr] Checking mio v0.8.10 [INFO] [stderr] Checking signal-hook-registry v1.4.1 [INFO] [stderr] Checking socket2 v0.5.5 [INFO] [stderr] Checking getrandom v0.2.11 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking rlp v0.5.2 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking unicode-bidi v0.3.14 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling serde_json v1.0.111 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking indexmap v2.1.0 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking impl-rlp v0.3.0 [INFO] [stderr] Checking aho-corasick v1.1.2 [INFO] [stderr] Checking cpufeatures v0.2.12 [INFO] [stderr] Checking regex-syntax v0.8.2 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Compiling thiserror v1.0.56 [INFO] [stderr] Checking uint v0.9.5 [INFO] [stderr] Checking idna v0.5.0 [INFO] [stderr] Checking http-body v0.4.6 [INFO] [stderr] Compiling rustix v0.38.28 [INFO] [stderr] Checking fixed-hash v0.8.0 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Checking url v2.5.0 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Compiling openssl-sys v0.9.98 [INFO] [stderr] Compiling secp256k1-sys v0.8.1 [INFO] [stderr] Checking block-buffer v0.9.0 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking base64 v0.21.5 [INFO] [stderr] Checking linux-raw-sys v0.4.12 [INFO] [stderr] Checking keccak v0.1.4 [INFO] [stderr] Checking sha-1 v0.9.8 [INFO] [stderr] Checking sha1 v0.10.6 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Compiling native-tls v0.2.11 [INFO] [stderr] Checking headers-core v0.2.0 [INFO] [stderr] Checking termcolor v1.4.0 [INFO] [stderr] Checking base64 v0.13.1 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Checking os_str_bytes v6.6.1 [INFO] [stderr] Checking regex-automata v0.4.3 [INFO] [stderr] Checking is-terminal v0.4.10 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking headers v0.3.9 [INFO] [stderr] Checking idna v0.4.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking csv-core v0.1.11 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Checking arrayvec v0.7.4 [INFO] [stderr] Checking futures-timer v3.0.2 [INFO] [stderr] Checking textwrap v0.16.1 [INFO] [stderr] Checking clap v3.2.25 [INFO] [stderr] Compiling serde_derive v1.0.194 [INFO] [stderr] Compiling tokio-macros v2.2.0 [INFO] [stderr] Compiling futures-macro v0.3.30 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling thiserror-impl v1.0.56 [INFO] [stderr] Checking regex v1.10.2 [INFO] [stderr] Compiling pin-project-internal v1.1.3 [INFO] [stderr] Checking secp256k1 v0.27.0 [INFO] [stderr] Checking tokio v1.35.1 [INFO] [stderr] Checking futures-util v0.3.30 [INFO] [stderr] Compiling derive_more v0.99.17 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking env_logger v0.10.1 [INFO] [stderr] Checking pin-project v1.1.3 [INFO] [stderr] Checking futures-executor v0.3.30 [INFO] [stderr] Checking futures v0.3.30 [INFO] [stderr] Checking soketto v0.7.1 [INFO] [stderr] Checking tokio-util v0.7.10 [INFO] [stderr] Checking tokio-native-tls v0.3.1 [INFO] [stderr] Checking tokio-stream v0.1.14 [INFO] [stderr] Checking web3-async-native-tls v0.4.0 [INFO] [stderr] Checking h2 v0.3.22 [INFO] [stderr] Checking impl-serde v0.4.0 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking csv v1.3.0 [INFO] [stderr] Checking ethbloom v0.13.0 [INFO] [stderr] Checking primitive-types v0.12.2 [INFO] [stderr] Checking jsonrpc-core v18.0.0 [INFO] [stderr] Checking ethereum-types v0.14.1 [INFO] [stderr] Checking ethabi v18.0.0 [INFO] [stderr] Checking hyper v0.14.28 [INFO] [stderr] Checking hyper-tls v0.5.0 [INFO] [stderr] Checking reqwest v0.11.23 [INFO] [stderr] Checking web3 v0.19.0 [INFO] [stderr] Checking lydia v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `serde_json` is imported redundantly [INFO] [stdout] --> src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use serde_json; [INFO] [stdout] | ^^^^^^^^^^ the item `serde_json` is already defined by prelude [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `serde_json` is imported redundantly [INFO] [stdout] --> src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use serde_json; [INFO] [stdout] | ^^^^^^^^^^ the item `serde_json` is already defined by prelude [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `sensitive_var`, and `source_op` are never read [INFO] [stdout] --> src/contract/data_structure.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 145 | pub struct SensitiveOpOfBadRandomnessAfterExternalCall { [INFO] [stdout] | ------------------------------------------- fields in this struct [INFO] [stdout] 146 | pub func_sign: String, [INFO] [stdout] 147 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 148 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 149 | pub source_op: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SensitiveOpOfBadRandomnessAfterExternalCall` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `call_ret_var`, `call_ret_index`, and `sensitive_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:166:9 [INFO] [stdout] | [INFO] [stdout] 164 | pub struct SensitiveOpOfDoSAfterExternalCall { [INFO] [stdout] | --------------------------------- fields in this struct [INFO] [stdout] 165 | pub func_sign: String, [INFO] [stdout] 166 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 167 | pub call_ret_var: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 168 | pub call_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 169 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_ret`, `func_ret_index`, and `func_ret` are never read [INFO] [stdout] --> src/contract/data_structure.rs:228:9 [INFO] [stdout] | [INFO] [stdout] 226 | pub struct CallRetToFuncRet { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 227 | pub call_stmt: String, [INFO] [stdout] 228 | pub call_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 231 | pub func_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 232 | pub func_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_ret` and `call_arg` are never read [INFO] [stdout] --> src/contract/data_structure.rs:251:9 [INFO] [stdout] | [INFO] [stdout] 249 | pub struct CallRetToCallArg { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 250 | pub call_stmt1: String, [INFO] [stdout] 251 | pub call_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 255 | pub call_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `call_arg` are never read [INFO] [stdout] --> src/contract/data_structure.rs:280:9 [INFO] [stdout] | [INFO] [stdout] 277 | pub struct FuncArgToCallArg { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 280 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 283 | pub call_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `call_arg_index` are never read [INFO] [stdout] --> src/contract/data_structure.rs:303:9 [INFO] [stdout] | [INFO] [stdout] 300 | pub struct FuncArgToCallee { [INFO] [stdout] | --------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 303 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 304 | pub call_stmt: String, [INFO] [stdout] 305 | pub call_arg_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `func_ret` are never read [INFO] [stdout] --> src/contract/data_structure.rs:323:9 [INFO] [stdout] | [INFO] [stdout] 320 | pub struct FuncArgToFuncRet { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 323 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 324 | pub func_ret_index: String, [INFO] [stdout] 325 | pub func_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `env_var` and `tainted_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:343:9 [INFO] [stdout] | [INFO] [stdout] 341 | pub struct EnvVarFlowsToTaintedVar { [INFO] [stdout] | ----------------------- fields in this struct [INFO] [stdout] 342 | pub func_sign: String, [INFO] [stdout] 343 | pub env_var: String, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 344 | pub tainted_var: String, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:360:9 [INFO] [stdout] | [INFO] [stdout] 358 | pub struct OpCreateInLoop { [INFO] [stdout] | -------------- field in this struct [INFO] [stdout] 359 | pub func_sign: String, [INFO] [stdout] 360 | pub stmt: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:375:9 [INFO] [stdout] | [INFO] [stdout] 373 | pub struct OpSoleCreate { [INFO] [stdout] | ------------ field in this struct [INFO] [stdout] 374 | pub func_sign: String, [INFO] [stdout] 375 | pub stmt: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `target` is never read [INFO] [stdout] --> src/contract/data_structure.rs:390:9 [INFO] [stdout] | [INFO] [stdout] 388 | pub struct OpSelfdestruct { [INFO] [stdout] | -------------- field in this struct [INFO] [stdout] 389 | pub func_sign: String, [INFO] [stdout] 390 | pub target: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `call_stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:404:9 [INFO] [stdout] | [INFO] [stdout] 403 | pub struct ExternalCallInHook { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 404 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `call_stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:419:9 [INFO] [stdout] | [INFO] [stdout] 418 | pub struct ExternalCallInFallback { [INFO] [stdout] | ---------------------- field in this struct [INFO] [stdout] 419 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `callee` is never read [INFO] [stdout] --> src/contract/data_structure.rs:435:9 [INFO] [stdout] | [INFO] [stdout] 433 | pub struct DoubleCallToSameContract { [INFO] [stdout] | ------------------------ field in this struct [INFO] [stdout] 434 | pub func_sign: String, [INFO] [stdout] 435 | pub callee: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `call_ret_var`, `call_ret_index`, and `sensitive_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:450:9 [INFO] [stdout] | [INFO] [stdout] 448 | pub struct DoubleCallToSameContractByStorage { [INFO] [stdout] | --------------------------------- fields in this struct [INFO] [stdout] 449 | pub func_sign: String, [INFO] [stdout] 450 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 451 | pub call_ret_var: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 452 | pub call_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 453 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt` and `storage_slot` are never read [INFO] [stdout] --> src/contract/data_structure.rs:471:9 [INFO] [stdout] | [INFO] [stdout] 469 | pub struct CallInStandardTransfer { [INFO] [stdout] | ---------------------- fields in this struct [INFO] [stdout] 470 | pub func_sign: String, [INFO] [stdout] 471 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 472 | pub storage_slot: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `sensitive_var`, and `source_op` are never read [INFO] [stdout] --> src/contract/data_structure.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 145 | pub struct SensitiveOpOfBadRandomnessAfterExternalCall { [INFO] [stdout] | ------------------------------------------- fields in this struct [INFO] [stdout] 146 | pub func_sign: String, [INFO] [stdout] 147 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 148 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 149 | pub source_op: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SensitiveOpOfBadRandomnessAfterExternalCall` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `call_ret_var`, `call_ret_index`, and `sensitive_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:166:9 [INFO] [stdout] | [INFO] [stdout] 164 | pub struct SensitiveOpOfDoSAfterExternalCall { [INFO] [stdout] | --------------------------------- fields in this struct [INFO] [stdout] 165 | pub func_sign: String, [INFO] [stdout] 166 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 167 | pub call_ret_var: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 168 | pub call_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 169 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_ret`, `func_ret_index`, and `func_ret` are never read [INFO] [stdout] --> src/contract/data_structure.rs:228:9 [INFO] [stdout] | [INFO] [stdout] 226 | pub struct CallRetToFuncRet { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 227 | pub call_stmt: String, [INFO] [stdout] 228 | pub call_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 231 | pub func_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 232 | pub func_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_ret` and `call_arg` are never read [INFO] [stdout] --> src/contract/data_structure.rs:251:9 [INFO] [stdout] | [INFO] [stdout] 249 | pub struct CallRetToCallArg { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 250 | pub call_stmt1: String, [INFO] [stdout] 251 | pub call_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 255 | pub call_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `call_arg` are never read [INFO] [stdout] --> src/contract/data_structure.rs:280:9 [INFO] [stdout] | [INFO] [stdout] 277 | pub struct FuncArgToCallArg { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 280 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 283 | pub call_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `call_arg_index` are never read [INFO] [stdout] --> src/contract/data_structure.rs:303:9 [INFO] [stdout] | [INFO] [stdout] 300 | pub struct FuncArgToCallee { [INFO] [stdout] | --------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 303 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 304 | pub call_stmt: String, [INFO] [stdout] 305 | pub call_arg_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `func_ret` are never read [INFO] [stdout] --> src/contract/data_structure.rs:323:9 [INFO] [stdout] | [INFO] [stdout] 320 | pub struct FuncArgToFuncRet { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 323 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 324 | pub func_ret_index: String, [INFO] [stdout] 325 | pub func_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `env_var` and `tainted_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:343:9 [INFO] [stdout] | [INFO] [stdout] 341 | pub struct EnvVarFlowsToTaintedVar { [INFO] [stdout] | ----------------------- fields in this struct [INFO] [stdout] 342 | pub func_sign: String, [INFO] [stdout] 343 | pub env_var: String, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 344 | pub tainted_var: String, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:360:9 [INFO] [stdout] | [INFO] [stdout] 358 | pub struct OpCreateInLoop { [INFO] [stdout] | -------------- field in this struct [INFO] [stdout] 359 | pub func_sign: String, [INFO] [stdout] 360 | pub stmt: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:375:9 [INFO] [stdout] | [INFO] [stdout] 373 | pub struct OpSoleCreate { [INFO] [stdout] | ------------ field in this struct [INFO] [stdout] 374 | pub func_sign: String, [INFO] [stdout] 375 | pub stmt: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `target` is never read [INFO] [stdout] --> src/contract/data_structure.rs:390:9 [INFO] [stdout] | [INFO] [stdout] 388 | pub struct OpSelfdestruct { [INFO] [stdout] | -------------- field in this struct [INFO] [stdout] 389 | pub func_sign: String, [INFO] [stdout] 390 | pub target: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `call_stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:404:9 [INFO] [stdout] | [INFO] [stdout] 403 | pub struct ExternalCallInHook { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 404 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `call_stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:419:9 [INFO] [stdout] | [INFO] [stdout] 418 | pub struct ExternalCallInFallback { [INFO] [stdout] | ---------------------- field in this struct [INFO] [stdout] 419 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `callee` is never read [INFO] [stdout] --> src/contract/data_structure.rs:435:9 [INFO] [stdout] | [INFO] [stdout] 433 | pub struct DoubleCallToSameContract { [INFO] [stdout] | ------------------------ field in this struct [INFO] [stdout] 434 | pub func_sign: String, [INFO] [stdout] 435 | pub callee: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `call_ret_var`, `call_ret_index`, and `sensitive_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:450:9 [INFO] [stdout] | [INFO] [stdout] 448 | pub struct DoubleCallToSameContractByStorage { [INFO] [stdout] | --------------------------------- fields in this struct [INFO] [stdout] 449 | pub func_sign: String, [INFO] [stdout] 450 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 451 | pub call_ret_var: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 452 | pub call_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 453 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt` and `storage_slot` are never read [INFO] [stdout] --> src/contract/data_structure.rs:471:9 [INFO] [stdout] | [INFO] [stdout] 469 | pub struct CallInStandardTransfer { [INFO] [stdout] | ---------------------- fields in this struct [INFO] [stdout] 470 | pub func_sign: String, [INFO] [stdout] 471 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 472 | pub storage_slot: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 15s [INFO] running `Command { std: "docker" "inspect" "2218e90f84f3ce9e5c2a61246f5caff776b5fa1c3249d4889300f9a56ff66c28", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2218e90f84f3ce9e5c2a61246f5caff776b5fa1c3249d4889300f9a56ff66c28", kill_on_drop: false }` [INFO] [stdout] 2218e90f84f3ce9e5c2a61246f5caff776b5fa1c3249d4889300f9a56ff66c28 [INFO] checking ShuoYang512/lydia against try#645bb72776a6a56a1a8f52631a44bd082b2ba509 for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FShuoYang512%2Flydia" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/ShuoYang512/lydia on toolchain 645bb72776a6a56a1a8f52631a44bd082b2ba509 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/ShuoYang512/lydia [INFO] finished tweaking git repo https://github.com/ShuoYang512/lydia [INFO] tweaked toml for git repo https://github.com/ShuoYang512/lydia written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/ShuoYang512/lydia already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9e6a67031b7446fa6a85f0162e9cbfd73ab12cc84e078d9a61896528eb8d6e75 [INFO] running `Command { std: "docker" "start" "-a" "9e6a67031b7446fa6a85f0162e9cbfd73ab12cc84e078d9a61896528eb8d6e75", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9e6a67031b7446fa6a85f0162e9cbfd73ab12cc84e078d9a61896528eb8d6e75", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9e6a67031b7446fa6a85f0162e9cbfd73ab12cc84e078d9a61896528eb8d6e75", kill_on_drop: false }` [INFO] [stdout] 9e6a67031b7446fa6a85f0162e9cbfd73ab12cc84e078d9a61896528eb8d6e75 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 62e301433d825ddecc07dbe39fc0f659f1a0400abe8269e8211f2e71ee50f677 [INFO] running `Command { std: "docker" "start" "-a" "62e301433d825ddecc07dbe39fc0f659f1a0400abe8269e8211f2e71ee50f677", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.75 [INFO] [stderr] Compiling libc v0.2.151 [INFO] [stderr] Checking bytes v1.5.0 [INFO] [stderr] Checking memchr v2.7.1 [INFO] [stderr] Compiling serde v1.0.194 [INFO] [stderr] Checking futures-core v0.3.30 [INFO] [stderr] Checking generic-array v0.14.7 [INFO] [stderr] Checking smallvec v1.11.2 [INFO] [stderr] Compiling pkg-config v0.3.28 [INFO] [stderr] Checking futures-io v0.3.30 [INFO] [stderr] Checking futures-channel v0.3.30 [INFO] [stderr] Checking bitflags v2.4.1 [INFO] [stderr] Checking futures-task v0.3.30 [INFO] [stderr] Compiling crunchy v0.2.2 [INFO] [stderr] Checking log v0.4.20 [INFO] [stderr] Checking http v0.2.11 [INFO] [stderr] Checking rustc-hex v2.1.0 [INFO] [stderr] Compiling openssl v0.10.62 [INFO] [stderr] Compiling quote v1.0.35 [INFO] [stderr] Checking byteorder v1.5.0 [INFO] [stderr] Checking ryu v1.0.16 [INFO] [stderr] Compiling syn v2.0.48 [INFO] [stderr] Compiling cc v1.0.83 [INFO] [stderr] Checking rlp v0.5.2 [INFO] [stderr] Checking crypto-common v0.1.6 [INFO] [stderr] Checking block-buffer v0.10.4 [INFO] [stderr] Compiling tiny-keccak v2.0.2 [INFO] [stderr] Compiling serde_json v1.0.111 [INFO] [stderr] Checking unicode-bidi v0.3.14 [INFO] [stderr] Checking parking_lot_core v0.9.9 [INFO] [stderr] Checking socket2 v0.5.5 [INFO] [stderr] Checking mio v0.8.10 [INFO] [stderr] Checking parking_lot v0.12.1 [INFO] [stderr] Checking num_cpus v1.16.0 [INFO] [stderr] Checking signal-hook-registry v1.4.1 [INFO] [stderr] Checking getrandom v0.2.11 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking impl-rlp v0.3.0 [INFO] [stderr] Checking indexmap v2.1.0 [INFO] [stderr] Checking digest v0.10.7 [INFO] [stderr] Checking aho-corasick v1.1.2 [INFO] [stderr] Compiling thiserror v1.0.56 [INFO] [stderr] Checking cpufeatures v0.2.12 [INFO] [stderr] Checking hex v0.4.3 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking regex-syntax v0.8.2 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking uint v0.9.5 [INFO] [stderr] Checking idna v0.5.0 [INFO] [stderr] Checking http-body v0.4.6 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling openssl-sys v0.9.98 [INFO] [stderr] Compiling secp256k1-sys v0.8.1 [INFO] [stderr] Compiling rustix v0.38.28 [INFO] [stderr] Checking url v2.5.0 [INFO] [stderr] Checking digest v0.9.0 [INFO] [stderr] Checking block-buffer v0.9.0 [INFO] [stderr] Checking fixed-hash v0.8.0 [INFO] [stderr] Compiling indexmap v1.9.3 [INFO] [stderr] Checking keccak v0.1.4 [INFO] [stderr] Checking linux-raw-sys v0.4.12 [INFO] [stderr] Checking base64 v0.21.5 [INFO] [stderr] Checking sha-1 v0.9.8 [INFO] [stderr] Checking sha3 v0.10.8 [INFO] [stderr] Compiling native-tls v0.2.11 [INFO] [stderr] Checking sha1 v0.10.6 [INFO] [stderr] Checking headers-core v0.2.0 [INFO] [stderr] Checking termcolor v1.4.0 [INFO] [stderr] Checking os_str_bytes v6.6.1 [INFO] [stderr] Checking base64 v0.13.1 [INFO] [stderr] Compiling convert_case v0.4.0 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking is-terminal v0.4.10 [INFO] [stderr] Checking headers v0.3.9 [INFO] [stderr] Checking idna v0.4.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking csv-core v0.1.11 [INFO] [stderr] Checking regex-automata v0.4.3 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Checking humantime v2.1.0 [INFO] [stderr] Checking arrayvec v0.7.4 [INFO] [stderr] Checking futures-timer v3.0.2 [INFO] [stderr] Checking textwrap v0.16.1 [INFO] [stderr] Checking clap v3.2.25 [INFO] [stderr] Compiling derive_more v0.99.17 [INFO] [stderr] Checking regex v1.10.2 [INFO] [stderr] Checking secp256k1 v0.27.0 [INFO] [stderr] Compiling serde_derive v1.0.194 [INFO] [stderr] Compiling tokio-macros v2.2.0 [INFO] [stderr] Compiling futures-macro v0.3.30 [INFO] [stderr] Compiling tracing-attributes v0.1.27 [INFO] [stderr] Compiling openssl-macros v0.1.1 [INFO] [stderr] Compiling thiserror-impl v1.0.56 [INFO] [stderr] Compiling pin-project-internal v1.1.3 [INFO] [stderr] Checking futures-util v0.3.30 [INFO] [stderr] Checking tokio v1.35.1 [INFO] [stderr] Checking tracing v0.1.40 [INFO] [stderr] Checking env_logger v0.10.1 [INFO] [stderr] Checking pin-project v1.1.3 [INFO] [stderr] Checking futures-executor v0.3.30 [INFO] [stderr] Checking futures v0.3.30 [INFO] [stderr] Checking soketto v0.7.1 [INFO] [stderr] Checking tokio-util v0.7.10 [INFO] [stderr] Checking tokio-native-tls v0.3.1 [INFO] [stderr] Checking web3-async-native-tls v0.4.0 [INFO] [stderr] Checking tokio-stream v0.1.14 [INFO] [stderr] Checking h2 v0.3.22 [INFO] [stderr] Checking impl-serde v0.4.0 [INFO] [stderr] Checking serde_urlencoded v0.7.1 [INFO] [stderr] Checking csv v1.3.0 [INFO] [stderr] Checking primitive-types v0.12.2 [INFO] [stderr] Checking ethbloom v0.13.0 [INFO] [stderr] Checking jsonrpc-core v18.0.0 [INFO] [stderr] Checking ethereum-types v0.14.1 [INFO] [stderr] Checking ethabi v18.0.0 [INFO] [stderr] Checking hyper v0.14.28 [INFO] [stderr] Checking hyper-tls v0.5.0 [INFO] [stderr] Checking reqwest v0.11.23 [INFO] [stderr] Checking web3 v0.19.0 [INFO] [stderr] Checking lydia v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: the item `serde_json` is imported redundantly [INFO] [stdout] --> src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use serde_json; [INFO] [stdout] | ^^^^^^^^^^ the item `serde_json` is already defined by prelude [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: the item `serde_json` is imported redundantly [INFO] [stdout] --> src/main.rs:14:5 [INFO] [stdout] | [INFO] [stdout] 14 | use serde_json; [INFO] [stdout] | ^^^^^^^^^^ the item `serde_json` is already defined by prelude [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `sensitive_var`, and `source_op` are never read [INFO] [stdout] --> src/contract/data_structure.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 145 | pub struct SensitiveOpOfBadRandomnessAfterExternalCall { [INFO] [stdout] | ------------------------------------------- fields in this struct [INFO] [stdout] 146 | pub func_sign: String, [INFO] [stdout] 147 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 148 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 149 | pub source_op: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SensitiveOpOfBadRandomnessAfterExternalCall` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `call_ret_var`, `call_ret_index`, and `sensitive_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:166:9 [INFO] [stdout] | [INFO] [stdout] 164 | pub struct SensitiveOpOfDoSAfterExternalCall { [INFO] [stdout] | --------------------------------- fields in this struct [INFO] [stdout] 165 | pub func_sign: String, [INFO] [stdout] 166 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 167 | pub call_ret_var: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 168 | pub call_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 169 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_ret`, `func_ret_index`, and `func_ret` are never read [INFO] [stdout] --> src/contract/data_structure.rs:228:9 [INFO] [stdout] | [INFO] [stdout] 226 | pub struct CallRetToFuncRet { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 227 | pub call_stmt: String, [INFO] [stdout] 228 | pub call_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 231 | pub func_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 232 | pub func_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_ret` and `call_arg` are never read [INFO] [stdout] --> src/contract/data_structure.rs:251:9 [INFO] [stdout] | [INFO] [stdout] 249 | pub struct CallRetToCallArg { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 250 | pub call_stmt1: String, [INFO] [stdout] 251 | pub call_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 255 | pub call_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `call_arg` are never read [INFO] [stdout] --> src/contract/data_structure.rs:280:9 [INFO] [stdout] | [INFO] [stdout] 277 | pub struct FuncArgToCallArg { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 280 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 283 | pub call_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `call_arg_index` are never read [INFO] [stdout] --> src/contract/data_structure.rs:303:9 [INFO] [stdout] | [INFO] [stdout] 300 | pub struct FuncArgToCallee { [INFO] [stdout] | --------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 303 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 304 | pub call_stmt: String, [INFO] [stdout] 305 | pub call_arg_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `func_ret` are never read [INFO] [stdout] --> src/contract/data_structure.rs:323:9 [INFO] [stdout] | [INFO] [stdout] 320 | pub struct FuncArgToFuncRet { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 323 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 324 | pub func_ret_index: String, [INFO] [stdout] 325 | pub func_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `env_var` and `tainted_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:343:9 [INFO] [stdout] | [INFO] [stdout] 341 | pub struct EnvVarFlowsToTaintedVar { [INFO] [stdout] | ----------------------- fields in this struct [INFO] [stdout] 342 | pub func_sign: String, [INFO] [stdout] 343 | pub env_var: String, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 344 | pub tainted_var: String, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:360:9 [INFO] [stdout] | [INFO] [stdout] 358 | pub struct OpCreateInLoop { [INFO] [stdout] | -------------- field in this struct [INFO] [stdout] 359 | pub func_sign: String, [INFO] [stdout] 360 | pub stmt: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:375:9 [INFO] [stdout] | [INFO] [stdout] 373 | pub struct OpSoleCreate { [INFO] [stdout] | ------------ field in this struct [INFO] [stdout] 374 | pub func_sign: String, [INFO] [stdout] 375 | pub stmt: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `target` is never read [INFO] [stdout] --> src/contract/data_structure.rs:390:9 [INFO] [stdout] | [INFO] [stdout] 388 | pub struct OpSelfdestruct { [INFO] [stdout] | -------------- field in this struct [INFO] [stdout] 389 | pub func_sign: String, [INFO] [stdout] 390 | pub target: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `call_stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:404:9 [INFO] [stdout] | [INFO] [stdout] 403 | pub struct ExternalCallInHook { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 404 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `call_stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:419:9 [INFO] [stdout] | [INFO] [stdout] 418 | pub struct ExternalCallInFallback { [INFO] [stdout] | ---------------------- field in this struct [INFO] [stdout] 419 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `callee` is never read [INFO] [stdout] --> src/contract/data_structure.rs:435:9 [INFO] [stdout] | [INFO] [stdout] 433 | pub struct DoubleCallToSameContract { [INFO] [stdout] | ------------------------ field in this struct [INFO] [stdout] 434 | pub func_sign: String, [INFO] [stdout] 435 | pub callee: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `call_ret_var`, `call_ret_index`, and `sensitive_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:450:9 [INFO] [stdout] | [INFO] [stdout] 448 | pub struct DoubleCallToSameContractByStorage { [INFO] [stdout] | --------------------------------- fields in this struct [INFO] [stdout] 449 | pub func_sign: String, [INFO] [stdout] 450 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 451 | pub call_ret_var: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 452 | pub call_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 453 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt` and `storage_slot` are never read [INFO] [stdout] --> src/contract/data_structure.rs:471:9 [INFO] [stdout] | [INFO] [stdout] 469 | pub struct CallInStandardTransfer { [INFO] [stdout] | ---------------------- fields in this struct [INFO] [stdout] 470 | pub func_sign: String, [INFO] [stdout] 471 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 472 | pub storage_slot: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `sensitive_var`, and `source_op` are never read [INFO] [stdout] --> src/contract/data_structure.rs:147:9 [INFO] [stdout] | [INFO] [stdout] 145 | pub struct SensitiveOpOfBadRandomnessAfterExternalCall { [INFO] [stdout] | ------------------------------------------- fields in this struct [INFO] [stdout] 146 | pub func_sign: String, [INFO] [stdout] 147 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 148 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] 149 | pub source_op: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `SensitiveOpOfBadRandomnessAfterExternalCall` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `call_ret_var`, `call_ret_index`, and `sensitive_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:166:9 [INFO] [stdout] | [INFO] [stdout] 164 | pub struct SensitiveOpOfDoSAfterExternalCall { [INFO] [stdout] | --------------------------------- fields in this struct [INFO] [stdout] 165 | pub func_sign: String, [INFO] [stdout] 166 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 167 | pub call_ret_var: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 168 | pub call_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 169 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_ret`, `func_ret_index`, and `func_ret` are never read [INFO] [stdout] --> src/contract/data_structure.rs:228:9 [INFO] [stdout] | [INFO] [stdout] 226 | pub struct CallRetToFuncRet { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 227 | pub call_stmt: String, [INFO] [stdout] 228 | pub call_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 231 | pub func_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 232 | pub func_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_ret` and `call_arg` are never read [INFO] [stdout] --> src/contract/data_structure.rs:251:9 [INFO] [stdout] | [INFO] [stdout] 249 | pub struct CallRetToCallArg { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] 250 | pub call_stmt1: String, [INFO] [stdout] 251 | pub call_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 255 | pub call_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `call_arg` are never read [INFO] [stdout] --> src/contract/data_structure.rs:280:9 [INFO] [stdout] | [INFO] [stdout] 277 | pub struct FuncArgToCallArg { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 280 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] ... [INFO] [stdout] 283 | pub call_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `call_arg_index` are never read [INFO] [stdout] --> src/contract/data_structure.rs:303:9 [INFO] [stdout] | [INFO] [stdout] 300 | pub struct FuncArgToCallee { [INFO] [stdout] | --------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 303 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 304 | pub call_stmt: String, [INFO] [stdout] 305 | pub call_arg_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `func_arg` and `func_ret` are never read [INFO] [stdout] --> src/contract/data_structure.rs:323:9 [INFO] [stdout] | [INFO] [stdout] 320 | pub struct FuncArgToFuncRet { [INFO] [stdout] | ---------------- fields in this struct [INFO] [stdout] ... [INFO] [stdout] 323 | pub func_arg: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] 324 | pub func_ret_index: String, [INFO] [stdout] 325 | pub func_ret: String, [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `env_var` and `tainted_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:343:9 [INFO] [stdout] | [INFO] [stdout] 341 | pub struct EnvVarFlowsToTaintedVar { [INFO] [stdout] | ----------------------- fields in this struct [INFO] [stdout] 342 | pub func_sign: String, [INFO] [stdout] 343 | pub env_var: String, [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] 344 | pub tainted_var: String, [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:360:9 [INFO] [stdout] | [INFO] [stdout] 358 | pub struct OpCreateInLoop { [INFO] [stdout] | -------------- field in this struct [INFO] [stdout] 359 | pub func_sign: String, [INFO] [stdout] 360 | pub stmt: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:375:9 [INFO] [stdout] | [INFO] [stdout] 373 | pub struct OpSoleCreate { [INFO] [stdout] | ------------ field in this struct [INFO] [stdout] 374 | pub func_sign: String, [INFO] [stdout] 375 | pub stmt: String, [INFO] [stdout] | ^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `target` is never read [INFO] [stdout] --> src/contract/data_structure.rs:390:9 [INFO] [stdout] | [INFO] [stdout] 388 | pub struct OpSelfdestruct { [INFO] [stdout] | -------------- field in this struct [INFO] [stdout] 389 | pub func_sign: String, [INFO] [stdout] 390 | pub target: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `call_stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:404:9 [INFO] [stdout] | [INFO] [stdout] 403 | pub struct ExternalCallInHook { [INFO] [stdout] | ------------------ field in this struct [INFO] [stdout] 404 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `call_stmt` is never read [INFO] [stdout] --> src/contract/data_structure.rs:419:9 [INFO] [stdout] | [INFO] [stdout] 418 | pub struct ExternalCallInFallback { [INFO] [stdout] | ---------------------- field in this struct [INFO] [stdout] 419 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `callee` is never read [INFO] [stdout] --> src/contract/data_structure.rs:435:9 [INFO] [stdout] | [INFO] [stdout] 433 | pub struct DoubleCallToSameContract { [INFO] [stdout] | ------------------------ field in this struct [INFO] [stdout] 434 | pub func_sign: String, [INFO] [stdout] 435 | pub callee: String, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt`, `call_ret_var`, `call_ret_index`, and `sensitive_var` are never read [INFO] [stdout] --> src/contract/data_structure.rs:450:9 [INFO] [stdout] | [INFO] [stdout] 448 | pub struct DoubleCallToSameContractByStorage { [INFO] [stdout] | --------------------------------- fields in this struct [INFO] [stdout] 449 | pub func_sign: String, [INFO] [stdout] 450 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 451 | pub call_ret_var: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] 452 | pub call_ret_index: String, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 453 | pub sensitive_var: String, [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: fields `call_stmt` and `storage_slot` are never read [INFO] [stdout] --> src/contract/data_structure.rs:471:9 [INFO] [stdout] | [INFO] [stdout] 469 | pub struct CallInStandardTransfer { [INFO] [stdout] | ---------------------- fields in this struct [INFO] [stdout] 470 | pub func_sign: String, [INFO] [stdout] 471 | pub call_stmt: String, [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] 472 | pub storage_slot: String, [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 17 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 14s [INFO] running `Command { std: "docker" "inspect" "62e301433d825ddecc07dbe39fc0f659f1a0400abe8269e8211f2e71ee50f677", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "62e301433d825ddecc07dbe39fc0f659f1a0400abe8269e8211f2e71ee50f677", kill_on_drop: false }` [INFO] [stdout] 62e301433d825ddecc07dbe39fc0f659f1a0400abe8269e8211f2e71ee50f677