[Clarification] Getting exception when trying to execute "Maian" via smartbug

[Sandaru Kandage]

Hi there,
I tried executing the following command
python3 smartBugs.py --tool maian --file dataset/reentrancy/simple_dao.sol

But I am getting the following exception. my docker is running perfectly, i suspect if there is an issue with the image. Or Am i doing something wrong?

Thanks!
Sandkan

[Lim Chee Kin]

I'm having the same error when running smartbugs in GitHub Actions.
It is running fine 2 weeks ago.

[Thomas Durieux]

We are working on a new version of smartbugs that is also working with bytecode analysis. We recently updated the image but did not push the changes to the main branch. The code in the bytecode branch should work properly.

(cc @jff)

[Joao F. Ferreira]

Hi @sandkan and @limcheekin , thanks for reporting this. As @tdurieux explained, we updated the docker image, since we are in the process of releasing a new version of Smartbugs. As a temporary workaround, you can replace the file config/tools/maian.yaml with this one https://github.com/smartbugs/smartbugs/blob/bytecode/config/tools/maian.yaml

If the problem persists, please let us know.

[Lim Chee Kin]

Thanks for quick response. Any doc for new features of the new version of Smartbugs?

[Gernot Salzer]

The issue should be resolved now. We updated Maian as well as the docker images for it.