Michael Rodler

https://github.com/AirbusCyber/grap

add patchkit

2

https://github.com/lunixbochs/patchkit Problem is it depends on the keystone, capstone, unicorn triad all from git. Should we install those generically and set LD_LIBRARY_PATH so that all other tools can use it,...

Increased size of cs_isn.bytes to 33 to be able to hold big EVM instructions

12

The EVM arch has a couple of really big instructions, with the biggest one being `PUSH32` (with 33 bytes size). Currently `cs_inst` can only hold 16 bytes of raw instruction...

Incomplete EVM Support

1

I'd like to point out several issues with supporting the EVM architecture. Currently, EVM support is kind of incomplete; couple of things I noticed: * Missing/wrong instructions: * byte `0xf5...

### Summary of the problem A bit of an exotic issue, but I wanted to try using pypy + multiprocessing to speed up analysis time of manticore-verifier on a smart...

Currently there is a possible infinite loop when multiple swarm hashes are in the bytecode. I think the Problem is in [evm.py#L373](https://github.com/crytic/ethersplay/blob/master/ethersplay/evm.py#L373) Currently the line is: ```python offset = data[offset+1:].find(b'\xa1ebzzr0')...

I added a basic fuzzing harness to support fuzzing the decoder with `cargo fuzz`. After a small fuzzing run this uncovered another issue in the new decoder of v14. Similar...

import solc versions installed via solc-select

2

### What I did Search the path used by `solc-select` for solidity versions to import. Related issue: #122 ### How I did it glob `~/.solc-select/artifacts` for installed solc binaries. ###...

### What I did So my original issue was that running `which` without stderr being redirected to `/dev/null` results in an ugly error message, when running solcx on a new...

It is always nice to ship with an easy way to install and setup projects. Since I had to do it anyway for myself, I thought I'd share: I added...