S2E Developer Forum

1–30 of 898

0 selected

4:28 AM

libs2eplugins: MemoryMap doesn't contain stack mapping?

Hi, I want to use BaseLinuxMonitor::getCurrentStack() determine the memory region of [stack]. The

unread,

libs2eplugins: MemoryMap doesn't contain stack mapping?

Hi, I want to use BaseLinuxMonitor::getCurrentStack() determine the memory region of [stack]. The

4:28 AM

Y Bai, Vitaly Chipounov2

Sep 25

State deletion in symbolic mode

Hi, S2E does not terminate states unless TerminateState is called. By default, it is called after the

unread,

State deletion in symbolic mode

Hi, S2E does not terminate states unless TerminateState is called. By default, it is called after the

Sep 25

Weiqi Wang, Vitaly Chipounov3

Sep 14

Function model for libc

Hi Vitaly, Thanks! Works like a charm. Best, Weiqi On Tuesday, September 14, 2021 at 5:48:57 AM UTC-4

unread,

Function model for libc

Hi Vitaly, Thanks! Works like a charm. Best, Weiqi On Tuesday, September 14, 2021 at 5:48:57 AM UTC-4

Sep 14

jon, Vitaly Chipounov2

Sep 11

Qemu Network Access

Hi, Please check this thread: https://groups.google.com/g/s2e-dev/c/2e4JxeFKbjM/m/nJh9Xuz_BAAJ Vitaly

unread,

Qemu Network Access

Hi, Please check this thread: https://groups.google.com/g/s2e-dev/c/2e4JxeFKbjM/m/nJh9Xuz_BAAJ Vitaly

Sep 11

Weiqi Wang, Vitaly Chipounov6

Sep 3

Constraints on divisor != 0

Hi Weiqi, If the binary doesn't check the divisor, it should fork in the helper_divx_XX functions

unread,

Constraints on divisor != 0

Hi Weiqi, If the binary doesn't check the divisor, it should fork in the helper_divx_XX functions

Sep 3

Eric Mugnier, Vitaly Chipounov7

Aug 26

Using GDB to debug guest code

Hi, Thank you for clarifying that. It works well now. Thank you for your help, Eric On Tuesday,

unread,

Using GDB to debug guest code

Hi, Thank you for clarifying that. It works well now. Thank you for your help, Eric On Tuesday,

Aug 26

Weiqi Wang, Vitaly Chipounov7

Aug 23

Change number of symbolic bits in symbolic pointers

Got it. Thanks! On Monday, August 23, 2021 at 9:37:46 AM UTC-4 Vitaly Chipounov wrote: Hi, You could

unread,

Change number of symbolic bits in symbolic pointers

Got it. Thanks! On Monday, August 23, 2021 at 9:37:46 AM UTC-4 Vitaly Chipounov wrote: Hi, You could

Aug 23

jon, Vitaly Chipounov3

Aug 9

Losing track of symbolic tags

Thanks for your response. On Sunday, August 8, 2021 at 10:10:56 AM UTC-4 Vitaly Chipounov wrote: Hi,

unread,

Losing track of symbolic tags

Thanks for your response. On Sunday, August 8, 2021 at 10:10:56 AM UTC-4 Vitaly Chipounov wrote: Hi,

Aug 9

Weiqi Wang, Vitaly Chipounov14

Aug 9

Questions about constraints generated when symbolic data is used as array index

Hi Vitaly, Thanks for the explanation. It's very helpful! About your previous message, It's

unread,

Questions about constraints generated when symbolic data is used as array index

Hi Vitaly, Thanks for the explanation. It's very helpful! About your previous message, It's

Aug 9

Mukta Debnath, Vitaly Chipounov3

Aug 8

Memory Usage information

Thank you for your response Sir. Yes, I got to see it. Regards, Mukta Debnath On Sun, 8 Aug 2021 at 7

unread,

Memory Usage information

Thank you for your response Sir. Yes, I got to see it. Regards, Mukta Debnath On Sun, 8 Aug 2021 at 7

Aug 8

Mukta Debnath, Vitaly Chipounov8

Aug 6

S2E supports image file input

Thank you Sir, If I could do this, I will let you know. On Tuesday, July 27, 2021 at 3:23:49 AM UTC+5

unread,

S2E supports image file input

Thank you Sir, If I could do this, I will let you know. On Tuesday, July 27, 2021 at 3:23:49 AM UTC+5

Aug 6

May 4

Hi, Is there a way to run gdb for guest code in S2e image? Such as run line by line and chech where

unread,

Hi, Is there a way to run gdb for guest code in S2e image? Such as run line by line and chech where

May 4

qs Z, Vitaly Chipounov2

Apr 28

Fwd: Questions about the kvm with multi core

Hi, Unfortunately, S2E does not support multiple cores. There is an issue for this: https://github.

unread,

Fwd: Questions about the kvm with multi core

Hi, Unfortunately, S2E does not support multiple cores. There is an issue for this: https://github.

Apr 28

Jianfei Shao, Vitaly Chipounov3

Apr 27

dma: command 8 not supported

It's a little hard to reproduce the issue. Let me find a easy way to show it. Thank you! 发件人:

unread,

dma: command 8 not supported

It's a little hard to reproduce the issue. Let me find a easy way to show it. Thank you! 发件人:

Apr 27

Jianfei Shao, Vitaly Chipounov7

Apr 13

PrintStack function

Hi, In this case, grepping the error message and the helper name should give you the location. By the

unread,

PrintStack function

Hi, In this case, grepping the error message and the helper name should give you the location. By the

Apr 13

Mukta Debnath, vit...@cyberhaven.com27

Mar 5

testcases in S2E

Alright. Thank you for your response. Regards, Mukta Debnath On Fri, Mar 5, 2021 at 3:23 PM <

unread,

testcases in S2E

Alright. Thank you for your response. Regards, Mukta Debnath On Fri, Mar 5, 2021 at 3:23 PM <

Mar 5

Zoe Patrick, Vitaly Chipounov2

Feb 28

under constrained symbolic execution

Hi, S2E does not currently support under constrained symbolic execution as implemented in UC-KLEE.

unread,

under constrained symbolic execution

Hi, S2E does not currently support under constrained symbolic execution as implemented in UC-KLEE.

Feb 28

Vitaly Chipounov

Feb 14

Control flow integrity checking plugin

Dear all, S2E has now a control flow integrity checking plugin. You can use it to detect malicious

unread,

Control flow integrity checking plugin

Dear all, S2E has now a control flow integrity checking plugin. You can use it to detect malicious

Feb 14

forwo...@gmail.com, Vitaly Chipounov5

Jan 25

How to analyze the server-side software?

Thank you for your inspiring reply. I will try it! 在2021年1月25日星期一 UTC+8 下午9:26:30<Vitaly Chipounov

unread,

How to analyze the server-side software?

Thank you for your inspiring reply. I will try it! 在2021年1月25日星期一 UTC+8 下午9:26:30<Vitaly Chipounov

Jan 25

Alan Wang, Vitaly Chipounov5

Jan 20

Different concrete values generated for the same constraints on different runs

Hi Vitaly, Thanks. I think I have figured out the reason. The different concrete values were indeed

unread,

Different concrete values generated for the same constraints on different runs

Hi Vitaly, Thanks. I think I have figured out the reason. The different concrete values were indeed

Jan 20

Alan Wang, Vitaly Chipounov2

Jan 19

Entire libs2e gets recompiled after modifying KLEE and Z3

Hi, I am afraid it's not possible without rewriting the main S2E makefile. Perhaps you could

unread,

Entire libs2e gets recompiled after modifying KLEE and Z3

Hi, I am afraid it's not possible without rewriting the main S2E makefile. Perhaps you could

Jan 19

sandwich125, Vitaly Chipounov2

Jan 8

why s2e occupy so big memory of host machine?

Hi, In theory, each execution state can use up to the maximum guest physical memory size, in your

unread,

why s2e occupy so big memory of host machine?

Hi, In theory, each execution state can use up to the maximum guest physical memory size, in your

Jan 8

sandwich125, Vitaly Chipounov8

12/24/20

who know this random error message

You also need to rebuild the image. Vitaly On 12/24/20 9:59 AM, sandwich125 wrote: > how could I

unread,

who know this random error message

You also need to rebuild the image. Vitaly On 12/24/20 9:59 AM, sandwich125 wrote: > how could I

12/24/20

sob...@gmail.com, Vitaly Chipounov2

12/23/20

Make symbolic value

Hi, S2EExecutionState::createSymbolicValue() is the proper way to do it. Once you have the value,

unread,

Make symbolic value

Hi, S2EExecutionState::createSymbolicValue() is the proper way to do it. Once you have the value,

12/23/20

Mukta Debnath, Vitaly Chipounov6

12/22/20

tbcoverage.json file not getting populated

Your project works for me, I have coverage information. Vitaly On 12/18/20 11:02 AM, Mukta Debnath

unread,

tbcoverage.json file not getting populated

Your project works for me, I have coverage information. Vitaly On 12/18/20 11:02 AM, Mukta Debnath

12/22/20

sandwich125, Vitaly Chipounov2

12/15/20

How could I configure to use glibc in memcpy function

This only happens if the FunctionModels plugin is enabled. Otherwise, s2e.so forwards the call to the

unread,

How could I configure to use glibc in memcpy function

This only happens if the FunctionModels plugin is enabled. Otherwise, s2e.so forwards the call to the

12/15/20

sandwich125, Vitaly Chipounov2

12/15/20

why it only symbolic the third parameter( the first and the second are fixed) in all paths?

I have no idea. It pretty much depends on the program you are testing. Vitaly On 12/13/20 7:44 AM,

unread,

why it only symbolic the third parameter( the first and the second are fixed) in all paths?

I have no idea. It pretty much depends on the program you are testing. Vitaly On 12/13/20 7:44 AM,

12/15/20

Mukta Debnath, Vitaly Chipounov4

12/11/20

Measuring Code Coverage with S2E

Thanks a lot Sir. I compiled the program with debug information and it is working now. On Thursday,

unread,

Measuring Code Coverage with S2E

Thanks a lot Sir. I compiled the program with debug information and it is working now. On Thursday,

12/11/20

Vitaly Chipounov, Mukta Debnath2

12/7/20

Re: [s2e-dev] How to edit the s2e-config.lua file

Thank You, I'll check it out. On Mon, Dec 7, 2020 at 4:46 PM Vitaly Chipounov <vitaly@

unread,

Re: [s2e-dev] How to edit the s2e-config.lua file

Thank You, I'll check it out. On Mon, Dec 7, 2020 at 4:46 PM Vitaly Chipounov <vitaly@

12/7/20

sandwich125, Vitaly Chipounov3

12/2/20

How could modify bootstrap.sh to specify symbolic parameter

It works as expected. You are using signed integers, so 0x81 is actually negative, so 0x81 < 0.

unread,

How could modify bootstrap.sh to specify symbolic parameter

It works as expected. You are using signed integers, so 0x81 is actually negative, so 0x81 < 0.

12/2/20

Search

Clear search

Close search

Google apps

Main menu