Posted January 17, 20196 yr https://github.com/Pigrecos/Z34Delphi My new repository for using Z3 in delphi(porting z3 c api to delphi). I tried and there were no tools for symbolic execution in delphi
January 27, 20214 yr Hi, I have two questions: question 1: I tried to compile z3_delphi in the testfolder in Delphi 10.3.3 Community Edition. This gives the errormessage: Unit 'capstone' not found. Do I need to add a 'capstone' package? question 2: Is there a way to use z34delpi in Lazarus?
March 28, 20214 yr Author On 1/27/2021 at 11:17 PM, rdohmen said: Hi, I have two questions: question 1: I tried to compile z3_delphi in the testfolder in Delphi 10.3.3 Community Edition. This gives the errormessage: Unit 'capstone' not found. Do I need to add a 'capstone' package? question 2: Is there a way to use z34delpi in Lazarus? 1. If you want to try the library capstone is not essential (used for tests with opaque predicates), the library is still available here https://github.com/Pigrecos/Capstone4Delphi 2.I have not tried but with small adjustments (which unfortunately I do not have the time to do ...) it is certainly possible and quite simple (it is always pascal)
Create an account or sign in to comment