PyExZ3

PyExZ3 copied to clipboard

Hello author, I'm wondering if an input of type 'list' or 'string' is not generated.

dwchoi95

jw-zhang-zju

path

1

Hello author, I want to get all the paths of a program separately, which part of the code should I use? Or do you have any other suggestions? Looking forward...

ddy-ddy

I run this command to test as instructed `python run_tests.py test` I got success in every test except `fp.py` and `bignum.py` Do you have any suggestions on what people should...

Barbariansyah

chadbrewbaker

tballmsft

[Feature Request] Add support for strings via Z3-str2

3

Whenever you get a chance, can you please add support for strings? I'm not sure how much work it would be but it would be quite nice :) It is...

KevinHock

Could you tell me why this has only 1 path?

4

``` python from symbolic.args import * @symbolic(a=0xdeaddeaddeaddead,b=0xbeefbeefbeefbeef) def expandKey(a,b): i=0; passkeyn=[a,b] expandedkey=[] while i>0x30)|(((v1>>0x20)&0xffff)0x10)&0xffff)0x20)&0xffff)0x10)&0xffff)0x30)|(((v5>>0x20)&0xffff)0x10)&0xffff) 39)0x30)|(((v6>>32)&0xffff)0x10)&0xffff) 39)

Rumata888

Before going into example I just want to emphesize that I have tinkered with the current code base to run it against the newest version of z3 (4.12.2) and python...

zajer