Josselin Feist

Hi @jacobrosenthal. Thank you for reporting this Did you run `npm install`? If so, can you share the codebase where this happens?

Hi @mrthankyou. There is an (undocumented) flag that might be useful for you: `--checklist`. This will create a markdown file with all the detector results. I improved the documentation of...

As we have an `end_loop` node in Slither's CFG, and there is no `goto`-like in Solidity, the only additional entry points for loop in the reverse CFG are going to...

`is_checked` is an attribute of the function, not the node or the IR, so it makes sense for the function to only consider the compiler version. However, node have their...

Another thing to do for the release: update the solc version detector, and document our process

Thanks @aranyadan

Hi @engn33r. Thank you for reporting this. We should add a flag to build this section build automatically for slither and crytic-compile

Good catch, thanks @jmhickman. It was merged with #1394

Hi @ismail-moazami. We do already support brownie. If slither does not work for you, could you share the codebase where it happens? In practice, slither looks for `brownie-config.json`, `brownie-config.yaml`, or...

I think the usage of the data dependency here: https://github.com/crytic/slither/blob/191d6d4e661cd14c715f0f7b86593b69037322c3/slither/detectors/operations/missing_zero_address_validation.py#L81-L82 Will lead to miss TP. For example the following code: ```solidity contract C{ address owner; modifier onlyOwner(){ require(msg.sender == owner);...