Tigran Avagyan
Tigran Avagyan
The CONTINUE node in the cfg now points to the IFLOOP node in case of a while and to the increment expression in case of a for
### Describe the issue: When I aliased a file, I cannot access its contracts using `alias.contract` notation ### Code example to reproduce the issue: ```solidity # a.sol pragma solidity 0.7.6;...
### Describe the issue: I have two somehow similar examples, in the first one I have the function on the high level call in function safeAdd. In the next example...
### Describe the issue: The addition of .type on the `r.type.type` causes another issue on the contract below. (I have removed the try block for a cleaner error message) https://github.com/crytic/slither/blame/e3dcf1ecd3e9de60da046de471c5663ab637993a/slither/slithir/convert.py#L1954C33-L1954C33...
### Describe the issue: For solidity version 0.4.23 the parsing doens't work properly for the code below. https://github.com/crytic/slither/blob/e3dcf1ecd3e9de60da046de471c5663ab637993a/slither/solc_parsing/solidity_types/type_parsing.py#L430 here `str(length) == '"12"'` instead of `'12'` ### Code example to reproduce...
### Describe the issue: The arguments of the call `g()` are not processed correctly. https://github.com/crytic/slither/blob/e3dcf1ecd3e9de60da046de471c5663ab637993a/slither/slithir/convert.py#L628 here python tries to find use operator `in` to check whether `using_for` has key `t`...
### Describe the issue: In the code below there is a call from function g to function f of the contract A. Slither gets the first argument of the call...
### Describe the issue: The contract name for the right expression `C c = new C();` is not str The way to get the actual contract name is to call...
https://github.com/gabrii/BrainFuckIDE/blob/ab75a17ab48fdd6fcdee25feab5064ea21e575e3/Scripts/Interpreter.gd#L7 variable scripts seems to be reserved by class Node. I tried to change it with _scripts everywhere and the program started. It wasn't working (run worked but stop and...
### Describe the issue: when I print the cfg, it gives an edge from node 1 to node 8 (from try head to b += 123) ### Code example to...