Search results

Fix encoding of fixed-size arrays

bugSomething isn't workingSomething isn't working

Status: Open.

#43 In ConsenSysDiligence/sol2maruir;

· blitz-1306 opened on Oct 4, 2023

·  

Zero Test Case Failures

Support SSA

Status: Open.

#39 In ConsenSysDiligence/sol2maruir;

· cd1m0 opened on Oct 3, 2023

·  

Ready for low-level analysis

All IR nodes should have a valid source

Status: Open.

#38 In ConsenSysDiligence/sol2maruir;

· cd1m0 opened on Oct 3, 2023

·  

Ready for Solidity-level Analyses

Fix failures in index access to a type conversion

Status: Open.

#28 In ConsenSysDiligence/sol2maruir;

· blitz-1306 opened on Apr 20, 2023

·  

Zero Test Case Failures

Fix failures in testOperatorsOnBitTypes() of binary operations sample

Status: Open.

#27 In ConsenSysDiligence/sol2maruir;

· blitz-1306 opened on Apr 20, 2023

·  

Ready for Solidity-level Analyses

Need to throw a panic when non-payable method receive value

Status: Open.

#26 In ConsenSysDiligence/sol2maruir;

· cd1m0 opened on Apr 18, 2023

·  

Zero Test Case Failures

Reduce the number of *_build_msg_data, *_decode_msg_data and *_return_msg_data emitted for inheritance

Status: Open.

#11 In ConsenSysDiligence/sol2maruir;

· cd1m0 opened on Mar 15, 2023

·  

Zero Test Case Failures

Revise abiTypeStringToTypeNode() and toWeb3Value()

Status: Open.

#6 In ConsenSysDiligence/sol2maruir;

· blitz-1306 opened on Feb 15, 2023

Revise ExpressionCompiler.decodeCall()

Status: Open.

#5 In ConsenSysDiligence/sol2maruir;

· blitz-1306 opened on Feb 15, 2023

Fix abort at the end of dispatch bodies

Status: Open.

#1 In ConsenSysDiligence/sol2maruir;

· cd1m0 opened on Jan 31, 2023