use bundled compiler to get CI to pass

crytic · Sep 25, 2023 · 16f84a9 · 16f84a9
1 parent bad11ba
commit 16f84a9
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 0 deletions.
diff --git a/tests/snapshots/integration_tests__detectors@controlled_library_call.cairo.snap b/tests/snapshots/integration_tests__detectors@controlled_library_call.cairo.snap
@@ -10,4 +10,10 @@ input_file: tests/detectors/controlled_library_call.cairo
         confidence: Medium,
         message: "Library call to user controlled class hash in controlled_library_call::controlled_library_call::TestContract::bad1\n function_call<user@controlled_library_call::controlled_library_call::IAnotherContractLibraryDispatcherImpl::foo>([11], [12], [13], [14], [15]) -> ([7], [8], [9], [10])",
     },
+    Result {
+        impact: High,
+        name: "controlled-library-call",
+        confidence: Medium,
+        message: "Library call to user controlled class hash in controlled_library_call::controlled_library_call::TestContract::internal_lib_call\n function_call<user@controlled_library_call::controlled_library_call::IAnotherContractLibraryDispatcherImpl::foo>([10], [11], [12], [13], [14]) -> ([6], [7], [8], [9])",
+    },
 ]
diff --git a/tests/snapshots/integration_tests__detectors@dead_code.cairo.snap b/tests/snapshots/integration_tests__detectors@dead_code.cairo.snap
@@ -10,4 +10,16 @@ input_file: tests/detectors/dead_code.cairo
         confidence: Medium,
         message: "The function dead_code::dead_code::DeadCode::add_1 uses the felt252 operation felt252_add([0], [1]) -> ([2]), which is not overflow/underflow safe",
     },
+    Result {
+        impact: Medium,
+        name: "felt252-unsafe-arithmetic",
+        confidence: Medium,
+        message: "The function dead_code::dead_code::DeadCode::add_2 uses the felt252 operation felt252_add([0], [1]) -> ([2]), which is not overflow/underflow safe",
+    },
+    Result {
+        impact: Low,
+        name: "dead-code",
+        confidence: Medium,
+        message: "Function add_2 defined in dead_code::dead_code::DeadCode is never used",
+    },
 ]
diff --git a/tests/snapshots/integration_tests__detectors@unused_arguments.cairo.snap b/tests/snapshots/integration_tests__detectors@unused_arguments.cairo.snap
@@ -4,10 +4,22 @@ expression: results
 input_file: tests/detectors/unused_arguments.cairo
 ---
 [
+    Result {
+        impact: Low,
+        name: "unused-arguments",
+        confidence: Medium,
+        message: "The 2nd argument in unused_arguments::unused_arguments::UnusedArguments::unused_2 is never used",
+    },
     Result {
         impact: Low,
         name: "unused-arguments",
         confidence: Medium,
         message: "The 3rd argument in unused_arguments::unused_arguments::UnusedArguments::unused_1 is never used",
     },
+    Result {
+        impact: Low,
+        name: "unused-arguments",
+        confidence: Medium,
+        message: "The 3rd argument in unused_arguments::unused_arguments::UnusedArguments::unused_2 is never used",
+    },
 ]