feliam / pysymemu Goto Github PK
View Code? Open in Web Editor NEWAn amd64 symbolic emulator
License: BSD 3-Clause "New" or "Revised" License
An amd64 symbolic emulator
License: BSD 3-Clause "New" or "Revised" License
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
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'
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'
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'
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'
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
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
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
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
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>"
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>"
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)
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)
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)
What is inside the document?
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.txt
state_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
++++++++
`
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'
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'
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
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.