Search results

Malato2021ma

Status: Open.

#113 In eth-sri/securify;

· malato2021ma opened on Jan 31, 2022

Hanged on Solc Version 0.6.0

Status: Open.

#112 In eth-sri/securify;

· saarshah opened on Dec 28, 2019

Build fails with soufflev1.7+

Status: Open.

#111 In eth-sri/securify;

· conscott opened on Dec 18, 2019

Securify fails to detect the DAO reentrancy

Status: Open.

#106 In eth-sri/securify;

· montyly opened on May 28, 2019

Check for some unicode tricks

Some DayThis issue may be worked on some day in the distant futureThis issue may be worked on some day in the distant future

Status: Open.

#105 In eth-sri/securify;

· ritzdorf opened on May 20, 2019

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

Status: Open.

#102 In eth-sri/securify;

· fang19911030 opened on Apr 26, 2019

Accurate explanation of securify output

Status: Open.

#100 In eth-sri/securify;

· fang19911030 opened on Apr 6, 2019

can not build docker image on ubuntu 18.04

Status: Open.

#99 In eth-sri/securify;

· mengquanrun opened on Apr 3, 2019

Understand the output of Securify when analyzing runtime bin

Status: Open.

#98 In eth-sri/securify;

· ireneGP opened on Mar 30, 2019

UnrestrictedWrite for certain Authorization Patterns

BugSomething isn't workingSomething isn't working

EnhancementNew feature or requestNew feature or request

Some DayThis issue may be worked on some day in the distant futureThis issue may be worked on some day in the distant future

Status: Open.

#93 In eth-sri/securify;

· ritzdorf opened on Mar 5, 2019

Broken Dataflow

BugSomething isn't workingSomething isn't working

Status: Open.

#87 In eth-sri/securify;

· ritzdorf opened on Feb 8, 2019

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

BugSomething isn't workingSomething isn't working

Need InputInput needed to work on this issueInput needed to work on this issue

Status: Open.

#69 In eth-sri/securify;

· mihairaulea opened on Dec 6, 2018