tbcoverage.json file not getting populated
38 views
Skip to first unread message
Mukta Debnath
Dec 14, 2020, 6:05:08 AM12/14/20
to S2E Developer Forum
Hi Mr. Vitaly,
I am using S2E to test my SystemC design. The tbcoverage-0.json file is not getting populated. I get the following message:
Can you please suggest where am I going wrong.
I am using the following command to create the analysis project:
s2e new_project --image debian-9.2.1-x86_64 /home/nano/s3c_bench_s2e/interpolation/interpolation.exe @@ -infile /home/nano/s3c_bench_s2e/interpolation/in_data.txt
Vitaly Chipounov
Dec 15, 2020, 4:32:21 AM12/15/20
to s2e...@googlegroups.com, Mukta Debnath
Hi,
Please verify that the application ran properly:
- Check that serial.txt doesn't have any errors
- Check that debug.txt contains messages about the process being
loaded
- Check that Windows doesn't display any error messages on the
screen (enable graphics mode in launch-s2e.ch).
- If it still doesn't work, please send the exported project.
Vitaly
--
--
You received this message because you are a member of the S2E Developer Forum.
To post to this group, send email to s2e...@googlegroups.com
To unsubscribe from this group, send email to s2e-dev+u...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/s2e-dev
---
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/6c6e5c27-25fd-4956-a84e-bf6dafd20c70n%40googlegroups.com.
Message has been deleted
Message has been deleted
Mukta Debnath
Dec 18, 2020, 5:02:48 AM12/18/20
to S2E Developer Forum
Hi Mr. Vitaly,
The exported project is not allowed to sent. For the same design, I can populate the tbcoverage-0.json in my another machine. I can find out that the following messages are missing in the debug.txt which may be the reason why tbcoverage-0.json is empty:
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Could not load [heap]
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Could not load [stack]
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Could not load [vvar]
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Could not load [vdso]
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Could not load [vsyscall]
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Dumping modules
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /home/s2e/bubble.exe - entry_point=0x18c00 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x558135733000 Size=0x00140000 Offset=0x00000000 Perms=0x05 Name=/home/s2e/bubble.exe
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x558135a72000 Size=0x00009000 Offset=0x0013f000 Perms=0x05 Name=/home/s2e/bubble.exe
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x558135a7b000 Size=0x00004000 Offset=0x00148000 Perms=0x07 Name=/home/s2e/bubble.exe
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libz.so.1.2.8 - entry_point=0x21c0 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233c9a0000 Size=0x00019000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libz.so.1.2.8
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cbb8000 Size=0x00001000 Offset=0x00018000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libz.so.1.2.8
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cbb9000 Size=0x00001000 Offset=0x00019000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libz.so.1.2.8
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /usr/lib/x86_64-linux-gnu/libelf-0.168.so - entry_point=0x2f90 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cbba000 Size=0x00017000 Offset=0x00000000 Perms=0x05 Name=/usr/lib/x86_64-linux-gnu/libelf-0.168.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cdd0000 Size=0x00001000 Offset=0x00016000 Perms=0x05 Name=/usr/lib/x86_64-linux-gnu/libelf-0.168.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cdd1000 Size=0x00001000 Offset=0x00017000 Perms=0x07 Name=/usr/lib/x86_64-linux-gnu/libelf-0.168.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libdl-2.24.so - entry_point=0xd80 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cdd2000 Size=0x00003000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libdl-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cfd4000 Size=0x00001000 Offset=0x00002000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libdl-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cfd5000 Size=0x00001000 Offset=0x00003000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libdl-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libc-2.24.so - entry_point=0x20400 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cfd6000 Size=0x00195000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libc-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d36b000 Size=0x00004000 Offset=0x00195000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libc-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d36f000 Size=0x00002000 Offset=0x00199000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libc-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libgcc_s.so.1 - entry_point=0x2a90 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d375000 Size=0x00016000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libgcc_s.so.1
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d58a000 Size=0x00001000 Offset=0x00015000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libgcc_s.so.1
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d58b000 Size=0x00001000 Offset=0x00016000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libgcc_s.so.1
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libm-2.24.so - entry_point=0x5680 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d58c000 Size=0x00103000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libm-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d88e000 Size=0x00001000 Offset=0x00102000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libm-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d88f000 Size=0x00001000 Offset=0x00103000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libm-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22 - entry_point=0x8b7e0 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d890000 Size=0x00172000 Offset=0x00000000 Perms=0x05 Name=/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233dc02000 Size=0x0000a000 Offset=0x00172000 Perms=0x05 Name=/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233dc0c000 Size=0x00002000 Offset=0x0017c000 Perms=0x07 Name=/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /home/s2e/guest-tools64/s2e.so - entry_point=0x1e80 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233dc12000 Size=0x00007000 Offset=0x00000000 Perms=0x05 Name=/home/s2e/guest-tools64/s2e.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233de18000 Size=0x00001000 Offset=0x00006000 Perms=0x05 Name=/home/s2e/guest-tools64/s2e.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233de19000 Size=0x00001000 Offset=0x00007000 Perms=0x07 Name=/home/s2e/guest-tools64/s2e.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/ld-2.24.so - entry_point=0xc20 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233de1a000 Size=0x00023000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/ld-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233e03d000 Size=0x00001000 Offset=0x00023000 Perms=0x05 Name=/lib/x86_64-linux-gnu/ld-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233e03e000 Size=0x00001000 Offset=0x00024000 Perms=0x07 Name=/lib/x86_64-linux-gnu/ld-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba060): Skipping /home/s2e/bubble.exe, because it was already notified by the kernel
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libz.so.1.2.8 Path=/lib/x86_64-linux-gnu/libz.so.1.2.8 Size=0x18db4 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233c9a21c0 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libelf-0.168.so Path=/usr/lib/x86_64-linux-gnu/libelf-0.168.so Size=0x16ef0 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233cbbcf90 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libdl-2.24.so Path=/lib/x86_64-linux-gnu/libdl-2.24.so Size=0x2314 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233cdd2d80 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libc-2.24.so Path=/lib/x86_64-linux-gnu/libc-2.24.so Size=0x199998 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233cff6400 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libgcc_s.so.1 Path=/lib/x86_64-linux-gnu/libgcc_s.so.1 Size=0x1564c AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233d377a90 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libm-2.24.so Path=/lib/x86_64-linux-gnu/libm-2.24.so Size=0x10302c AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233d591680 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libstdc++.so.6.0.22 Path=/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22 Size=0x17cd76 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233d91b7e0 Checksum=0x0
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Could not load [stack]
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Could not load [vvar]
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Could not load [vdso]
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Could not load [vsyscall]
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Dumping modules
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /home/s2e/bubble.exe - entry_point=0x18c00 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x558135733000 Size=0x00140000 Offset=0x00000000 Perms=0x05 Name=/home/s2e/bubble.exe
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x558135a72000 Size=0x00009000 Offset=0x0013f000 Perms=0x05 Name=/home/s2e/bubble.exe
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x558135a7b000 Size=0x00004000 Offset=0x00148000 Perms=0x07 Name=/home/s2e/bubble.exe
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libz.so.1.2.8 - entry_point=0x21c0 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233c9a0000 Size=0x00019000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libz.so.1.2.8
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cbb8000 Size=0x00001000 Offset=0x00018000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libz.so.1.2.8
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cbb9000 Size=0x00001000 Offset=0x00019000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libz.so.1.2.8
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /usr/lib/x86_64-linux-gnu/libelf-0.168.so - entry_point=0x2f90 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cbba000 Size=0x00017000 Offset=0x00000000 Perms=0x05 Name=/usr/lib/x86_64-linux-gnu/libelf-0.168.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cdd0000 Size=0x00001000 Offset=0x00016000 Perms=0x05 Name=/usr/lib/x86_64-linux-gnu/libelf-0.168.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cdd1000 Size=0x00001000 Offset=0x00017000 Perms=0x07 Name=/usr/lib/x86_64-linux-gnu/libelf-0.168.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libdl-2.24.so - entry_point=0xd80 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cdd2000 Size=0x00003000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libdl-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cfd4000 Size=0x00001000 Offset=0x00002000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libdl-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cfd5000 Size=0x00001000 Offset=0x00003000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libdl-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libc-2.24.so - entry_point=0x20400 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233cfd6000 Size=0x00195000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libc-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d36b000 Size=0x00004000 Offset=0x00195000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libc-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d36f000 Size=0x00002000 Offset=0x00199000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libc-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libgcc_s.so.1 - entry_point=0x2a90 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d375000 Size=0x00016000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libgcc_s.so.1
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d58a000 Size=0x00001000 Offset=0x00015000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libgcc_s.so.1
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d58b000 Size=0x00001000 Offset=0x00016000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libgcc_s.so.1
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/libm-2.24.so - entry_point=0x5680 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d58c000 Size=0x00103000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libm-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d88e000 Size=0x00001000 Offset=0x00102000 Perms=0x05 Name=/lib/x86_64-linux-gnu/libm-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d88f000 Size=0x00001000 Offset=0x00103000 Perms=0x07 Name=/lib/x86_64-linux-gnu/libm-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22 - entry_point=0x8b7e0 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233d890000 Size=0x00172000 Offset=0x00000000 Perms=0x05 Name=/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233dc02000 Size=0x0000a000 Offset=0x00172000 Perms=0x05 Name=/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233dc0c000 Size=0x00002000 Offset=0x0017c000 Perms=0x07 Name=/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /home/s2e/guest-tools64/s2e.so - entry_point=0x1e80 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233dc12000 Size=0x00007000 Offset=0x00000000 Perms=0x05 Name=/home/s2e/guest-tools64/s2e.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233de18000 Size=0x00001000 Offset=0x00006000 Perms=0x05 Name=/home/s2e/guest-tools64/s2e.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233de19000 Size=0x00001000 Offset=0x00007000 Perms=0x07 Name=/home/s2e/guest-tools64/s2e.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Module /lib/x86_64-linux-gnu/ld-2.24.so - entry_point=0xc20 loadable_phdr_num=2
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233de1a000 Size=0x00023000 Offset=0x00000000 Perms=0x05 Name=/lib/x86_64-linux-gnu/ld-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233e03d000 Size=0x00001000 Offset=0x00023000 Perms=0x05 Name=/lib/x86_64-linux-gnu/ld-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba020): Base=0x7f233e03e000 Size=0x00001000 Offset=0x00024000 Perms=0x07 Name=/lib/x86_64-linux-gnu/ld-2.24.so
21 [State 0] BaseInstructions: Message from guest (0x7ffce39ba060): Skipping /home/s2e/bubble.exe, because it was already notified by the kernel
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libz.so.1.2.8 Path=/lib/x86_64-linux-gnu/libz.so.1.2.8 Size=0x18db4 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233c9a21c0 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libelf-0.168.so Path=/usr/lib/x86_64-linux-gnu/libelf-0.168.so Size=0x16ef0 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233cbbcf90 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libdl-2.24.so Path=/lib/x86_64-linux-gnu/libdl-2.24.so Size=0x2314 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233cdd2d80 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libc-2.24.so Path=/lib/x86_64-linux-gnu/libc-2.24.so Size=0x199998 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233cff6400 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libgcc_s.so.1 Path=/lib/x86_64-linux-gnu/libgcc_s.so.1 Size=0x1564c AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233d377a90 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libm-2.24.so Path=/lib/x86_64-linux-gnu/libm-2.24.so Size=0x10302c AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233d591680 Checksum=0x0
21 [State 0] LinuxMonitor: ModuleDescriptor Name=libstdc++.so.6.0.22 Path=/usr/lib/x86_64-linux-gnu/libstdc++.so.6.0.22 Size=0x17cd76 AddressSpace=0xda62000 Pid=0x4f7 EntryPoint=0x7f233d91b7e0 Checksum=0x0
I am attaching the debug.txt. Please let me know what can be the probable reasons for this.
Vitaly Chipounov
Dec 20, 2020, 1:16:03 PM12/20/20
to s2e...@googlegroups.com, Mukta Debnath
Could you wrap it in a zip file then? I really need the project.
Vitaly
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/dbdfd53f-3fc4-4673-8c69-2c9bb187b5b1n%40googlegroups.com.
Message has been deleted
Mukta Debnath
Dec 21, 2020, 7:14:24 AM12/21/20
to S2E Developer Forum
Sharing with you the google drive link for the project
Vitaly Chipounov
Dec 22, 2020, 5:26:24 AM12/22/20
to s2e...@googlegroups.com, Mukta Debnath
Your project works for me, I have coverage information.
Vitaly
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/dbdfd53f-3fc4-4673-8c69-2c9bb187b5b1n%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages