🌴 Empowering everyone to build reliable and efficient smart contracts.
972 matches across 8 categories. Click a row to expand file-level details.
| Severity | File | Line | Snippet |
|---|---|---|---|
| LOW | ci_checks.sh | 1 | #!/usr/bin/env bash |
| LOW | forc/src/cli/shared.rs | 81 | #[clap(flatten)] |
| LOW | forc/src/cli/shared.rs | 101 | /// Build target to use for code generation. |
| LOW | forc/src/cli/shared.rs | 121 | #[clap(long = "output-hexfile")] |
| LOW | forc/src/cli/shared.rs | 141 | /// Dump options. |
| LOW | forc/src/cli/shared.rs | 161 | /// URL format to be used in the generated DCA graph .dot file. |
| LOW | forc/src/cli/shared.rs | 181 | #[clap(long)] |
| LOW | forc/src/cli/shared.rs | 221 | /// Package-related options. |
| LOW | forc/src/cli/shared.rs | 241 | /// |
| LOW | forc/src/cli/commands/test.rs | 21 | [ Run test without any output => "forc test --silent" ] |
| LOW | forc/src/cli/commands/test.rs | 41 | #[clap(bin_name = "forc test", version, after_help = help())] |
| LOW | forc/src/cli/commands/test.rs | 61 | /// These are the gas costs values of the Fuel mainnet as of time of |
| LOW | forc/src/cli/commands/check.rs | 21 | pub struct Command { |
| LOW | forc/src/cli/commands/build.rs | 21 | /// |
| LOW | forc/src/cli/commands/update.rs | 21 | |
| LOW | forc/src/cli/commands/init.rs | 21 | /// The default program type, excluding all flags or adding this flag creates a basic contract program. |
| LOW | forc/src/cli/commands/new.rs | 21 | /// program. |
| LOW | forc/src/ops/forc_update.rs | 1 | use crate::cli::UpdateCommand; |
| LOW | sway-parse/src/token.rs | 101 | start: usize, |
| LOW | sway-parse/src/parser.rs | 81 | /// Tries to peek a `P` in its canonical way. |
| LOW | sway-parse/src/parser.rs | 141 | |
| LOW | test/src/main.rs | 81 | /// Print out the specified IR (separate options with comma), if the verbose option is on |
| LOW | test/src/main.rs | 121 | /// |
| LOW | test/src/main.rs | 141 | /// |
| LOW | test/src/in_language_tests/Forc.toml | 41 | "test_programs/storage_key_inline_tests", |
| LOW | test/src/in_language_tests/run_in_language_tests.sh | 1 | #!/usr/bin/env bash |
| LOW | test/src/snapshot/mod.rs | 601 | /// Iterate all instructions inside the DWARF file. For |
| LOW | test/src/sdk-harness/test_projects/storage_init/mod.rs | 21 | .unwrap() |
| LOW | …ess/test_projects/storage_vec_of_storage_string/mod.rs | 61 | // let _ = instance |
| LOW | …ess/test_projects/storage_vec_of_storage_string/mod.rs | 81 | // .methods() |
| LOW | test/src/ir_generation/mod.rs | 41 | /// // ::check-ir-optimized:: |
| LOW | test/src/e2e_vm_tests/mod.rs | 1241 | // However, "run_on_node" tests deploy contracts to a local node, and if multiple such tests |
| LOW | …fail/match_expressions_struct_missing_fields/test.toml | 1 | category = "fail" |
| LOW | …ould_fail/storage_in_library/test.dynamic_storage.toml | 1 | category = "fail" |
| LOW | …test_programs/should_fail/storage_in_library/test.toml | 1 | category = "fail" |
| LOW | …test_programs/should_fail/where_clause_impls/test.toml | 1 | category = "fail" |
| LOW | …hould_fail/struct_field_privacy_field_access/test.toml | 1 | category = "fail" |
| LOW | …hould_fail/struct_field_privacy_field_access/test.toml | 21 | #check: $()Private struct field is inaccessible |
| LOW | …s/test_programs/should_fail/nested_functions/test.toml | 1 | category = "fail" |
| LOW | …rams/should_fail/superabi_duplicate_methods6/test.toml | 1 | category = "fail" |
| LOW | …programs/should_fail/variable_does_not_exist/test.toml | 1 | category = "fail" |
| LOW | …programs/should_fail/variable_does_not_exist/test.toml | 21 | # check: $()let _ = x + y + z; |
| LOW | …rams/should_fail/superabi_duplicate_methods8/test.toml | 1 | category = "fail" |
| LOW | …s/should_fail/trait_method_generic_ambiguous/test.toml | 1 | category = "fail" |
| LOW | …programs/should_fail/superabi_contract_call2/test.toml | 1 | category = "fail" |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 1 | category = "fail" |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 21 | #check: $()Struct "LibTwoPrivateFields" is declared here, and has private fields "y" and "z". |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 41 | #check: $()Inaccessible fields are "y" and "z". |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 61 | #check: $()z: u64, |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 81 | #check: $()let _ = LibStruct { nn: 0, x: 0 }; |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 101 | #check: $()let _ = LibStruct { nn: 0, x: 0, y: 0, z: 0 }; |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 121 | |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 141 | #check: $()Struct cannot be instantiated due to inaccessible private fields |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 161 | #check: $()Struct cannot be instantiated due to inaccessible private fields |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 181 | #nextln: $()Field "z" of the struct "LibStruct" is declared here as private. |
| LOW | …ould_fail/struct_field_privacy_instantiation/test.toml | 201 | #nextln: $()Field "nn" does not exist in the struct "MainStruct". |
| LOW | …e_field_access_on_non_struct/test.dynamic_storage.toml | 1 | category = "fail" |
| LOW | …e_field_access_on_non_struct/test.dynamic_storage.toml | 21 | #check: $()Struct field does not exist |
| LOW | …e_field_access_on_non_struct/test.dynamic_storage.toml | 41 | #check: $()Fields can only be accessed on storage variables that are structs. |
| LOW | …ould_fail/storage_field_access_on_non_struct/test.toml | 1 | category = "fail" |
| 826 more matches not shown… | |||
| Severity | File | Line | Snippet |
|---|---|---|---|
| CRITICAL | test/src/e2e_vm_tests/mod.rs | 938 | pkg.built.descriptor.pinned.name.as_str(), |
| CRITICAL | test/src/e2e_vm_tests/mod.rs | 962 | pkg.built.descriptor.pinned.name.as_str(), |
| CRITICAL | …e_field_access_on_non_struct/test.dynamic_storage.toml | 27 | #check: $()let _ = storage.s_01.second.x.prev_not_a_struct.read(); |
| CRITICAL | …e_field_access_on_non_struct/test.dynamic_storage.toml | 38 | #check: $()let _ = storage.s_01.second.third.x.prev_not_a_struct.read(); |
| CRITICAL | …e_field_access_on_non_struct/test.dynamic_storage.toml | 44 | #check: $()let _ = storage.s_01.second.third.non_existing_field.read(); |
| CRITICAL | …ould_fail/storage_field_access_on_non_struct/test.toml | 26 | #check: $()let _ = storage.s_01.second.x.prev_not_a_struct.read(); |
| CRITICAL | …ould_fail/storage_field_access_on_non_struct/test.toml | 37 | #check: $()let _ = storage.s_01.second.third.x.prev_not_a_struct.read(); |
| CRITICAL | …ould_fail/storage_field_access_on_non_struct/test.toml | 43 | #check: $()let _ = storage.s_01.second.third.non_existing_field.read(); |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 694 | prefixes: self_entry.inner.key.name.prefixes.clone(), |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 695 | suffix: self_entry.inner.key.name.suffix.name.clone(), |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 1176 | prefixes: entry.inner.key.name.prefixes.clone(), |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 1177 | suffix: entry.inner.key.name.suffix.name.clone(), |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 1230 | prefixes: e.inner.key.name.prefixes.clone(), |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 1231 | suffix: e.inner.key.name.suffix.name.clone(), |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 1236 | && trait_type_args.len() == e.inner.key.name.suffix.args.len() |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 1239 | .zip(e.inner.key.name.suffix.args.iter()) |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 1327 | prefixes: entry.inner.key.name.prefixes.clone(), |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 1328 | suffix: entry.inner.key.name.suffix.name.clone(), |
| CRITICAL | sway-core/src/semantic_analysis/namespace/trait_map.rs | 1332 | .push((trait_call_path, entry.inner.key.name.suffix.args.clone())); |
| CRITICAL | …ore/src/semantic_analysis/namespace/trait_coherence.rs | 68 | let package_name = trait_entry.inner.key.name.prefixes.first().unwrap(); |
| CRITICAL | …ore/src/semantic_analysis/namespace/trait_coherence.rs | 179 | let trait_name = trait_entry.inner.key.name.suffix.name.to_string(); |
| Severity | File | Line | Snippet |
|---|---|---|---|
| MEDIUM | …ould_fail/struct_field_privacy_instantiation/test.toml | 106 | # --------------------------------------------------- |
| MEDIUM | …ould_fail/struct_field_privacy_instantiation/test.toml | 183 | # --------------------------------------------------- |
| MEDIUM | …ould_fail/struct_instantiation_type_mismatch/test.toml | 67 | # ---------------------------------------------------- |
| MEDIUM | …rograms/should_fail/array_invalid_index_type/test.toml | 61 | #--------------------------------------------------- |
| MEDIUM | …/test_programs/should_pass/storage_benchmarks/bench.sh | 23 | # ── Configurable constants ────────────────────────────────────────── |
| MEDIUM | …/test_programs/should_pass/storage_benchmarks/bench.sh | 26 | # ──────────────────────────────────────────────────────────────────── |
| MEDIUM | …/test_programs/should_pass/storage_benchmarks/bench.sh | 28 | # ── Parse options ─────────────────────────────────────────────────── |
| MEDIUM | …/test_programs/should_pass/storage_benchmarks/bench.sh | 51 | # ── Helpers ───────────────────────────────────────────────────────── |
| MEDIUM | …/test_programs/should_pass/storage_benchmarks/bench.sh | 100 | # ── CSV output ────────────────────────────────────────────────── |
| MEDIUM | …/test_programs/should_pass/storage_benchmarks/bench.sh | 111 | # ── Histogram (optional) ───────────────────────────────────────── |
| MEDIUM | …/test_programs/should_pass/storage_benchmarks/bench.sh | 161 | # ── Main ──────────────────────────────────────────────────────────── |
| MEDIUM | …t_programs/should_pass/storage_benchmarks/perf_diff.sh | 24 | # ── Argument validation ───────────────────────────────────────────── |
| MEDIUM | …t_programs/should_pass/storage_benchmarks/perf_diff.sh | 49 | # ── Find matching commits ─────────────────────────────────────────── |
| MEDIUM | …t_programs/should_pass/storage_benchmarks/perf_diff.sh | 102 | # ── Parse benchmark data for a commit ─────────────────────────────── |
| MEDIUM | …t_programs/should_pass/storage_benchmarks/perf_diff.sh | 152 | # ── Collect data ──────────────────────────────────────────────────── |
| MEDIUM | …t_programs/should_pass/storage_benchmarks/perf_diff.sh | 182 | # ── Compute diffs and generate output ─────────────────────────────── |
| MEDIUM | …ms/should_pass/storage_benchmarks/bench_storage_vec.sh | 31 | # ── Configurable constants ────────────────────────────────────────── |
| MEDIUM | …ms/should_pass/storage_benchmarks/bench_storage_vec.sh | 34 | # ──────────────────────────────────────────────────────────────────── |
| MEDIUM | …ms/should_pass/storage_benchmarks/bench_storage_vec.sh | 36 | # ── Parse options ─────────────────────────────────────────────────── |
| MEDIUM | …ms/should_pass/storage_benchmarks/bench_storage_vec.sh | 62 | # ── Helpers ───────────────────────────────────────────────────────── |
| MEDIUM | …ms/should_pass/storage_benchmarks/bench_storage_vec.sh | 128 | # ── CSV output ────────────────────────────────────────────────── |
| MEDIUM | …ms/should_pass/storage_benchmarks/bench_storage_vec.sh | 175 | # ── Histogram (optional) ───────────────────────────────────────── |
| MEDIUM | …ms/should_pass/storage_benchmarks/bench_storage_vec.sh | 227 | # ── Main ──────────────────────────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 22 | # ── Size → type mapping ──────────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 42 | # ── Helpers ───────────────────────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 104 | # ── Generate one project ─────────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 117 | # ── Forc.toml ─────────────────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 134 | # ── test.toml ─────────────────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 137 | # ── src/main.sw ───────────────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 152 | # ── Empty-call baseline ────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 158 | # ── Populate baselines ────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 169 | # ── store_vec baselines ───────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 179 | # ── Operation methods ─────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 207 | # ── Test functions ────────────────────────────────────────── |
| MEDIUM | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 257 | # ── Main ──────────────────────────────────────────────────────────── |
| MEDIUM | …rams/should_pass/storage_benchmarks/perf_diff_stats.sh | 16 | # ── Argument validation ───────────────────────────────────────────── |
| MEDIUM | …rams/should_pass/storage_benchmarks/perf_diff_stats.sh | 38 | # ── Parse CSV and compute stats ───────────────────────────────────── |
| Severity | File | Line | Snippet |
|---|---|---|---|
| LOW | forc-pkg/src/manifest/mod.rs | 664 | // While creating a `ManifestFile` we need to check if the given path corresponds to a |
| LOW | forc-pkg/src/manifest/mod.rs | 682 | // While creating a `ManifestFile` we need to check if the given path corresponds to a |
| LOW | forc-pkg/src/manifest/mod.rs | 1092 | // While creating a `ManifestFile` we need to check if the given path corresponds to a |
| LOW | sway-core/src/asm_generation/fuel/register_allocator.rs | 584 | // Step 1: Liveness Analysis. |
| LOW | sway-core/src/asm_generation/fuel/register_allocator.rs | 587 | // Step 2: Construct the interference graph. |
| LOW | sway-core/src/asm_generation/fuel/register_allocator.rs | 591 | // Step 3: Remove redundant MOVE instructions using the interference graph. |
| LOW | sway-core/src/asm_generation/fuel/register_allocator.rs | 595 | // Step 4: Simplify - i.e. color the interference graph and return a stack that contains |
| LOW | sway-core/src/asm_generation/fuel/register_allocator.rs | 659 | // Step 5: Use the stack to assign a register for each virtual register. |
| LOW | sway-core/src/asm_generation/fuel/register_allocator.rs | 661 | // Step 6: Update all instructions to use the resulting register pool. |
| LOW | sway-core/src/ir_generation/function.rs | 1825 | // Step 1: compile the user data and get its type |
| LOW | sway-core/src/ir_generation/function.rs | 1839 | // Step 2: build a struct with two fields: |
| LOW | sway-core/src/ir_generation/function.rs | 1846 | // Step 3: construct a local pointer for the message aggregate struct |
| LOW | sway-core/src/ir_generation/function.rs | 1861 | // Step 4: Convert the local variable into a value via `get_local`. |
| LOW | sway-core/src/ir_generation/function.rs | 1868 | // Step 5: Grab the message ID from `messages_types_map` and insert it as the |
| LOW | sway-core/src/ir_generation/function.rs | 1890 | // Step 6: Insert the user message data as the second field of the struct |
| LOW | sway-core/src/type_system/info.rs | 1558 | // TODO we need to check if this type has a custom AbiEncode impl or not |
| Severity | File | Line | Snippet |
|---|---|---|---|
| MEDIUM | forc/src/cli/commands/test.rs | 53 | /// Number of threads to utilize when running the tests. By default, this is the number of |
| MEDIUM | sway-core/src/asm_generation/from_ir.rs | 104 | Stack(u64), // Storage in the runtime stack starting at an absolute word offset. Essentially a global. |
| MEDIUM | sway-core/src/language/purity.rs | 6 | /// or could potentially access contract storage, it is [Purity::Impure]. If a function does not utilize any |
| MEDIUM | …ysis/ast_node/expression/match_expression/typed/mod.rs | 162 | //! Essentially, we have to extract the variables exactly from the variant that has matched. |
| MEDIUM | sway-ir/src/optimize/init_aggr_lowering.rs | 169 | // Essentially, we are treating the nested `init_aggr` as a root for the rest of the lowerin |
| Severity | File | Line | Snippet |
|---|---|---|---|
| LOW | …/test_programs/should_pass/storage_benchmarks/bench.sh | 6 | # Usage: |
| LOW | …t_programs/should_pass/storage_benchmarks/perf_diff.sh | 5 | # Usage: |
| LOW | …ms/should_pass/storage_benchmarks/bench_storage_vec.sh | 14 | # Usage: |
| LOW | …_pass/storage_benchmarks/generate_storage_vec_bench.sh | 5 | # Usage: |
| LOW | …rams/should_pass/storage_benchmarks/perf_diff_stats.sh | 5 | # Usage: |
| Severity | File | Line | Snippet |
|---|---|---|---|
| HIGH | …emantic_analysis/ast_node/declaration/auto_impl/mod.rs | 1 | //! This module contains common infrastructure for generating and parsing auto-generated code. |
| Severity | File | Line | Snippet |
|---|---|---|---|
| MEDIUM | update_fuel_dependencies.sh | 11 | # Define the list of fuel maintained crates |