You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 2, 2023. It is now read-only.
This is because I couldn't find a good DBT that supports libz3.
I tried DynamoRIO, too. But failed.
I also wanted to use other DBT, not old PIN, but had no choice when I started to develop this.
This might be not the right place to ask this - why Pin? and why such a very old version that is not suited for modern kernels and x64?
DynamoRio is about 10x faster, but yes, it takes longer to code the same functionality.
The text was updated successfully, but these errors were encountered: