It seems manul afl new path not increase on windows, but winafl can detected more path for same exe about manul HOT 14 CLOSED

can you provide an executable to test please?

from manul.

I find the issue root cause, it is caused by manul_utils.py save_content fd.flush() not actually write file content to disk, so the test case file content not updated, so manul cannot find new path.
I add os.fsync(fd) after fd.flush() desnot work either. I still haven't solved it now

I used python is python-3.7.6,
I see fd.flush have following comment:
Note flush() does not necessarily write the file’s data to disk. Use flush() followed by os.fsync() to ensure this behavior.
https://docs.python.org/2/library/stdtypes.html#file.flush

from manul.

Well, the doc relevant to python2 while you are running Python3, not sure if it helps at all. A simple test source code or binary would help.

from manul.

Sorry I paste python2 doc, The Python3 doc also have same request for fd.flush,
https://docs.python.org/3/library/os.html #search os.fsync

from manul.

I see, then it is definitely needed :)

from manul.

The manul still doesnot increase new path on windows 1903 after I fixed test case generate, I try test_gdiplus.exe in dbi_persistence_mode in manul, manul only detect 4 new path after long run, but winafl detect 11 new path shortly

My test environ:
Python 3.8.2 x86, DynamoRIO-Windows-7.91.18299-0
The test_gdiplus comes with winafl, I attched
test_gdiplus.zip

from manul.

The test bmp file attached
not_kitty.zip

from manul.

the client lib is gdiplus.dll,gdi32full.dll,GDI32.dll

from manul.

Correction: The windows 10 I tested is version 1909

from manul.

Thank you @chbest0102, It helps a lot. I will take a look what's going on today.

from manul.

I was able to reproduce that. Seems like manul doesn't receive everything from shared libraries.

from manul.

Nice to hear this, hope to fix it soon, thanks

from manul.

Fixed, Manul can explore paths at the same speed as winAFL.

from manul.

I tested this issue has been fixed, thanks

from manul.