Mojtaba Eshghie

I added SWC-137 related to the shadowing of local variables of the function (memory variables) by the named return variables. This very probable weakness is also reported wrongly by the...

[Bug-Candidate]: Function-local (memory) variable shadowing not detected by Slither

2

### Describe the issue: In solidity, it is possible to specify the name of the returned variable from the function as well as its value type. The presence of this...

Could you make a release?

2

Hi, We are using your rules for scientific work and need to perhaps refer to release version of the rules. Could you please create a release so that we can...

Hi, Your suggested tool for AST_Diff in its README.md file is: ``` sif -v TypeOfFault -a contract_name.ast -j contract_name.json -b contract_name2.ast -k contract_name2.json ``` However, it seems that `-b` and...

Usage instructions are slightly defective (at README.md)

1

Hi, The extract code commands don't work: ```sh (base) mojtabaeshghie@mojtabaeshghie-mbp teether % python bin/extract_contract_code.py test.code > test.contract.code WARNING:root:No CODECOPY in this contract!! Traceback (most recent call last): File "bin/extract_contract_code.py", line...

The current implementation of `lib/monitor/watchpost.js` works; however, it would enjoy a more efficient way too.

Monitor Literature, Tools, Materials

9

GETH Tracing [GETH Basic traces](https://geth.ethereum.org/docs/developers/evm-tracing/basic-traces) [Built-in tracers](https://geth.ethereum.org/docs/developers/evm-tracing/built-in-tracers) [Custom EVM tracer](https://geth.ethereum.org/docs/developers/evm-tracing/custom-tracer)

We would like to have Forge as an environment as it provides the execution. This environment doesn't require tests/exploit integration as it is done by Forge itself. We need to...