degrigis
degrigis
As pointed out by @disconnect3d in the discussion of PR #280: we should probably register command name in some global set and check for its existence in the system after...
In reference to the issue opened [here](https://github.com/SRI-CSL/yices2_python_bindings/issues/5), would it be feasible to implement an API to FULLY clone a `Context`? (e.g., no need to re-assert formulas from scratch, etc...) Ideally,...
Added the command "got" used to retrieve fastly the state of the GOT table. It works for 32 and 64 binaries and also for PIE programs. Example 64 bit -...
The flag ``--balance`` doesn not correctly set the custom_balance when simulating a new transaction POC: ``` ethdbg --block 19000000 --sender 0xaaA4a5495988E18c036436953AC87aadEa074550 --balance 1000000000000000000000000000000000000 --target 0x786bF554473f9aB733Fd683C528212492A23D895 ```
TAC_BaseCall should modify state.returndata["data"] and take into account the modification of memory at the retOffset
Whenever we use the partial concrete storage, an SSTORE to a symbolic slot ID (e.g., X) can potentially overwrite a value previously loaded from the blockchain at a concrete slot...
Whenever the parameters for an external call are fully concrete, we should integrate the possibility of leveraging `py-evm` to perform that call and import the results inside`greed`. NOTE: We should...