search

enzymefinance / oyente

An Analysis Tool for Smart Contracts
GNU General Public License v3.0
1.32k stars 311 forks source link

false recognition of library. #356

Open tagomaru opened 6 years ago

tagomaru commented 6 years ago

When solc output is like below, oyente recoginizes it is library.

// example ======= /root/work/tagomaru/truffle_project/MetaCoin/node_modules/zeppelin-solidity/contracts/ownership/Ownable.sol:Ownable ======= Binary: 6080604052348015610...

In this case, libs in liine 118 is '[u'project/MetaCoin/node']'.

Then, incorrectly steps into _link_libraries func and fails...

I added temporary variable 'noinfo_out ' which has no contract file info for re.findall.

CLAassistant commented 6 years ago

CLA assistant check
All committers have signed the CLA.