We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
example as shown in read me generate only 1 test case
` toor@toor-virtual-machine:~/pysymemu$ python system.py --sym stdin examples/toy002-libc
[+] Running examples/toy002-libc with arguments: [] with environment: [] 2016-08-04 03:27:18,653: EXECUTOR:INFO: Loading amd64 ELF program examples/toy002-libc
--- snipt ---
2016-08-04 03:27:18,656: MEMORY:INFO: Initializing Symbolic Memory 2016-08-04 03:27:18,656: CPU:INFO: Cpu Initialized. 2016-08-04 03:27:18,657: LINUX:INFO: Loading examples/toy002-libc as a amd64 elf 2016-08-04 03:27:18,657: LINUX:INFO: Arguments: ['examples/toy002-libc'] 2016-08-04 03:27:18,747: LINUX:INFO: Setting argv, envp and auxv. 2016-08-04 03:27:18,780: LINUX:INFO: Setting initial cpu state 2016-08-04 03:27:18,780: LINUX:INFO: Entry point: 0000000000400ce0 2016-08-04 03:27:18,780: LINUX:INFO: Stack start: 00007fffffffdd78 2016-08-04 03:27:18,780: LINUX:INFO: Brk: 00000000006c6000 2016-08-04 03:27:18,780: LINUX:INFO: Mappings: 2016-08-04 03:27:18,781: LINUX:INFO: 0000000000400000-00000000004c2000 r x 00000000 examples/toy002-libc 2016-08-04 03:27:18,781: LINUX:INFO: 00000000006c1000-00000000006c3000 rw 00000000 2016-08-04 03:27:18,781: LINUX:INFO: 00000000006c3000-00000000006c6000 rw 00000000 2016-08-04 03:27:18,781: LINUX:INFO: 00007ffffffde000-00007ffffffff000 rwx 00000000 2016-08-04 03:27:18,781: LINUX:INFO: Found 10 free symbolic values on file stdin Saving state state_0000000000400ce0_0.pkl Starting... Loading state state_0000000000400ce0_0.pkl Program Finnished correctly stdin: '\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\n' Results dumped in ./pse_i2ox9d 5892 4030.23634887 toor@toor-virtual-machine:/pysymemu$ ls pse_i2ox9d/ state_0000000000400ce0_0.pkl test_1.txt toor@toor-virtual-machine:/pysymemu/pse_i2ox9d$ cat test_1.txt stdin: '\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\n' toor@toor-virtual-machine:~/pysymemu$ cat stdin ++++++++ `
The text was updated successfully, but these errors were encountered:
No branches or pull requests
example as shown in read me generate only 1 test case
`
toor@toor-virtual-machine:~/pysymemu$ python system.py --sym stdin examples/toy002-libc
[+] Running examples/toy002-libc
with arguments: []
with environment: []
2016-08-04 03:27:18,653: EXECUTOR:INFO: Loading amd64 ELF program examples/toy002-libc
--- snipt ---
2016-08-04 03:27:18,656: MEMORY:INFO: Initializing Symbolic Memory
2016-08-04 03:27:18,656: CPU:INFO: Cpu Initialized.
2016-08-04 03:27:18,657: LINUX:INFO: Loading examples/toy002-libc as a amd64 elf
2016-08-04 03:27:18,657: LINUX:INFO: Arguments: ['examples/toy002-libc']
2016-08-04 03:27:18,747: LINUX:INFO: Setting argv, envp and auxv.
2016-08-04 03:27:18,780: LINUX:INFO: Setting initial cpu state
2016-08-04 03:27:18,780: LINUX:INFO: Entry point: 0000000000400ce0
2016-08-04 03:27:18,780: LINUX:INFO: Stack start: 00007fffffffdd78
2016-08-04 03:27:18,780: LINUX:INFO: Brk: 00000000006c6000
2016-08-04 03:27:18,780: LINUX:INFO: Mappings:
2016-08-04 03:27:18,781: LINUX:INFO: 0000000000400000-00000000004c2000 r x 00000000 examples/toy002-libc
2016-08-04 03:27:18,781: LINUX:INFO: 00000000006c1000-00000000006c3000 rw 00000000
2016-08-04 03:27:18,781: LINUX:INFO: 00000000006c3000-00000000006c6000 rw 00000000
2016-08-04 03:27:18,781: LINUX:INFO: 00007ffffffde000-00007ffffffff000 rwx 00000000
2016-08-04 03:27:18,781: LINUX:INFO: Found 10 free symbolic values on file stdin
Saving state state_0000000000400ce0_0.pkl
Starting...
Loading state state_0000000000400ce0_0.pkl
Program Finnished correctly
stdin: '\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\n'
Results dumped in ./pse_i2ox9d
5892 4030.23634887
toor@toor-virtual-machine:
/pysymemu$ ls pse_i2ox9d//pysymemu/pse_i2ox9d$ cat test_1.txtstate_0000000000400ce0_0.pkl test_1.txt
toor@toor-virtual-machine:
stdin: '\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\n'
toor@toor-virtual-machine:~/pysymemu$ cat stdin
++++++++
`
The text was updated successfully, but these errors were encountered: