Bugfix in bitwise operations, improvements on abstract memory domain#52

Merged

VincenzoArceri merged 98 commits intomasterfrom

counting-update

May 28, 2025

Commits on Dec 10, 2024

updates to counting mechanism
lucaneg
committed

Commits on Dec 13, 2024

Merge remote-tracking branch 'origin/reentrancy-checker' into counting-update
lucaneg
committed

Commits on Dec 16, 2024

Commits on May 9, 2025

Removing JUMPI assume semantics, refactoring JumpSolver class
VincenzoArceri
committed
Print stack trace during execution
VincenzoArceri
committed
Fixing lubAux of AbstractMemory
VincenzoArceri
committed
Fixing max memory size
VincenzoArceri
committed
Removed logging statements from shutdown method in EVMLiSAExecutor.
merendamattia
committed
Refactored memory handling in AbstractMemory to enforce max memory size limits.
merendamattia
committed
Added warnings for negative offsets in memory operations.
merendamattia
committed
Updated mstore methods in AbstractMemory to return TOP for invalid offsets.
merendamattia
committed
Added type check for memory offset in EVMAbstractState to ensure only integer offsets are processed.
merendamattia
committed
Minor refactoring, apply spotless
VincenzoArceri
committed

Commits on May 10, 2025

Commits on May 11, 2025

Commits on May 12, 2025

Commits on May 13, 2025

Commits on May 14, 2025

Commits on May 20, 2025

propagating top and bottom stacks in abstract state
lucaneg
committed

Commits on May 21, 2025

Commits on May 28, 2025