Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
S2E Developer Forum
Conversations
About
S2E Developer Forum
1–30 of 914
Mark all as read
Report abusive group
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
Ming
2
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 Chipounov
2
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
,
Alucard
3
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 Chipounov
3
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 Chipounov
2
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 Chipounov
2
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
,
jon
6
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 Chipounov
5
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 Chipounov
3
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 Chipounov
2
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 Chipounov
2
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
Weiqi Wang
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 Chipounov
3
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
Eric Mugnier
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
Marco Wang
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 Chipounov
2
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 Chipounov
3
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 Chipounov
2
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 Chipounov
6
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 Chipounov
7
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 Chipounov
7
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 Chipounov
3
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 Chipounov
14
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 Chipounov
3
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 Chipounov
8
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
Jianfei Shao
5/4/21
GDB in S2E
Hi, Is there a way to run gdb for guest code in S2e image? Such as run line by line and chech where
unread,
GDB in S2E
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 Chipounov
2
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 Chipounov
3
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