Marius Muench

We don't have AvatarGDBConcrete Target in our repository. Perhaps you are using code from Symbion/Angr? In any case, from what I see, there's a mismatch and args you specify and...

Are you using the git version of avatar2, or the pypi one? I recall a significant API change in pygdbmi, which is integrated here in the git, but not on...

We currently don't have an active maintainer for the angr-target. Hence, it is out of date/based off an old version of angr. You can find the code in this branch:...

No, these are the targets of angr, which reimplement the avatar2 target API for interoperability. So, it's the way angr can talk with different software, e.g, avatar2 - and not...

Hi! Thanks for reporting! Indeed, we have changed our development over to docker, and rarely use the installer these days. I see two ways forward: 1) fixing the references and...

Hi, This is a problem of qemu, the underlying emulator, and I don't know how to fix this without further investigation either. Unfortunately, we are testing the build-scripts on Ubuntu...

Thanks for reporting. I will look into it, but are a little bit busy right now. As a workaround, you could use the pre-built Vagrantbox as workaround: `$ vagrant init...

Thanks a lot! Alternatively, I will look into it by myself _next_ weekend, sorry for the delay.

The vagrant box specified further up in the issue, or `avatar2/bar18_avatar2` should have working, but outdated installations. In that sense, having somewhere a "current" vm does for sure not hurt....

Thanks for dropping your notes! I will update our build-scripts on the next occasion and maybe add a small FAQ in the readme.md which also contains the solutions to the...