S2E Developer Forum

1–30 of 908

0 selected

myao42, Vitaly Chipounov2

Jan 14

Fork profiler on windows kernel

Hi, I am afraid there is not much you can do here. There is no source code for Windows binaries and

unread,

Fork profiler on windows kernel

Hi, I am afraid there is not much you can do here. There is no source code for Windows binaries and

Jan 14

codefiring Eric

12/26/21

Add special function used in LLVM code

Hi all, I recently encountered a symbol undefined problem when making some changes in s2e. I'm a

unread,

Add special function used in LLVM code

Hi all, I recently encountered a symbol undefined problem when making some changes in s2e. I'm a

12/26/21

Vitaly Chipounov, jon6

12/12/21

Re: [s2e-dev] Install hooks in new process (rundll32)

Given that the hooks work in the malware, and rundll32, but no the dll passed to rundll32, I'm

unread,

Re: [s2e-dev] Install hooks in new process (rundll32)

Given that the hooks work in the malware, and rundll32, but no the dll passed to rundll32, I'm

12/12/21

Yingtong Liu, Vitaly Chipounov5

11/23/21

Incorporate static analysis to symbolic execution in S2E

Hi Vitaly, Yeah, I agree with matching x86 binary instructions may be the right way to go. Thank you

unread,

Incorporate static analysis to symbolic execution in S2E

Hi Vitaly, Yeah, I agree with matching x86 binary instructions may be the right way to go. Thank you

11/23/21

Weiqi Wang, Vitaly Chipounov3

11/23/21

Imprecision in constraints

Hi Vitaly, Thanks for your prompt reply! Suppose I run a program that takes a symbolic file as input

unread,

Imprecision in constraints

Hi Vitaly, Thanks for your prompt reply! Suppose I run a program that takes a symbolic file as input

11/23/21

Vitaly Chipounov2

11/19/21

Re: ARM Support for S2E

Hi, On Fri, Nov 19, 2021 at 5:39 PM Siddharth Das <siddharth.das123456789@gmail.com> wrote:

unread,

Re: ARM Support for S2E

Hi, On Fri, Nov 19, 2021 at 5:39 PM Siddharth Das <siddharth.das123456789@gmail.com> wrote:

11/19/21

Xinye Zhao, Vitaly Chipounov2

10/31/21

Cannot generate new project

Hi, In general, if the image building process stops for some reason, it's possible to restart it.

unread,

Cannot generate new project

Hi, In general, if the image building process stops for some reason, it's possible to restart it.

10/31/21

10/29/21

dma command 8 not supported

Hi, I encountered "dma command 8 not supported" when executing binary that reads a symbolic

unread,

dma command 8 not supported

Hi, I encountered "dma command 8 not supported" when executing binary that reads a symbolic

10/29/21

Weiqi Wang, Vitaly Chipounov3

10/28/21

Disable solver invocation

Hi Vitaly, Thanks for your reply! I'll experiment with the else branch. Best, Weiqi On Wednesday,

unread,

Disable solver invocation

Hi Vitaly, Thanks for your reply! I'll experiment with the else branch. Best, Weiqi On Wednesday,

10/28/21

9/27/21

Kernel instrumentation and compilation

Hi, I am trying to instrument the Linux kernel and I am not sure of the method to compile it in order

unread,

Kernel instrumentation and compilation

Hi, I am trying to instrument the Linux kernel and I am not sure of the method to compile it in order

9/27/21

9/27/21

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

9/27/21

Y Bai, Vitaly Chipounov2

9/25/21

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

9/25/21

Weiqi Wang, Vitaly Chipounov3

9/14/21

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

9/14/21

jon, Vitaly Chipounov2

9/11/21

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

9/11/21

Weiqi Wang, Vitaly Chipounov6

9/3/21

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

9/3/21

Eric Mugnier, Vitaly Chipounov7

8/26/21

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,

8/26/21

Weiqi Wang, Vitaly Chipounov7

8/23/21

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

8/23/21

jon, Vitaly Chipounov3

8/9/21

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,

8/9/21

Weiqi Wang, Vitaly Chipounov14

8/9/21

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

8/9/21

Mukta Debnath, Vitaly Chipounov3

8/8/21

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

8/8/21

Mukta Debnath, Vitaly Chipounov8

8/6/21

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

8/6/21

5/4/21

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

5/4/21

qs Z, Vitaly Chipounov2

4/28/21

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.

4/28/21

Jianfei Shao, Vitaly Chipounov3

4/27/21

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! 发件人:

4/27/21

Jianfei Shao, Vitaly Chipounov7

4/13/21

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

4/13/21

Mukta Debnath, vit...@cyberhaven.com27

3/5/21

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 <

3/5/21

Zoe Patrick, Vitaly Chipounov2

2/28/21

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.

2/28/21

Vitaly Chipounov

2/14/21

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

2/14/21

forwo...@gmail.com, Vitaly Chipounov5

1/25/21

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

1/25/21

Alan Wang, Vitaly Chipounov5

1/20/21

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

1/20/21

Search

Clear search

Close search

Google apps

Main menu