Issues

• Malato2021ma

  eth-sri/securify#113 · Filter by author malato2021ma opened on Jan 31, 2022

• Hanged on Solc Version 0.6.0

  eth-sri/securify#112 · Filter by author saarshah opened on Dec 28, 2019

• Build fails with soufflev1.7+

  eth-sri/securify#111 · Filter by author conscott opened on Dec 18, 2019
  1

• Securify fails to detect the DAO reentrancy

  eth-sri/securify#106 · Filter by author montyly opened on May 28, 2019
  1

• Check for some unicode tricks

  Some Day
  eth-sri/securify#105 · Filter by author ritzdorf opened on May 20, 2019

• No violation reported for the test case "UnrestrictedEtherFlow.sol"

  eth-sri/securify#102 · Filter by author fang19911030 opened on Apr 26, 2019

• Accurate explanation of securify output

  eth-sri/securify#100 · Filter by author fang19911030 opened on Apr 6, 2019

• can not build docker image on ubuntu 18.04

  eth-sri/securify#99 · Filter by author mengquanrun opened on Apr 3, 2019
  2

• Understand the output of Securify when analyzing runtime bin

  eth-sri/securify#98 · Filter by author ireneGP opened on Mar 30, 2019
  8

• UnrestrictedWrite for certain Authorization Patterns

  BugEnhancementSome Day
  eth-sri/securify#93 · Filter by author ritzdorf opened on Mar 5, 2019

• Broken Dataflow

  Bug
  eth-sri/securify#87 · Filter by author ritzdorf opened on Feb 8, 2019
  8

• Running docker image outputs "Error running securify." on macOS

  BugNeed Input
  eth-sri/securify#69 · Filter by author mihairaulea opened on Dec 6, 2018
  27

• False positives for actions on a reverting branch

  BugSome Day
  eth-sri/securify#61 · Filter by author ritzdorf opened on Nov 27, 2018
  4

• Output json report to stdout with -fh

  EnhancementSome Day
  eth-sri/securify#48 · Filter by author kaisert opened on Nov 21, 2018
  2

• Errors in TODTransfer Pattern

  Bug
  eth-sri/securify#45 · Filter by author ritzdorf opened on Nov 20, 2018 · Sprint #2

• Improve Memory Tagging

  Bug
  eth-sri/securify#44 · Filter by author ritzdorf opened on Nov 19, 2018 · Sprint #2

• Vulnerabilities detected by Securify

  Documentation
  eth-sri/securify#33 · Filter by author TlxTejaswi opened on Nov 2, 2018
  2

• Line number is not correct when vulnerability occurs in helper routine

  Enhancementwontfix
  eth-sri/securify#27 · Filter by author kaisert opened on Oct 4, 2018
  1