How to use the oyente to batch test smart contracts？

enzymefinance / oyente

An Analysis Tool for Smart Contracts

GNU General Public License v3.0

1.32k stars 310 forks source link

How to use the oyente to batch test smart contracts？ #426

Open simin98 opened 3 years ago

simin98 commented 3 years ago

i have a number of different versions of smart contracts,and i want to use the oyente to detect them. but using solc-select to switch the solc version one by one is inefficient. Most results are like this So how can i do?

161424 commented 2 years ago

有结果了吗？

gsalzer commented 2 years ago

Consider using Smartbugs. This frameworks allows to run a bunch of contract analyzers, among them Oyente, and is also able to select the correct compiler version before calling the analyzer. Smartbugs was designed with mass tests in mind.