eth-sri/securify

Issues

• can not build docker image on ubuntu 18.04

  #99 opened 5 years ago by mengquanrun
  2

• Problem about scanning bin.hex file

  #108 opened 2 years ago by Mitsuhamizu
  2

• Travis continuous integration is not activated

  #97 opened 3 years ago by hiqua
  0

• Some computeResultValues implementations may not consider whether the input should be considered as signed or unsigned

  #96 opened 3 years ago by hiqua
  0

• Unrestricted write conflicts

  #82 opened 3 years ago by hiqua
  0

• Add Javadoc to main classes / functions

  #37 opened 3 years ago by hiqua
  0

• Adopt style guide

  #64 opened 3 years ago by hiqua
  0

• Recent changes fixed the DecompilerFallback but not the Decompiler

  #60 opened 3 years ago by hiqua
  0

• StackOverflowError in contracts with a lot of statements

  #51 opened 3 years ago by hiqua
  0

• Test the absence of conflicts in the examples

  #39 opened 3 years ago by hiqua
  0

• Malato2021ma

  #113 opened 3 years ago by malato2021ma
  0

• Hanged on Solc Version 0.6.0

  #112 opened 5 years ago by saarshah
  0

• Build fails with soufflev1.7+

  #111 opened 5 years ago by conscott
  1

• resource mustExplicit not found

  #104 opened 5 years ago by izhimi0706
  0

• How many smart contract problems can Securify detect now?

  #109 opened 5 years ago by xf97
  2

• UnrestrictedWrite violation reported for unreachable code

  #107 opened 5 years ago by VeraBE
  2

• Securify fails to detect the DAO reentrancy

  #106 opened 5 years ago by montyly
  1

• Check for some unicode tricks

  #105 opened 5 years ago by ritzdorf
  0

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

  #102 opened 5 years ago by fang19911030
  0

• Accurate explanation of securify output

  #100 opened 5 years ago by fang19911030
  0

• Understand the output of Securify when analyzing runtime bin

  #98 opened 5 years ago by ireneGP
  8

• Add Constantinople Opcodes

  #94 opened 5 years ago by ritzdorf
  0

• Broken Dataflow

  #87 opened 6 years ago by ritzdorf
  8

• False positives for actions on a reverting branch

  #61 opened 6 years ago by ritzdorf
  4

• Errors in TODTransfer Pattern

  #45 opened 6 years ago by ritzdorf
  0

• Improve Memory Tagging

  #44 opened 6 years ago by ritzdorf
  0

• Docker image - couldn't give input path to run for.

  #79 opened 6 years ago by ahmetgul93
  5

• UnrestrictedWrite for certain Authorization Patterns

  #93 opened 6 years ago by ritzdorf
  0

• Test samples failed

  #92 opened 6 years ago by fang19911030
  4

• LockedEther is buggy

  #66 opened 6 years ago by hiqua
  2

• Error while compiling solidity v0.5.x contracts

  #88 opened 6 years ago by 0x3bfc
  0

• Java Error when `livestatusfile` is in a directory

  #85 opened 6 years ago by ritzdorf
  1

• Error when running Securify on bytecode hex file

  #80 opened 6 years ago by bishwascg
  8

• Report versioning

  #62 opened 6 years ago by hiqua
  2

• Add Soufflé binaries to .jar

  #83 opened 6 years ago by hiqua
  1

• Decompilation errors with some contracts

  #26 opened 6 years ago by hiqua
  7

• Handle filenames containing ':' correctly

  #65 opened 6 years ago by hiqua
  0

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

  #27 opened 6 years ago by kaisert
  1

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

  #69 opened 6 years ago by mihairaulea
  27

• Decompilation Error with --truffle

  #75 opened 6 years ago by TlxTejaswi
  17

• Add alternative to specify solc binary manually.

  #76 opened 6 years ago by mattaereal
  1

• Feature request: let the user specify PATTERN_TIMEOUT

  #73 opened 6 years ago by ggrieco-tob
  3

• Add end-to-end tests for popular projects

  #47 opened 6 years ago by MatthiasEgli-chainsecurity
  0

• Output json report to stdout with -fh

  #48 opened 6 years ago by kaisert
  2

• Add souffle compilation to docker build phase

  #46 opened 6 years ago by MatthiasEgli-chainsecurity
  6

• Cache gradle installation when building the docker image

  #54 opened 6 years ago by hiqua
  2

• Crash when not using default solc version

  #49 opened 6 years ago by f4z3r
  1

• Mention errors in the json output

  #29 opened 6 years ago by hiqua
  0

• Vulnerabilities detected by Securify

  #33 opened 6 years ago by TlxTejaswi
  2

• Docker image does not run

  #31 opened 6 years ago by mds1
  7