S2E Developer Forum

1–30 of 914

0 selected

Vitaly Chipounov

Jul 24

New Ubuntu 22.04 and Debian 11.3 guest images

Dear all, We have released a number of changes regarding guest images: - We upgraded Debian 9 images

unread,

New Ubuntu 22.04 and Debian 11.3 guest images

Dear all, We have released a number of changes regarding guest images: - We upgraded Debian 9 images

Jul 24

Jun 29

State switch timer in newly created process

Here are some investigations I have done so far. When I was trying to print information in

unread,

State switch timer in newly created process

Here are some investigations I have done so far. When I was trying to print information in

Jun 29

Eric Mugnier, Vitaly Chipounov2

Jun 3

Backtrace for forkprofiler

Hi Eric, The forkprofiler does not have such a feature yet, it would indeed be a good addition. You

unread,

Backtrace for forkprofiler

Hi Eric, The forkprofiler does not have such a feature yet, it would indeed be a good addition. You

Jun 3

Vitaly Chipounov, Alucard3

May 5

Support for Ubuntu 22.04, Debian 11, LLVM 14

Hi, Thanks for reporting it, I merged the fix. Vitaly On 5/5/22 06:38, Alucard wrote: Hello Vitaly,

unread,

Support for Ubuntu 22.04, Debian 11, LLVM 14

Hi, Thanks for reporting it, I merged the fix. Vitaly On 5/5/22 06:38, Alucard wrote: Hello Vitaly,

May 5

jon, Vitaly Chipounov3

Feb 15

Range on concrete values

Vitaly, Thanks for your response. I tried and it looks like enumPossibleRanges() is not what I needed

unread,

Range on concrete values

Vitaly, Thanks for your response. I tried and it looks like enumPossibleRanges() is not what I needed

Feb 15

Ming, Vitaly Chipounov2

Feb 4

Backwards slicing

Hi Ming, There is no support for backward slicing currently. In general, you want to model functions

unread,

Backwards slicing

Hi Ming, There is no support for backward slicing currently. In general, you want to model functions

Feb 4

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

Search

Clear search

Close search

Google apps

Main menu