Duckki Oe

This is a ERC20 version of locked-ether problem, where a contract has a payable function, but does not implement a way to withdraw.

Thanks, @Amxx . It makes sense. Can you point me to a documentation encouraging such a preventive measure? So, I can refer to. Otherwise, feel free to close this github...

Can we merge this? I have a fix for `continue` (https://github.com/crytic/slither/pull/1651), but I'll need to rebase.

This is a duplicate of https://github.com/crytic/slither/issues/435.

Thanks for suggestion. I didn't know `--extra-pip-args`. I updated pipenv to version `2023.6.12` and ran `pipenv install --editable . --extra-pip-args="--config-settings editable_mode=strict"` It finished without an error. However, the "editable_mode=strict" was...

I tried: `pipenv install --editable --extra-pip-args="--config-settings=editable_mode=strict"` It finished to completion. But, `editable_mode=strict` wasn't effective. Also, the Pipfile didn't change, either.

This is something I want as well. My use case is when I start to read an existing codebase and want to identify the "leaves" of dependency forest. "owns" relationship...

This seems related to https://github.com/regexident/cargo-modules/issues/265.

This is a regression in slither 0.8.2. 0.8.1 does not have this issue. Unfortunately, it breaks my use case.

Here's my suggested patch: ``` diff --git a/crytic_compile/crytic_compile.py b/crytic_compile/crytic_compile.py index cb3506e..67d8527 100644 --- a/crytic_compile/crytic_compile.py +++ b/crytic_compile/crytic_compile.py @@ -187,7 +187,7 @@ class CryticCompile: """ if isinstance(self.platform, Truffle) and filename.startswith("project:/"): - filename...