root 96 Posted January 17, 2019 Share Posted January 17, 2019 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 1 1 Link to post
rdohmen 0 Posted January 27 Share Posted January 27 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? Link to post
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now