Code

add tx.gasprice to generic taints#1769

Code

Merged

0xalpharush merged 2 commits intodevcrytic/slither:devfrom add-generic-taintcrytic/slither:add-generic-taintCopy head branch name to clipboardMay 12, 2023

+1

Commits

Commits on Mar 17, 2023

• add tx.gasprice to generic taints

  0xalpharush

  authored
  0ff95eb

Commits on May 6, 2023

• Merge branch 'dev' into add-generic-taint

  0xalpharush

  committed
  90a5977