search

illera88 / Ponce

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
https://docs.idaponce.com
Other
1.48k stars 72 forks source link

Use the libz3 static library #1

Closed 0ca closed 8 years ago

0ca commented 8 years ago

Right now I am using the dynamic library from Z3. So all the project is static except for this dll. You need to put the libz3.dll in the IDA directory to load the plugin properly.

We did it this in the past but I don't remember very well how.

illera88 commented 8 years ago

Fixed in https://github.com/illera88/PonceProject/commit/6988a93695d10956f5d848a3e6fb32f7eca81df3 and https://github.com/illera88/PonceProject/commit/1c7672bb97b1f79566bb9ac70827b866169bed23 .

Now we can build static and dynamic simply changing the option in the VS project