Search results

Very high memory usage

Status: Open.

#41 In ucsb-seclab/greed;

· iowaguy opened on Oct 16, 2025

TLOAD/TSTORE need attention

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#35 In ucsb-seclab/greed;

· degrigis opened on Apr 9, 2025

Partial Concrete Storage precision

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In ucsb-seclab/greed;

· degrigis opened on Jan 4, 2024

implement dynamic bounding strategy for calldata bytes that represent a "size" or "pointer"

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In ucsb-seclab/greed;

· ruaronicola opened on Feb 28, 2023

concrete memset and memcopy should behave like multiple STORES and not create a new lambda memory layer

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In ucsb-seclab/greed;

· ruaronicola opened on Feb 28, 2023

keep solver state in the "right" branch

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In ucsb-seclab/greed;

· ruaronicola opened on Feb 28, 2023

TAC_BaseCall should modify state.returndata["data

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In ucsb-seclab/greed;

· degrigis opened on Feb 27, 2023

Integrate Interleaved Symbolic Execution for external interactions

enhancementNew feature or requestNew feature or request

Status: Open.

#1 In ucsb-seclab/greed;

· degrigis opened on Feb 27, 2023