Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

when one contract import others, the tool will fail #4

Open
smartcontract-detect-yzu opened this issue Feb 21, 2023 · 2 comments
Open

when one contract import others, the tool will fail #4

smartcontract-detect-yzu opened this issue Feb 21, 2023 · 2 comments

Comments

@smartcontract-detect-yzu
Copy link

INFO] | 2023-02-21 05:19:38 AM | analyzer.UnipilotActiveVault | Version constraints: ['0.7.6']
[INFO] | 2023-02-21 05:19:38 AM | analyzer.UnipilotActiveVault | solc version: v0.7.6
[INFO] | 2023-02-21 05:19:40 AM | analyzer.UnipilotActiveVault | Callgraph generation started!
[INFO] | 2023-02-21 05:19:40 AM | analyzer.UnipilotActiveVault | Callgraph generation finished!
[INFO] | 2023-02-21 05:19:40 AM | analyzer.UnipilotActiveVault | Interprocedural CFG generation started!
[#] Interprocedural CFG generation started for modifier onlyGovernance
Traceback (most recent call last):
File "contractlint.py", line 77, in analyze_contracts
generated_icfg, icfg_objects = generate_icfg(slither_obj, callgraph, graph_dir, dump_graph, log)
File "/home/cj/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis/main_helper.py", line 394, in generate_icfg
modifier_cfg = ICFG(slither_obj, contract, modifier, callgraph, graph_dir, dump_graph, log)
File "/home/cj/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis/icfg.py", line 54, in init
self.setup()
File "/home/cj/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis/icfg.py", line 69, in setup
self.visit_nodes()
File "/home/cj/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis/icfg.py", line 159, in visit_nodes
vars_used = instr.used
AttributeError: 'Node' object has no attribute 'used'
cj@cj-YangTianM4000e-17:~/Work/work3/AST/docker_share/s
@dipanjan
Copy link
Member

Which contract did you try to analyze? What command line did you use?

@smartcontract-detect-yzu
Copy link
Author

like the contract at the address “0x6DEa6e642f7854575eBf6a6c23E43f905d3A2f29”
it contains 15 sol files, and i copy all sol files into sailfish-master/code/static_analysis/analysis as:
image

if i comile the contract utilize solc, it will be fine:
image

then utilize the cmd
python contractlint.py -c ShadowLoot.sol -o . -r range -p DAO,TOD -oo -sv cvc4
the whole output looks like:
cj@cj-YangTianM4000e-17:/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis$ python contractlint.py -c ShadowLoot.so l -o . -r range -p DAO,TOD -oo -sv cvc4
[#] Analysing started: ShadowLoot.sol
[INFO] | 2023-02-22 01:41:40 AM | analyzer.ShadowLoot | Analysis started at: 2023-02-22 01:41:40 AM
/home/cj/.solc-select/artifacts/solc-0.5.1
/home/cj/.solc-select/artifacts/solc-0.4.23
/home/cj/.solc-select/artifacts/solc-0.7.4
/home/cj/.solc-select/artifacts/solc-0.5.3
/home/cj/.solc-select/artifacts/solc-0.8.13
/home/cj/.solc-select/artifacts/solc-0.8.1
/home/cj/.solc-select/artifacts/solc-0.7.1
/home/cj/.solc-select/artifacts/solc-0.8.4
/home/cj/.solc-select/artifacts/solc-0.8.3
/home/cj/.solc-select/artifacts/solc-0.6.1
/home/cj/.solc-select/artifacts/solc-0.5.9
/home/cj/.solc-select/artifacts/solc-0.5.16
/home/cj/.solc-select/artifacts/solc-0.8.5
/home/cj/.solc-select/artifacts/solc-0.5.0
/home/cj/.solc-select/artifacts/solc-0.5.4
/home/cj/.solc-select/artifacts/solc-0.4.24
/home/cj/.solc-select/artifacts/solc-0.4.18
/home/cj/.solc-select/artifacts/solc-0.5.7
/home/cj/.solc-select/artifacts/solc-0.6.10
/home/cj/.solc-select/artifacts/solc-0.5.13
/home/cj/.solc-select/artifacts/solc-0.7.3
/home/cj/.solc-select/artifacts/solc-0.6.12
/home/cj/.solc-select/artifacts/solc-0.8.2
/home/cj/.solc-select/artifacts/solc-0.5.5
/home/cj/.solc-select/artifacts/solc-0.5.12
/home/cj/.solc-select/artifacts/solc-0.7.2
/home/cj/.solc-select/artifacts/solc-0.6.2
/home/cj/.solc-select/artifacts/solc-0.5.2
/home/cj/.solc-select/artifacts/solc-0.8.9
/home/cj/.solc-select/artifacts/solc-0.4.25
/home/cj/.solc-select/artifacts/solc-0.7.0
/home/cj/.solc-select/artifacts/solc-0.4.17
/home/cj/.solc-select/artifacts/solc-0.4.13
/home/cj/.solc-select/artifacts/solc-0.8.14
/home/cj/.solc-select/artifacts/solc-0.8.0
/home/cj/.solc-select/artifacts/solc-0.7.6
/home/cj/.solc-select/artifacts/solc-0.8.6
/home/cj/.solc-select/artifacts/solc-0.6.9
/home/cj/.solc-select/artifacts/solc-0.7.5
/home/cj/.solc-select/artifacts/solc-0.8.15
/home/cj/.solc-select/artifacts/solc-0.5.6
/home/cj/.solc-select/artifacts/solc-0.6.6
/home/cj/.solc-select/artifacts/solc-0.4.16
/home/cj/.solc-select/artifacts/solc-0.5.15
/home/cj/.solc-select/artifacts/solc-0.4.14
/home/cj/.solc-select/artifacts/solc-0.8.11
/home/cj/.solc-select/artifacts/solc-0.4.15
/home/cj/.solc-select/artifacts/solc-0.4.10
/home/cj/.solc-select/artifacts/solc-0.4.12
/home/cj/.solc-select/artifacts/solc-0.4.22
/home/cj/.solc-select/artifacts/solc-0.6.3
/home/cj/.solc-select/artifacts/solc-0.8.7
/home/cj/.solc-select/artifacts/solc-0.5.11
/home/cj/.solc-select/artifacts/solc-0.8.12
/home/cj/.solc-select/artifacts/solc-0.6.4
/home/cj/.solc-select/artifacts/solc-0.8.8
/home/cj/.solc-select/artifacts/solc-0.6.8
/home/cj/.solc-select/artifacts/solc-0.5.14
/home/cj/.solc-select/artifacts/solc-0.4.19
/home/cj/.solc-select/artifacts/solc-0.6.0
/home/cj/.solc-select/artifacts/solc-0.6.5
/home/cj/.solc-select/artifacts/solc-0.8.10
/home/cj/.solc-select/artifacts/solc-0.4.11
/home/cj/.solc-select/artifacts/solc-0.6.7
/home/cj/.solc-select/artifacts/solc-0.4.20
/home/cj/.solc-select/artifacts/solc-0.6.11
/home/cj/.solc-select/artifacts/solc-0.5.8
/home/cj/.solc-select/artifacts/solc-0.5.17
/home/cj/.solc-select/artifacts/solc-0.4.21
/home/cj/.solc-select/artifacts/solc-0.4.26
/home/cj/.solc-select/artifacts/solc-0.5.10
ANTLR runtime and generated code versions disagree: 4.9.2!=4.7.2
ANTLR runtime and generated code versions disagree: 4.9.2!=4.7.2
line 42:8 extraneous input 'payable' expecting {'', 'from', '{', '}', '(', 'for', 'function', '[', 'address', 'mapping', 'calldata', 'if', 'while', 'assembly', 'do', 'return', 'throw', 'emit', 'var', 'bool', 'string', 'byte', '++', '--', 'new', '+', '-', 'after', 'delete', '!', Int, Uint, Byte, Fixed, Ufixed, BooleanLiteral, DecimalNumber, HexNumber, HexLiteral, 'break', 'continue', Identifier, StringLiteral}
[INFO] | 2023-02-22 01:41:40 AM | analyzer.ShadowLoot | Version constraints: ['>=0.8.4']
[INFO] | 2023-02-22 01:41:40 AM | analyzer.ShadowLoot | solc version: v0.8.4
[INFO] | 2023-02-22 01:41:41 AM | analyzer.ShadowLoot | Callgraph generation started!
[INFO] | 2023-02-22 01:41:41 AM | analyzer.ShadowLoot | Callgraph generation finished!
[INFO] | 2023-02-22 01:41:41 AM | analyzer.ShadowLoot | Interprocedural CFG generation started!
[#] Interprocedural CFG generation started for modifier onlyOwner
Traceback (most recent call last):
File "contractlint.py", line 77, in analyze_contracts
generated_icfg, icfg_objects = generate_icfg(slither_obj, callgraph, graph_dir, dump_graph, log)
File "/home/cj/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis/main_helper.py", line 394, in generate_icfg
modifier_cfg = ICFG(slither_obj, contract, modifier, callgraph, graph_dir, dump_graph, log)
File "/home/cj/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis/icfg.py", line 54, in init
self.setup()
File "/home/cj/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis/icfg.py", line 69, in setup
self.visit_nodes()
File "/home/cj/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis/icfg.py", line 159, in visit_nodes
vars_used = instr.used
AttributeError: 'Node' object has no attribute 'used'
cj@cj-YangTianM4000e-17:~/Work/work3/AST/docker_share/sailfish-master/code/static_analysis/analysis$

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dipanjan @smartcontract-detect-yzu