fix: ic0.call_new and ic0.call_on_cleanup do not validate callback (#318

)
dfinity · Jun 21, 2024 · 2f49b0e · 2f49b0e
1 parent 1b369a3
commit 2f49b0e
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/spec/index.md b/spec/index.md
@@ -6867,12 +6867,6 @@ ic0.call_new<es>(
  callee := copy_from_canister<es>(callee_src, callee_size);
  method_name := copy_from_canister<es>(name_src, name_size);
 
- if reply_fun > |es.wasm_state.store.table| then Trap {cycles_used = es.cycles_used;}
- if typeof(es.wasm_state.store.table[reply_fun]) ≠ func (anyref, i32) -> () then Trap {cycles_used = es.cycles_used;}
-
- if reject_fun > |es.wasm_state.store.table| then Trap {cycles_used = es.cycles_used;}
- if typeof(es.wasm_state.store.table[reject_fun]) ≠ func (anyref, i32) -> () then Trap {cycles_used = es.cycles_used;}
-
  es.pending_call = MethodCall {
  callee = callee;
  method_name = callee;
@@ -6887,8 +6881,6 @@ ic0.call_new<es>(
 
 ic0.call_on_cleanup<es> (fun : i32, env : i32) =
  if es.context ∉ {U, CQ, Ry, Rt, CRy, CRt, T} then Trap {cycles_used = es.cycles_used;}
- if fun > |es.wasm_state.store.table| then Trap {cycles_used = es.cycles_used;}
- if typeof(es.wasm_state.store.table[fun]) ≠ func (anyref, i32) -> () then Trap {cycles_used = es.cycles_used;}
  if es.pending_call = NoPendingCall then Trap {cycles_used = es.cycles_used;}
  if es.pending_call.callback.on_cleanup ≠ NoClosure then Trap {cycles_used = es.cycles_used;}
  es.pending_call.callback.on_cleanup := Closure { fun = fun; env = env}