How to use the oyente to batch test smart contracts？

[simin98]

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]

有结果了吗？

[gsalzer]

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.