bird8693

LoopLimiter fails after angr merges path's code to sim_state: Fail code fragment: ``` pg = proj.factory.path_group(p) tech = angr.exploration_techniques.LoopLimiter(count = 3) pg.use_technique(tech) pg.explore() ``` Fail tested program: ``` #include int...

@ltfish . Thanks a lot for your help. I have changed the code and added a test case. All of them passed the tests. Please check it again. tyb0807's PR...

@ltfish for example: Fail code fragment: ``` pg = proj.factory.path_group(p) tech = angr.exploration_techniques.LoopLimiter(count = 3) pg.use_technique(tech) pg.explore() ``` Fail tested program: ``` #include int main(){ printf("helloworld\n"); printf("helloworld\n"); printf("helloworld\n"); printf("helloworld\n"); printf("helloworld\n");...

@ltfish ,it is passed.

- winafl-cmin debug mode ``` winafl-cmin.py: error: unrecognized arguments: -debug ``` - command line ``` 'python I:\\project\\cmin\\winafl\\winafl-cmin.py -D=I:\\project\\cmin\\DynamoRIO-Windows-7.1.0-1\\bin64 -t=100000 -i=I:\\project\\cmin\\virtual_machine\\seeds -o=I:\\project\\cmin\\virtual_machine\\minset -covtype=edge -coverage_module=PSCRIPT5.dll -target_module=PSCRIPT5.dll -target_method=fuzz -n args=2 -- C:\\Program Files\\Mozilla...

- about other than - It has been included under quotes - The module I want to fuzz is vary according the printer driver. And PSCRIPT5.dll is just a example....

When I use windbg to check the target function which is acutally called. What's more, the module is loaded in the middle rather than at application start point. How can...

@ifratric It runs correctly without `-c winafl.dll`. Just because this dll is not loaded at the start time? When are you going to fix this bug?

I've already tried it with `pscript5.dll`

@rhuanjl please check this 6642~6654