acuarica evm issues - Githubissues

acuarica / evm

A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.

https://acuarica.github.io/evm/

MIT License

46 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Introduce `Memory` class to represent context memory

#130 acuarica closed 12 hours ago
2
Fix `RangeError: Maximum BigInt size exceeded` in `Exp`

#129 acuarica opened 1 day ago
1
Fix `Exp`'s arithmetic `eval` when result exceeds `2^256`

#128 acuarica closed 1 day ago
2
Fix `Shl`'s `eval` arithmetic when result is larger than `2^256`

#127 acuarica closed 2 days ago
1
Improve `4byte`'s `patch` method documentation

#126 acuarica closed 3 days ago
2
Error: Val is a not a valid unsigned 256-word on some contracts

#125 cdump closed 2 days ago
4
Support to specify `--rpc-url` flag using env var `SEVM_RPC_URL`

#124 acuarica closed 5 days ago
2
Add tests for more CLI commands

#123 acuarica closed 5 days ago
1
Add `--rpc-url` CLI flag to specify the network provider

#122 acuarica closed 6 days ago
1
Add `--no-cache` flag to CLI to disable contract and ABI cache

#121 acuarica closed 6 days ago
1
Reenable skipped metadata CBOR tests

#120 acuarica closed 6 days ago
1
Update `action-coverage-report-md` action to use Node 20

#119 acuarica closed 6 days ago
1
Update `ethers.js` to `6.13.1`

#118 acuarica closed 6 days ago
1
Bump braces from 3.0.2 to 3.0.3

#117 dependabot[bot] closed 6 days ago
0
Improve CLI usage help to read bytecode from `stdin` when `<contract>` is `-`

#116 acuarica closed 1 month ago
2
Bump follow-redirects from 1.15.5 to 1.15.6

#115 dependabot[bot] closed 1 month ago
0
Include bin provider test

#114 acuarica closed 4 months ago
2
Add bin tests for more commands

#113 acuarica closed 4 months ago
2
Improve error message when `4byte` request fails

#112 acuarica closed 4 months ago
2
Fix workflow

#111 acuarica closed 4 months ago
1
Embed `cbor-js` decoder to avoid including its encoder

#110 acuarica closed 4 months ago
1
Use `yml` as extension for GH workflows and release config

#109 acuarica closed 4 months ago
1
Include size limit validation

#108 acuarica closed 4 months ago
0
Bump follow-redirects from 1.15.2 to 1.15.5

#107 dependabot[bot] closed 4 months ago
0
Improve function signature parsing when converting to Solidity

#106 acuarica closed 4 months ago
0
Include argument name in Yul function signatures

#105 acuarica closed 4 months ago
0
Support to decode `revert` selector name

#104 acuarica closed 4 months ago
1
Support to detect `assert` with selector `Panic(uint256)`

#103 acuarica closed 4 months ago
0
Separate `selector` from rest `args` in `Revert`

#102 acuarica closed 4 months ago
0
Support to parse function signatures used to compute selectors

#101 acuarica closed 4 months ago
0
Replace `ethers` CLI dependency with custom provider and `js-sha3`

#100 acuarica closed 4 months ago
0
Avoid loading from memory with large `size` when creating `Log`

#99 acuarica closed 4 months ago
0
Include `--patch/--no-patch` option in `sevm` CLI to let the user choose when to patch contract

#98 acuarica closed 4 months ago
0
Use `4byte` to patch function and event signatures in CLI

#97 acuarica closed 4 months ago
0
Fix `4byte` `patch` when some of the selectors were not found

#96 acuarica closed 4 months ago
0
Display all selectors in `abi` command, even when not found in `4bytedb`

#95 acuarica closed 5 months ago
0
Conditional expression serialization based on its size

#94 acuarica closed 5 months ago
1
Implement EIP-5656: `MCOPY` - Memory copying instruction

#93 acuarica opened 5 months ago
0
Implement EIP-7516: `BLOBBASEFEE` opcode

#92 acuarica opened 5 months ago
0
Implement EIP-1153: Transient storage opcodes (`TLOAD`&`TSTORE`)

#91 acuarica opened 5 months ago
0
Include support for Cancun fork

#90 acuarica opened 5 months ago
0
OOM for huge bytecodes

#89 egorvas closed 4 months ago
5
Decode `revert` (and `require`) error messages when error selector is `Error(string)`

#88 acuarica closed 5 months ago
0
Use `IsZero` instead of `Not` when building the AST

#87 acuarica closed 5 months ago
0
Support to detect function selectors when it's compared using not `SUB` to the fallthrough branch

#86 acuarica closed 5 months ago
0
Add initial support to detect Vyper function selectors

#85 acuarica closed 5 months ago
0
Update jobs to Node 20

#84 acuarica closed 5 months ago
0
Implement 256-bit eval ADD

#83 acuarica closed 5 months ago
0
Support to follow `JUMP(I)` instructions where offset is an `And` expression

#82 acuarica closed 5 months ago
0
Make bytecode hex string parser stricter

#81 acuarica closed 5 months ago
0