feliam/pysymemu

An amd64 symbolic emulator

pysymemu's Issues

Getting an error using examples

I have tried one of your example, specificallyexamples/toy001-nostdlib, but I receive this error:
Traceback (most recent call last):
File "system.py", line 136, in
linux.exe(args.program, argv, env, stdin=args.stdin, stdout=args.stdout, stderr=args.stderr)
File "/home/badnack/Documents/Projects/Bintrimmer/tools/pysymemu/linux.py", line 1231, in exe
super(SLinux,self).exe(filename, argv, envp, stdin='stdin', stdout='stdout', stderr='stderr')
File "/home/badnack/Documents/Projects/Bintrimmer/tools/pysymemu/linux.py", line 134, in exe
self.files = [ File(stdin,'rb'), File(stdout,'wb'), File(stderr,'wb')]
File "/home/badnack/Documents/Projects/Bintrimmer/tools/pysymemu/linux.py", line 18, in init
self.file = file(args,*kwargs)
IOError: [Errno 2] No such file or directory: 'stdin'

example as shown in read me generate only 1 test case

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
++++++++
`

tests error

Hi friend, when I run "python -m unittest discover test", some errors happen.

My linux details: Linux kali 4.0.0-kali1-686-pae #1 SMP Debian 4.0.4-1+kali2 (2015-06-03) i686 GNU/Linux

What's wrong?
Log is here:
root@kali:~/tools/pysymemu# python -m unittest discover test

........EEEEE..................................FEFEFE...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................F.F...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................

ERROR: test_load_elf_dynamic_32 (test_linux.LinuxTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_linux.py", line 69, in test_load_elf_dynamic_32
linux.exe("./binaries/elf-dyn-32")
File "linux.py", line 212, in exe
elf = ELFFile(file(filename))
IOError: [Errno 2] No such file or directory: './binaries/elf-dyn-32'

ERROR: test_load_elf_dynamic_64 (test_linux.LinuxTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_linux.py", line 60, in test_load_elf_dynamic_64
linux.exe("./binaries/elf-dyn-64")
File "linux.py", line 212, in exe
elf = ELFFile(file(filename))
IOError: [Errno 2] No such file or directory: './binaries/elf-dyn-64'

ERROR: test_load_elf_static_32 (test_linux.LinuxTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_linux.py", line 51, in test_load_elf_static_32
linux.exe("./binaries/elf-static-32")
File "linux.py", line 212, in exe
elf = ELFFile(file(filename))
IOError: [Errno 2] No such file or directory: './binaries/elf-static-32'

ERROR: test_load_elf_static_64 (test_linux.LinuxTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_linux.py", line 43, in test_load_elf_static_64
linux.exe("./binaries/elf-static-64")
File "linux.py", line 212, in exe
elf = ELFFile(file(filename))
IOError: [Errno 2] No such file or directory: './binaries/elf-static-64'

ERROR: test_symamd64 (unittest.loader.ModuleImportFailure)

ImportError: Failed to import test module: test_symamd64
Traceback (most recent call last):
File "/usr/lib/python2.7/unittest/loader.py", line 254, in _find_tests
module = self._get_module_from_name(name)
File "/usr/lib/python2.7/unittest/loader.py", line 232, in _get_module_from_name
import(name)
File "/root/tools/pysymemu/test/test_symamd64.py", line 2, in
from smtlibv2 import Solver
ImportError: No module named smtlibv2

ERROR: testmprotecNoReadthenOkRead (test_memory.MemoryTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_memory.py", line 55, in tearDown
self.assertEqual(self.fds, self.get_open_fds())
AssertionError: Lists differ: [] != [4, 5]

Second list contains 2 additional elements.
First extra element 0:
4

• []
• [4, 5]

ERROR: testmprotectFailReading (test_memory.MemoryTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_memory.py", line 55, in tearDown
self.assertEqual(self.fds, self.get_open_fds())
AssertionError: Lists differ: [] != [4, 5]

Second list contains 2 additional elements.
First extra element 0:
4

• []
• [4, 5]

ERROR: testmprotectFailWriting (test_memory.MemoryTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_memory.py", line 55, in tearDown
self.assertEqual(self.fds, self.get_open_fds())
AssertionError: Lists differ: [] != [4, 5]

Second list contains 2 additional elements.
First extra element 0:
4

• []
• [4, 5]

FAIL: testmprotecNoReadthenOkRead (test_memory.MemoryTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_memory.py", line 1070, in testmprotecNoReadthenOkRead
self.assertRaisesRegexp(MemoryException, "No Access Reading <0x%x>"%addr, mem.getchar, addr)
AssertionError: "No Access Reading <0x10000000>" does not match "No Access Reading <268435456>"

FAIL: testmprotectFailReading (test_memory.MemoryTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_memory.py", line 1041, in testmprotectFailReading
self.assertRaisesRegexp(MemoryException, "No Access Reading <0x%x>"%addr, mem.getchar, addr)
AssertionError: "No Access Reading <0x10000000>" does not match "No Access Reading <268435456>"

FAIL: testmprotectFailWriting (test_memory.MemoryTest)

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_memory.py", line 1056, in testmprotectFailWriting
self.assertRaisesRegexp(MemoryException, "No Access Writting <0x%x>"%addr, mem.putchar, addr, 'a')
AssertionError: "No Access Writting <0x10000000>" does not match "No Access Writting <268435456>"

FAIL: testSCAS_2 (test_amd64.CPUTest)

Instruction REPNZ SCASB

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_amd64.py", line 48290, in testSCAS_2
self.assertEqual(cpu.getRegister(reg_name)&0x8d5, test['pos']['registers'][reg_name]&0x8d5, "%s doesn't match %x vs %x"%(reg_name,cpu.getRegister(reg_name), test['pos']['registers'][reg_name]))
AssertionError: RFLAGS doesn't match 10292 vs 10246

FAIL: testSCAS_4 (test_amd64.CPUTest)

Instruction REPNZ SCASB

Traceback (most recent call last):
File "/root/tools/pysymemu/test/test_amd64.py", line 48328, in testSCAS_4
self.assertEqual(cpu.getRegister(reg_name)&0x8d5, test['pos']['registers'][reg_name]&0x8d5, "%s doesn't match %x vs %x"%(reg_name,cpu.getRegister(reg_name), test['pos']['registers'][reg_name]))
AssertionError: RFLAGS doesn't match 10292 vs 10246

---

Ran 3075 tests in 5.091s

FAILED (failures=5, errors=8)

error using example

I run command :"python system.py --sym stdin examples/toy002-libc", and meet the following error:

<type 'exceptions.Exception'> 'X86Op' object has no attribute 'size'

stdin: '\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\n'

Traceback (most recent call last):
File "system.py", line 253, in
while current_state.execute():
File "system.py", line 56, in execute
return self.os.execute()
File "/home/ling/Desktop/pysymemu/linux.py", line 1229, in execute
self.current.execute()
File "/home/ling/Desktop/pysymemu/cpu.py", line 950, in execute
instruction = cpu.getInstructionCapstone(cpu.PC)
File "/home/ling/Desktop/pysymemu/cpu.py", line 98, in new_method
value = old_method(obj, *args)
File "/home/ling/Desktop/pysymemu/cpu.py", line 769, in getInstructionCapstone
op.size *= 8

AttributeError: 'X86Op' object has no attribute 'size'

what! Ekoparty slides is reported to have virus or malware

What is inside the document?