[INFO] cloning repository https://github.com/LiHRaM/taint [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/LiHRaM/taint" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLiHRaM%2Ftaint", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLiHRaM%2Ftaint'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 86a3165944d93f1132d2cf99dcf39139352d519a [INFO] testing LiHRaM/taint against 1.60.0 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FLiHRaM%2Ftaint" "/workspace/builds/worker-1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/LiHRaM/taint on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] removed /workspace/builds/worker-1/source/rust-toolchain [INFO] started tweaking git repo https://github.com/LiHRaM/taint [INFO] finished tweaking git repo https://github.com/LiHRaM/taint [INFO] tweaked toml for git repo https://github.com/LiHRaM/taint written to /workspace/builds/worker-1/source/Cargo.toml [INFO] crate git repo https://github.com/LiHRaM/taint already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded rustfix v0.5.1 [INFO] [stderr] Downloaded tester v0.9.0 [INFO] [stderr] Downloaded compiletest_rs v0.7.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 299845114f74c5bd6421d914793af403fe8015348ba4210c5c1f9ea393d4a5d0 [INFO] running `Command { std: "docker" "start" "-a" "299845114f74c5bd6421d914793af403fe8015348ba4210c5c1f9ea393d4a5d0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "299845114f74c5bd6421d914793af403fe8015348ba4210c5c1f9ea393d4a5d0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "299845114f74c5bd6421d914793af403fe8015348ba4210c5c1f9ea393d4a5d0", kill_on_drop: false }` [INFO] [stdout] 299845114f74c5bd6421d914793af403fe8015348ba4210c5c1f9ea393d4a5d0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 48aeacd3b072c5b94fdf92d4110de2054bd2ee4d03928c62a738f38c00ee20ce [INFO] running `Command { std: "docker" "start" "-a" "48aeacd3b072c5b94fdf92d4110de2054bd2ee4d03928c62a738f38c00ee20ce", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling proc-macro2 v1.0.26 [INFO] [stderr] Compiling unicode-xid v0.2.1 [INFO] [stderr] Compiling syn v1.0.69 [INFO] [stderr] Compiling autocfg v1.0.1 [INFO] [stderr] Compiling serde_derive v1.0.125 [INFO] [stderr] Compiling serde v1.0.125 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling libc v0.2.93 [INFO] [stderr] Compiling log v0.4.14 [INFO] [stderr] Compiling serde_json v1.0.64 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Compiling pin-project-lite v0.2.6 [INFO] [stderr] Compiling once_cell v1.7.2 [INFO] [stderr] Compiling itoa v0.4.7 [INFO] [stderr] Compiling smallvec v1.6.1 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling rustc-workspace-hack v1.0.0 [INFO] [stderr] Compiling tracing-core v0.1.18 [INFO] [stderr] Compiling sharded-slab v0.1.1 [INFO] [stderr] Compiling regex-automata v0.1.9 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling thread_local v1.1.3 [INFO] [stderr] Compiling tracing-log v0.1.2 [INFO] [stderr] Compiling matchers v0.0.1 [INFO] [stderr] Compiling quote v1.0.9 [INFO] [stderr] Compiling chrono v0.4.19 [INFO] [stderr] Compiling tracing-attributes v0.1.15 [INFO] [stderr] Compiling tracing v0.1.26 [INFO] [stderr] Compiling tracing-serde v0.1.2 [INFO] [stderr] Compiling tracing-subscriber v0.2.18 [INFO] [stderr] Compiling taint v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] error[E0463]: can't find crate for `rustc_apfloat` [INFO] [stdout] --> src/lib.rs:5:1 [INFO] [stdout] | [INFO] [stdout] 5 | extern crate rustc_apfloat; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_ast` [INFO] [stdout] --> src/lib.rs:6:1 [INFO] [stdout] | [INFO] [stdout] 6 | extern crate rustc_ast; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_data_structures` [INFO] [stdout] --> src/lib.rs:7:1 [INFO] [stdout] | [INFO] [stdout] 7 | extern crate rustc_data_structures; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_errors` [INFO] [stdout] --> src/lib.rs:8:1 [INFO] [stdout] | [INFO] [stdout] 8 | extern crate rustc_errors; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_hir` [INFO] [stdout] --> src/lib.rs:9:1 [INFO] [stdout] | [INFO] [stdout] 9 | extern crate rustc_hir; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_index` [INFO] [stdout] --> src/lib.rs:10:1 [INFO] [stdout] | [INFO] [stdout] 10 | extern crate rustc_index; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_interface` [INFO] [stdout] --> src/lib.rs:11:1 [INFO] [stdout] | [INFO] [stdout] 11 | extern crate rustc_interface; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_macros` [INFO] [stdout] --> src/lib.rs:12:1 [INFO] [stdout] | [INFO] [stdout] 12 | extern crate rustc_macros; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_middle` [INFO] [stdout] --> src/lib.rs:13:1 [INFO] [stdout] | [INFO] [stdout] 13 | extern crate rustc_middle; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_mir` [INFO] [stdout] --> src/lib.rs:14:1 [INFO] [stdout] | [INFO] [stdout] 14 | extern crate rustc_mir; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_session` [INFO] [stdout] --> src/lib.rs:15:1 [INFO] [stdout] | [INFO] [stdout] 15 | extern crate rustc_session; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_span` [INFO] [stdout] --> src/lib.rs:16:1 [INFO] [stdout] | [INFO] [stdout] 16 | extern crate rustc_span; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0463]: can't find crate for `rustc_target` [INFO] [stdout] --> src/lib.rs:17:1 [INFO] [stdout] | [INFO] [stdout] 17 | extern crate rustc_target; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ can't find crate [INFO] [stdout] | [INFO] [stdout] = help: maybe you need to install the missing components with: `rustup component add rust-src rustc-dev llvm-tools-preview` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find derive macro `SessionDiagnostic` in this scope [INFO] [stdout] --> src/analysis/errors.rs:4:10 [INFO] [stdout] | [INFO] [stdout] 4 | #[derive(SessionDiagnostic)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find attribute `error` in this scope [INFO] [stdout] --> src/analysis/errors.rs:5:3 [INFO] [stdout] | [INFO] [stdout] 5 | #[error = "T0001"] [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find attribute `message` in this scope [INFO] [stdout] --> src/analysis/errors.rs:8:7 [INFO] [stdout] | [INFO] [stdout] 8 | #[message = "function `{fn_name}` received tainted input"] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find attribute `label` in this scope [INFO] [stdout] --> src/analysis/errors.rs:9:7 [INFO] [stdout] | [INFO] [stdout] 9 | #[label = "sink function"] [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find derive macro `SessionDiagnostic` in this scope [INFO] [stdout] --> src/analysis/errors.rs:13:10 [INFO] [stdout] | [INFO] [stdout] 13 | #[derive(SessionDiagnostic)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find attribute `error` in this scope [INFO] [stdout] --> src/analysis/errors.rs:14:3 [INFO] [stdout] | [INFO] [stdout] 14 | #[error = "T0002"] [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find attribute `message` in this scope [INFO] [stdout] --> src/analysis/errors.rs:17:7 [INFO] [stdout] | [INFO] [stdout] 17 | #[message = "Taint attribute `{attr_name}` is invalid. We currently only support `source`, `sink`, and `sanitizer`"] [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: cannot find attribute `label` in this scope [INFO] [stdout] --> src/analysis/errors.rs:18:7 [INFO] [stdout] | [INFO] [stdout] 18 | #[label = "invalid taint attribute"] [INFO] [stdout] | ^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `BitSet` [INFO] [stdout] --> src/analysis/taint_analysis.rs:89:9 [INFO] [stdout] | [INFO] [stdout] 89 | BitSet::new_empty(body.local_decls().len()) [INFO] [stdout] | ^^^^^^ use of undeclared type `BitSet` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `StatementKind` [INFO] [stdout] --> src/analysis/taint_analysis.rs:169:16 [INFO] [stdout] | [INFO] [stdout] 169 | if let StatementKind::Assign(box (ref place, ref rvalue)) = kind { [INFO] [stdout] | ^^^^^^^^^^^^^ use of undeclared type `StatementKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/analysis/taint_analysis.rs:180:13 [INFO] [stdout] | [INFO] [stdout] 180 | TerminatorKind::Goto { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/analysis/taint_analysis.rs:181:13 [INFO] [stdout] | [INFO] [stdout] 181 | TerminatorKind::SwitchInt { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/analysis/taint_analysis.rs:182:13 [INFO] [stdout] | [INFO] [stdout] 182 | TerminatorKind::Return => {} [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/analysis/taint_analysis.rs:183:13 [INFO] [stdout] | [INFO] [stdout] 183 | TerminatorKind::Call { [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:184:23 [INFO] [stdout] | [INFO] [stdout] 184 | func: Operand::Constant(ref c), [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TerminatorKind` [INFO] [stdout] --> src/analysis/taint_analysis.rs:192:13 [INFO] [stdout] | [INFO] [stdout] 192 | TerminatorKind::Assert { .. } => {} [INFO] [stdout] | ^^^^^^^^^^^^^^ use of undeclared type `TerminatorKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:206:13 [INFO] [stdout] | [INFO] [stdout] 206 | Rvalue::Use(Operand::Constant(_)) | Rvalue::UnaryOp(_, Operand::Constant(_)) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:206:25 [INFO] [stdout] | [INFO] [stdout] 206 | Rvalue::Use(Operand::Constant(_)) | Rvalue::UnaryOp(_, Operand::Constant(_)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:206:49 [INFO] [stdout] | [INFO] [stdout] 206 | Rvalue::Use(Operand::Constant(_)) | Rvalue::UnaryOp(_, Operand::Constant(_)) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:206:68 [INFO] [stdout] | [INFO] [stdout] 206 | Rvalue::Use(Operand::Constant(_)) | Rvalue::UnaryOp(_, Operand::Constant(_)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:211:13 [INFO] [stdout] | [INFO] [stdout] 211 | Rvalue::Use(Operand::Copy(f) | Operand::Move(f)) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:211:25 [INFO] [stdout] | [INFO] [stdout] 211 | Rvalue::Use(Operand::Copy(f) | Operand::Move(f)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:211:44 [INFO] [stdout] | [INFO] [stdout] 211 | Rvalue::Use(Operand::Copy(f) | Operand::Move(f)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:215:13 [INFO] [stdout] | [INFO] [stdout] 215 | Rvalue::BinaryOp(_, box b) | Rvalue::CheckedBinaryOp(_, box b) => match b { [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:215:42 [INFO] [stdout] | [INFO] [stdout] 215 | Rvalue::BinaryOp(_, box b) | Rvalue::CheckedBinaryOp(_, box b) => match b { [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:216:18 [INFO] [stdout] | [INFO] [stdout] 216 | (Operand::Constant(_), Operand::Constant(_)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:216:40 [INFO] [stdout] | [INFO] [stdout] 216 | (Operand::Constant(_), Operand::Constant(_)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:219:18 [INFO] [stdout] | [INFO] [stdout] 219 | (Operand::Copy(a) | Operand::Move(a), Operand::Copy(b) | Operand::Move(b)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:219:37 [INFO] [stdout] | [INFO] [stdout] 219 | (Operand::Copy(a) | Operand::Move(a), Operand::Copy(b) | Operand::Move(b)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:219:55 [INFO] [stdout] | [INFO] [stdout] 219 | (Operand::Copy(a) | Operand::Move(a), Operand::Copy(b) | Operand::Move(b)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:219:74 [INFO] [stdout] | [INFO] [stdout] 219 | (Operand::Copy(a) | Operand::Move(a), Operand::Copy(b) | Operand::Move(b)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:226:18 [INFO] [stdout] | [INFO] [stdout] 226 | (Operand::Copy(p) | Operand::Move(p), Operand::Constant(_)) [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:226:37 [INFO] [stdout] | [INFO] [stdout] 226 | (Operand::Copy(p) | Operand::Move(p), Operand::Constant(_)) [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:226:55 [INFO] [stdout] | [INFO] [stdout] 226 | (Operand::Copy(p) | Operand::Move(p), Operand::Constant(_)) [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:227:20 [INFO] [stdout] | [INFO] [stdout] 227 | | (Operand::Constant(_), Operand::Copy(p) | Operand::Move(p)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:227:42 [INFO] [stdout] | [INFO] [stdout] 227 | | (Operand::Constant(_), Operand::Copy(p) | Operand::Move(p)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:227:61 [INFO] [stdout] | [INFO] [stdout] 227 | | (Operand::Constant(_), Operand::Copy(p) | Operand::Move(p)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:231:13 [INFO] [stdout] | [INFO] [stdout] 231 | Rvalue::UnaryOp(_, Operand::Move(p) | Operand::Copy(p)) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:231:32 [INFO] [stdout] | [INFO] [stdout] 231 | Rvalue::UnaryOp(_, Operand::Move(p) | Operand::Copy(p)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:231:51 [INFO] [stdout] | [INFO] [stdout] 231 | Rvalue::UnaryOp(_, Operand::Move(p) | Operand::Copy(p)) => { [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:234:13 [INFO] [stdout] | [INFO] [stdout] 234 | Rvalue::Ref(_region_kind, _borrow_kind, p) => { [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:238:13 [INFO] [stdout] | [INFO] [stdout] 238 | Rvalue::Repeat(_, _) => {} [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:239:13 [INFO] [stdout] | [INFO] [stdout] 239 | Rvalue::ThreadLocalRef(_) => {} [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:240:13 [INFO] [stdout] | [INFO] [stdout] 240 | Rvalue::AddressOf(_, _) => {} [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:241:13 [INFO] [stdout] | [INFO] [stdout] 241 | Rvalue::Len(_) => {} [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:242:13 [INFO] [stdout] | [INFO] [stdout] 242 | Rvalue::Cast(_, _, _) => {} [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:243:13 [INFO] [stdout] | [INFO] [stdout] 243 | Rvalue::NullaryOp(_, _) => {} [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:244:13 [INFO] [stdout] | [INFO] [stdout] 244 | Rvalue::Discriminant(_) => {} [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Rvalue` [INFO] [stdout] --> src/analysis/taint_analysis.rs:245:13 [INFO] [stdout] | [INFO] [stdout] 245 | Rvalue::Aggregate(_, _) => {} [INFO] [stdout] | ^^^^^^ use of undeclared type `Rvalue` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `TyKind` [INFO] [stdout] --> src/analysis/taint_analysis.rs:259:13 [INFO] [stdout] | [INFO] [stdout] 259 | TyKind::FnDef(id, _args) => Some(id), [INFO] [stdout] | ^^^^^^ use of undeclared type `TyKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:281:17 [INFO] [stdout] | [INFO] [stdout] 281 | Operand::Copy(p) | Operand::Move(p) => Some(self.state.get_taint(p.local)), [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:281:36 [INFO] [stdout] | [INFO] [stdout] 281 | Operand::Copy(p) | Operand::Move(p) => Some(self.state.get_taint(p.local)), [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Operand` [INFO] [stdout] --> src/analysis/taint_analysis.rs:282:17 [INFO] [stdout] | [INFO] [stdout] 282 | Operand::Constant(_) => None, [INFO] [stdout] | ^^^^^^^ use of undeclared type `Operand` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Local` [INFO] [stdout] --> src/analysis/taint_analysis.rs:289:32 [INFO] [stdout] | [INFO] [stdout] 289 | let return_place = Local::from_usize(0); [INFO] [stdout] | ^^^^^ use of undeclared type `Local` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/eval/attributes.rs:56:26 [INFO] [stdout] | [INFO] [stdout] 56 | let sym_source = Symbol::intern("source"); [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/eval/attributes.rs:57:24 [INFO] [stdout] | [INFO] [stdout] 57 | let sym_sink = Symbol::intern("sink"); [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/eval/attributes.rs:58:29 [INFO] [stdout] | [INFO] [stdout] 58 | let sym_sanitizer = Symbol::intern("sanitizer"); [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `AttrKind` [INFO] [stdout] --> src/eval/attributes.rs:61:20 [INFO] [stdout] | [INFO] [stdout] 61 | if let AttrKind::Normal(ref item, _) = attr.kind { [INFO] [stdout] | ^^^^^^^^ use of undeclared type `AttrKind` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Symbol` [INFO] [stdout] --> src/eval/attributes.rs:101:77 [INFO] [stdout] | [INFO] [stdout] 101 | if item.path.segments.len() == 2 && item.path.segments[0].ident.name == Symbol::intern("taint") [INFO] [stdout] | ^^^^^^ use of undeclared type `Symbol` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:26:37 [INFO] [stdout] | [INFO] [stdout] 26 | pub(crate) type PointsMap = HashMap>; [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:26:52 [INFO] [stdout] | [INFO] [stdout] 26 | pub(crate) type PointsMap = HashMap>; [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:27:37 [INFO] [stdout] | [INFO] [stdout] 27 | pub(crate) type Contexts = HashMap<(DefId, InitSet), Option>>; [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BitSet` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:27:61 [INFO] [stdout] | [INFO] [stdout] 27 | pub(crate) type Contexts = HashMap<(DefId, InitSet), Option>>; [INFO] [stdout] | ^^^^^^ help: a type alias with a similar name exists: `InitSet` [INFO] [stdout] 28 | [INFO] [stdout] 29 | type InitSet = Vec>; [INFO] [stdout] | --------------------------------- similarly named type alias `InitSet` defined here [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:27:68 [INFO] [stdout] | [INFO] [stdout] 27 | pub(crate) type Contexts = HashMap<(DefId, InitSet), Option>>; [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:37:10 [INFO] [stdout] | [INFO] [stdout] 37 | tcx: TyCtxt<'tcx>, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:47:21 [INFO] [stdout] | [INFO] [stdout] 47 | pub fn new(tcx: TyCtxt<'tcx>, info: &'inter AttrInfo) -> Self { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:59:14 [INFO] [stdout] | [INFO] [stdout] 59 | tcx: TyCtxt<'tcx>, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:75:10 [INFO] [stdout] | [INFO] [stdout] 75 | tcx: TyCtxt<'tcx>, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:78:55 [INFO] [stdout] | [INFO] [stdout] 74 | struct TransferFunction<'tcx, 'inter, 'intra> { [INFO] [stdout] | - help: you might be missing a type parameter: `, Local` [INFO] [stdout] ... [INFO] [stdout] 78 | state: &'intra mut PointsAwareTaintDomain<'intra, Local>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `AnalysisDomain` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:81:14 [INFO] [stdout] | [INFO] [stdout] 81 | impl<'inter> AnalysisDomain<'inter> for TaintAnalysis<'_, '_> { [INFO] [stdout] | ^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BitSet` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:82:19 [INFO] [stdout] | [INFO] [stdout] 29 | type InitSet = Vec>; [INFO] [stdout] | --------------------------------- similarly named type alias `InitSet` defined here [INFO] [stdout] ... [INFO] [stdout] 82 | type Domain = BitSet; [INFO] [stdout] | ^^^^^^ help: a type alias with a similar name exists: `InitSet` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:82:26 [INFO] [stdout] | [INFO] [stdout] 81 | impl<'inter> AnalysisDomain<'inter> for TaintAnalysis<'_, '_> { [INFO] [stdout] | - help: you might be missing a type parameter: `, Local` [INFO] [stdout] 82 | type Domain = BitSet; [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Forward` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:85:22 [INFO] [stdout] | [INFO] [stdout] 85 | type Direction = Forward; [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Body` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:87:35 [INFO] [stdout] | [INFO] [stdout] 87 | fn bottom_value(&self, body: &Body<'inter>) -> Self::Domain { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Body` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:92:45 [INFO] [stdout] | [INFO] [stdout] 92 | fn initialize_start_block(&self, body: &Body<'inter>, state: &mut Self::Domain) { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `Analysis` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:108:28 [INFO] [stdout] | [INFO] [stdout] 108 | impl<'tcx, 'inter, 'intra> Analysis<'intra> for TaintAnalysis<'tcx, 'inter> { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:112:21 [INFO] [stdout] | [INFO] [stdout] 112 | statement: &Statement<'intra>, [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Location` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:113:19 [INFO] [stdout] | [INFO] [stdout] 113 | location: Location, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use core::panic::Location; [INFO] [stdout] | [INFO] [stdout] 1 | use std::panic::Location; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Terminator` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:130:22 [INFO] [stdout] | [INFO] [stdout] 130 | terminator: &Terminator<'intra>, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Location` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:131:19 [INFO] [stdout] | [INFO] [stdout] 131 | location: Location, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use core::panic::Location; [INFO] [stdout] | [INFO] [stdout] 1 | use std::panic::Location; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:148:17 [INFO] [stdout] | [INFO] [stdout] 148 | _block: BasicBlock, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:149:17 [INFO] [stdout] | [INFO] [stdout] 149 | _func: &Operand<'intra>, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:150:18 [INFO] [stdout] | [INFO] [stdout] 150 | _args: &[Operand<'intra>], [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:151:24 [INFO] [stdout] | [INFO] [stdout] 151 | _return_place: Place<'intra>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `Visitor` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:163:14 [INFO] [stdout] | [INFO] [stdout] 163 | impl<'inter> Visitor<'inter> for TransferFunction<'_, '_, '_> { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Statement` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:164:47 [INFO] [stdout] | [INFO] [stdout] 164 | fn visit_statement(&mut self, statement: &Statement<'inter>, _: Location) { [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Location` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:164:69 [INFO] [stdout] | [INFO] [stdout] 164 | fn visit_statement(&mut self, statement: &Statement<'inter>, _: Location) { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use core::panic::Location; [INFO] [stdout] | [INFO] [stdout] 1 | use std::panic::Location; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Statement` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:165:13 [INFO] [stdout] | [INFO] [stdout] 165 | let Statement { source_info, kind } = statement; [INFO] [stdout] | ^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Terminator` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:174:49 [INFO] [stdout] | [INFO] [stdout] 174 | fn visit_terminator(&mut self, terminator: &Terminator<'inter>, _: Location) { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Location` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:174:72 [INFO] [stdout] | [INFO] [stdout] 174 | fn visit_terminator(&mut self, terminator: &Terminator<'inter>, _: Location) { [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing one of these items [INFO] [stdout] | [INFO] [stdout] 1 | use core::panic::Location; [INFO] [stdout] | [INFO] [stdout] 1 | use std::panic::Location; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0422]: cannot find struct, variant or union type `Terminator` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:175:13 [INFO] [stdout] | [INFO] [stdout] 175 | let Terminator { source_info, kind } = terminator; [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `Visitor` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:200:11 [INFO] [stdout] | [INFO] [stdout] 200 | Self: Visitor<'long>, [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:203:42 [INFO] [stdout] | [INFO] [stdout] 203 | fn t_visit_assign(&mut self, place: &Place, rvalue: &Rvalue) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Rvalue` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:203:58 [INFO] [stdout] | [INFO] [stdout] 203 | fn t_visit_assign(&mut self, place: &Place, rvalue: &Rvalue) { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Constant` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:252:16 [INFO] [stdout] | [INFO] [stdout] 252 | func: &Constant, [INFO] [stdout] | ^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:253:17 [INFO] [stdout] | [INFO] [stdout] 253 | args: &[Operand], [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:254:31 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, Place` [INFO] [stdout] ... [INFO] [stdout] 254 | destination: &Option<(Place, BasicBlock)>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:254:38 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, BasicBlock` [INFO] [stdout] ... [INFO] [stdout] 254 | destination: &Option<(Place, BasicBlock)>, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:255:16 [INFO] [stdout] | [INFO] [stdout] 255 | span: &Span, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 | use tracing::Span; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:274:17 [INFO] [stdout] | [INFO] [stdout] 274 | args: &[Operand], [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:276:31 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, Place` [INFO] [stdout] ... [INFO] [stdout] 276 | destination: &Option<(Place, BasicBlock)>, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:276:38 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, BasicBlock` [INFO] [stdout] ... [INFO] [stdout] 276 | destination: &Option<(Place, BasicBlock)>, [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:312:43 [INFO] [stdout] | [INFO] [stdout] 312 | fn t_function_summary(&mut self, id: &DefId, init: Vec>) -> Option> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BitSet` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:312:85 [INFO] [stdout] | [INFO] [stdout] 29 | type InitSet = Vec>; [INFO] [stdout] | --------------------------------- similarly named type alias `InitSet` defined here [INFO] [stdout] ... [INFO] [stdout] 312 | fn t_function_summary(&mut self, id: &DefId, init: Vec>) -> Option> { [INFO] [stdout] | ^^^^^^ help: a type alias with a similar name exists: `InitSet` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:312:92 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, Local` [INFO] [stdout] ... [INFO] [stdout] 312 | fn t_function_summary(&mut self, id: &DefId, init: Vec>) -> Option> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:345:43 [INFO] [stdout] | [INFO] [stdout] 345 | fn t_insert_summary(&mut self, key: &(DefId, Vec>), val: Option>) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BitSet` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:345:82 [INFO] [stdout] | [INFO] [stdout] 29 | type InitSet = Vec>; [INFO] [stdout] | --------------------------------- similarly named type alias `InitSet` defined here [INFO] [stdout] ... [INFO] [stdout] 345 | fn t_insert_summary(&mut self, key: &(DefId, Vec>), val: Option>) { [INFO] [stdout] | ^^^^^^ help: a type alias with a similar name exists: `InitSet` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:345:89 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, Local` [INFO] [stdout] ... [INFO] [stdout] 345 | fn t_insert_summary(&mut self, key: &(DefId, Vec>), val: Option>) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:351:16 [INFO] [stdout] | [INFO] [stdout] 351 | key: &(DefId, Vec>), [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BitSet` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:352:24 [INFO] [stdout] | [INFO] [stdout] 29 | type InitSet = Vec>; [INFO] [stdout] | --------------------------------- similarly named type alias `InitSet` defined here [INFO] [stdout] ... [INFO] [stdout] 352 | ) -> Option>> { [INFO] [stdout] | ^^^^^^ help: a type alias with a similar name exists: `InitSet` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:352:31 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, Local` [INFO] [stdout] ... [INFO] [stdout] 352 | ) -> Option>> { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:357:68 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, Place` [INFO] [stdout] ... [INFO] [stdout] 357 | fn t_visit_source_destination(&mut self, destination: &Option<(Place, BasicBlock)>) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:357:75 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, BasicBlock` [INFO] [stdout] ... [INFO] [stdout] 357 | fn t_visit_source_destination(&mut self, destination: &Option<(Place, BasicBlock)>) { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:363:71 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, Place` [INFO] [stdout] ... [INFO] [stdout] 363 | fn t_visit_sanitizer_destination(&mut self, destination: &Option<(Place, BasicBlock)>) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BasicBlock` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:363:78 [INFO] [stdout] | [INFO] [stdout] 198 | impl<'long> TransferFunction<'_, '_, '_> [INFO] [stdout] | - help: you might be missing a type parameter: `, BasicBlock` [INFO] [stdout] ... [INFO] [stdout] 363 | fn t_visit_sanitizer_destination(&mut self, destination: &Option<(Place, BasicBlock)>) { [INFO] [stdout] | ^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Operand` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:369:54 [INFO] [stdout] | [INFO] [stdout] 369 | fn t_visit_sink(&mut self, name: String, args: &[Operand], span: &Span) { [INFO] [stdout] | ^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/analysis/taint_analysis.rs:369:71 [INFO] [stdout] | [INFO] [stdout] 369 | fn t_visit_sink(&mut self, name: String, args: &[Operand], span: &Span) { [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 | use tracing::Span; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/analysis/errors.rs:10:15 [INFO] [stdout] | [INFO] [stdout] 10 | pub span: Span, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 | use tracing::Span; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Span` in this scope [INFO] [stdout] --> src/analysis/errors.rs:19:15 [INFO] [stdout] | [INFO] [stdout] 19 | pub span: Span, [INFO] [stdout] | ^^^^ not found in this scope [INFO] [stdout] | [INFO] [stdout] help: consider importing this struct [INFO] [stdout] | [INFO] [stdout] 1 | use tracing::Span; [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `Idx` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:12:49 [INFO] [stdout] | [INFO] [stdout] 12 | pub(crate) struct PointsAwareTaintDomain<'a, T: Idx> { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BitSet` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:13:31 [INFO] [stdout] | [INFO] [stdout] 13 | pub(crate) state: &'a mut BitSet, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `Idx` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:17:33 [INFO] [stdout] | [INFO] [stdout] 17 | pub(crate) trait TaintDomain { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `BitSet` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:23:33 [INFO] [stdout] | [INFO] [stdout] 23 | impl TaintDomain for BitSet { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `Idx` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:23:9 [INFO] [stdout] | [INFO] [stdout] 23 | impl TaintDomain for BitSet { [INFO] [stdout] | ^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:44:18 [INFO] [stdout] | [INFO] [stdout] 44 | impl TaintDomain for PointsAwareTaintDomain<'_, Local> { [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:44:56 [INFO] [stdout] | [INFO] [stdout] 44 | impl TaintDomain for PointsAwareTaintDomain<'_, Local> { [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:45:34 [INFO] [stdout] | [INFO] [stdout] 45 | fn propagate(&mut self, old: Local, new: Local) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:45:46 [INFO] [stdout] | [INFO] [stdout] 45 | fn propagate(&mut self, old: Local, new: Local) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:49:29 [INFO] [stdout] | [INFO] [stdout] 49 | fn get_taint(&self, ix: Local) -> bool { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:53:33 [INFO] [stdout] | [INFO] [stdout] 53 | fn set_taint(&mut self, ix: Local, value: bool) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:62:33 [INFO] [stdout] | [INFO] [stdout] 62 | impl PointsAwareTaintDomain<'_, Local> { [INFO] [stdout] | - ^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:63:45 [INFO] [stdout] | [INFO] [stdout] 63 | pub(crate) fn add_ref(&mut self, from: &Place, to: &Place) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Place` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:63:57 [INFO] [stdout] | [INFO] [stdout] 63 | pub(crate) fn add_ref(&mut self, from: &Place, to: &Place) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:68:35 [INFO] [stdout] | [INFO] [stdout] 68 | fn get_aliases(&mut self, ix: Local) -> HashSet { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Local` in this scope [INFO] [stdout] --> src/analysis/taint_domain.rs:68:53 [INFO] [stdout] | [INFO] [stdout] 62 | impl PointsAwareTaintDomain<'_, Local> { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 68 | fn get_aliases(&mut self, ix: Local) -> HashSet { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/eval/attributes.rs:12:10 [INFO] [stdout] | [INFO] [stdout] 12 | tcx: TyCtxt<'tcx>, [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/eval/attributes.rs:18:22 [INFO] [stdout] | [INFO] [stdout] 17 | pub struct AttrInfo { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 18 | pub sources: Vec, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/eval/attributes.rs:19:20 [INFO] [stdout] | [INFO] [stdout] 17 | pub struct AttrInfo { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] 18 | pub sources: Vec, [INFO] [stdout] 19 | pub sinks: Vec, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/eval/attributes.rs:20:25 [INFO] [stdout] | [INFO] [stdout] 17 | pub struct AttrInfo { [INFO] [stdout] | - help: you might be missing a type parameter: `` [INFO] [stdout] ... [INFO] [stdout] 20 | pub sanitizers: Vec, [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/eval/attributes.rs:31:33 [INFO] [stdout] | [INFO] [stdout] 31 | pub fn get_kind(&self, id: &DefId) -> Option { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/eval/attributes.rs:45:21 [INFO] [stdout] | [INFO] [stdout] 45 | pub fn new(tcx: TyCtxt<'tcx>) -> Self { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0405]: cannot find trait `ItemLikeVisitor` in this scope [INFO] [stdout] --> src/eval/attributes.rs:82:10 [INFO] [stdout] | [INFO] [stdout] 82 | impl<'v> ItemLikeVisitor<'v> for TaintAttributeFinder<'_> { [INFO] [stdout] | ^^^^^^^^^^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `Symbol` in this scope [INFO] [stdout] --> src/eval/attributes.rs:100:58 [INFO] [stdout] | [INFO] [stdout] 100 | fn get_taint_attr(item: &rustc_ast::AttrItem) -> Option<&Symbol> { [INFO] [stdout] | - ^^^^^^ not found in this scope [INFO] [stdout] | | [INFO] [stdout] | help: you might be missing a type parameter: `` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `TyCtxt` in this scope [INFO] [stdout] --> src/eval/main.rs:8:23 [INFO] [stdout] | [INFO] [stdout] 8 | pub fn eval_main(tcx: TyCtxt<'_>, main_id: DefId) { [INFO] [stdout] | ^^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0412]: cannot find type `DefId` in this scope [INFO] [stdout] --> src/eval/main.rs:8:44 [INFO] [stdout] | [INFO] [stdout] 8 | pub fn eval_main(tcx: TyCtxt<'_>, main_id: DefId) { [INFO] [stdout] | ^^^^^ not found in this scope [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel [INFO] [stdout] --> src/lib.rs:1:1 [INFO] [stdout] | [INFO] [stdout] 1 | #![feature(rustc_private)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel [INFO] [stdout] --> src/lib.rs:2:1 [INFO] [stdout] | [INFO] [stdout] 2 | #![feature(box_syntax)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error[E0554]: `#![feature]` may not be used on the stable release channel [INFO] [stdout] --> src/lib.rs:3:1 [INFO] [stdout] | [INFO] [stdout] 3 | #![feature(box_patterns)] [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to 161 previous errors [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] Some errors have detailed explanations: E0405, E0412, E0422, E0433, E0463, E0554. [INFO] [stdout] [INFO] [stdout] For more information about an error, try `rustc --explain E0405`. [INFO] [stdout] [INFO] [stderr] error: could not compile `taint` due to 162 previous errors [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: build failed [INFO] running `Command { std: "docker" "inspect" "48aeacd3b072c5b94fdf92d4110de2054bd2ee4d03928c62a738f38c00ee20ce", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "48aeacd3b072c5b94fdf92d4110de2054bd2ee4d03928c62a738f38c00ee20ce", kill_on_drop: false }` [INFO] [stdout] 48aeacd3b072c5b94fdf92d4110de2054bd2ee4d03928c62a738f38c00ee20ce