Search results

is this project dead? only support solidity <= 6.0?

Status: Open.

#44 In eth-sri/securify2;

· sg552 opened on Dec 19, 2023

Question: Is the tool unable to analyze bytecode?

Status: Open.

#42 In eth-sri/securify2;

· lwy0518 opened on Feb 12, 2023

Use Local Memory Type Variable Instead of Global Storage Type Variable in Event to Save Gas

Status: Open.

#40 In eth-sri/securify2;

· HighBe opened on Aug 18, 2022

Error: Atom's argument type is not a subtype of its declared type

Status: Open.

#39 In eth-sri/securify2;

· shmichael opened on Jul 12, 2022

Need reformations and cleaning of the code

Status: Open.

#38 In eth-sri/securify2;

· dheerajrp opened on May 25, 2022

Securify Grammar Error

Status: Open.

#37 In eth-sri/securify2;

· MichMassetti opened on Apr 4, 2022

Got KeyError: StateVariableLoad when analyzing contracts

Status: Open.

#36 In eth-sri/securify2;

· Troublor opened on Feb 27, 2022

Error during testContract.sol analyzing

Status: Open.

#35 In eth-sri/securify2;

· beksaev opened on Feb 8, 2022

error that tells "File not found"

Status: Open.

#34 In eth-sri/securify2;

· ProgramFilesx86 opened on Jan 25, 2022

Error on check sol with docker

Status: Open.

#33 In eth-sri/securify2;

· vKolerts opened on Jan 25, 2022

When I use security --list the following error occurred

Status: Open.

#31 In eth-sri/securify2;

· xiaosong-gif opened on Jan 5, 2022

When does it support 0.8 0 version?

Status: Open.

#30 In eth-sri/securify2;

· coinsccg opened on Dec 13, 2021