Merge pull request #1488 from crytic/ssa-copy

copy event arguments during ssa conversion
pull/1510/head
Feist Josselin 2 years ago committed by GitHub
commit 5314d7653a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      slither/slithir/utils/ssa.py

@ -690,7 +690,9 @@ def copy_ir(ir, *instances):
return Delete(lvalue, variable)
if isinstance(ir, EventCall):
name = ir.name
return EventCall(name)
new_ir = EventCall(name)
new_ir.arguments = get_arguments(ir, *instances)
return new_ir
if isinstance(ir, HighLevelCall): # include LibraryCall
destination = get_variable(ir, lambda x: x.destination, *instances)
function_name = ir.function_name

Loading…
Cancel
Save