feliam
feliam
Autotool plugin ignores Boost related dependencies
KLEE. Implement the most basic optimizations like the ones yo can find in a compiler: e.g., simple arithmetic simplifications (x + 0 = x), strength reduction (x * 2n =...
Add evm.gas configuration constant/variable/thing to control how to account gas. For example "static" will ignore all dynamic calculated fees. (This is different from evm.oog. The latter controls how and when...
User wants a way to configure manticore to avoid any cost related to calculating gas values. The gas value must be completely ignored everywhere it may impose any slowdown. For...
* Added a metaclass magic to compile the `__slots__` from parent classes automatically-ish. (xslots) * Refactored Expression constructor arguments to be all kwargs based as suggested by the "Super Considered...
We need to add support for `CREATE2` opcode added in Constantinople fork. More detailed information can be found here: https://eips.ethereum.org/EIPS/eip-1014 Things that needs to be done: * [ ] Add...
Add symbolic friendly implementation of evm.EXP instruction. Experimental: add configurable option to enable unsound symbolication for EXP instruction
Rather than stopping when the last tx has not uncovered any new code at any of the explored states. Stop when each state in its own did not find any...
The Solc Compiler does not help checking that the arguments used in when building the transaction calldata with encodeWhitSelector matches the target function. This detector look for miss-matching encodeWithSelector arguments...