List view

Support decoding & symbolically running Transaction data

featureNew feature or requestNew feature or request

Status: Open.

#12 In acuarica/evm;

· acuarica opened on Apr 10, 2023

Detect calls to Precompiled Contracts

featureNew feature or requestNew feature or request

Status: Open.

#10 In acuarica/evm;

· acuarica opened on Apr 10, 2023

Extract precise definition for <code>statemutability</code>

featureNew feature or requestNew feature or request

Status: Open.

#53 In acuarica/evm;

· acuarica opened on Nov 2, 2023

Extract precise function signature definitions

featureNew feature or requestNew feature or request

Status: Open.

#46 In acuarica/evm;

· acuarica opened on Jul 10, 2023

Implement structural analysis to detect high-level programming constructs

featureNew feature or requestNew feature or request

Status: Open.

#31 In acuarica/evm;

· acuarica opened on Apr 24, 2023

Validate <code>Type</code>s when parsing <code>function</code> signatures

featureNew feature or requestNew feature or request

Status: Open.

#8 In acuarica/evm;

· acuarica opened on Apr 6, 2023

Improve CFG's termination condition

Status: Open.

#32 In acuarica/evm;

· acuarica opened on Apr 24, 2023

Emit <code>codecopy</code> statement to enable Yul decompilation

bugSomething isn't workingSomething isn't working

Status: Open.

#57 In acuarica/evm;

· acuarica opened on Dec 26, 2023