Can't generate inputs for examples/fileio

[rmallof]

Hi!

First of all, thanks for mantaining this fantastic project !

I’m testing Manticore with examples/linux/fileio.c and I'm having a hard time to get generated cases from a symbolic file. Do you know any tutorial or have any pointers on it?

I created a file "symbolic.file" filled with some '+' wildcards. Next, running the following I get the logs below:

$ manticore fileio symbolic.file --file symbolic.file -v

2021-05-14 20:55:16,597: [3051] m.p.linux:DEBUG: symbolic.file file is considered symbolic
2021-05-14 20:55:16,603: [3051] m.p.linux:DEBUG: Found 0 free symbolic values on file symbolic.file
2021-05-14 20:55:16,603: [3051] m.p.linux:DEBUG: sys_open: Opening file symbolic.file for real file <manticore.platforms.linux.SymbolicFile object at 0x7fd4cda81550>
2021-05-14 20:55:16,604: [3051] m.p.platform:DEBUG: sys_openat(0xffffff9c, "symbolic.file", 0, 0) = 3
2021-05-14 20:55:16,810: [3051] m.p.platform:DEBUG: sys_newfstat(3, "Z") = 0
2021-05-14 20:55:16,971: [3051] m.p.platform:DEBUG: sys_read(3, 0x6be8e0, 0x1000) = 100
2021-05-14 20:55:20,119: [3051] m.p.platform:DEBUG: sys_read(3, 0x6be8e0, 0x1000) = 0
2021-05-14 20:55:21,488: [3051] m.p.platform:DEBUG: sys_newfstat(1, 0x7ffffffffbe0) = 0
2021-05-14 20:55:21,506: [3051] m.p.platform:DEBUG: sys_ioctl(1, 0x5401, 0x7ffffffffb40) = -22
2021-05-14 20:55:21,885: [3051] m.p.linux:DEBUG: sys_write(1, 0x006bf8f0, 15) -> <'Access denied.' >
2021-05-14 20:55:21,885: [3051] m.p.linux:DEBUG: sys_write(1, 0x006bf8f0, 15) -> <'' >
2021-05-14 20:55:21,886: [3051] m.p.platform:DEBUG: sys_write(1, "Access denied.", 15) = 15
2021-05-14 20:55:22,097: [3051] m.c.plugin:INFO: Instructions executed: 10230
2021-05-14 20:55:22,105: [3051] m.c.plugin:INFO: Coverage: 4558 different instructions executed
2021-05-14 20:55:22,121: [3051] m.c.manticore:INFO: Generated testcase No. 0 - Program finished with exit status: 4
2021-05-14 20:55:23,965: [3051] m.c.manticore:INFO: Results in /manticore/examples/linux/mcore_3oakf8h9
2021-05-14 20:55:23,966: [3051] m.c.manticore:INFO: Total time: 10.328150510787964

What should I do so Manticore keeps exploring and producing inputs?

Thanks in advance

[rmallof]

@dguido FYI :)

[ekilmer]

Hi @rmallof

I've looked into this as well, and it seems this is a bug. Thank you for opening the issue.

Could you try the changes in this PR to confirm it fixes it on your side as well? #2454

[rmallof]

Hi @ekilmer,

Confirmed - it works. Now I see in the logs:

Found 20 free symbolic values on file symbolic.file

And at the moment 16 generated inputs

Good job! Thank you for the quick resolution! :)

[ekilmer]

Great! Glad to hear. Thank you again!

[ekilmer]

The issue here is a bug that will be fixed when #2454 is merged.