Groups
Sign in
Groups
S2E Developer Forum
Conversations
About
Send feedback
Help
S2E Developer Forum
Contact owners and managers
1–30 of 985
Mark all as read
Report group
0 selected
Jay Ironman
,
Vitaly Chipounov
4
Jul 25
Regarding the issue of the 'put' command
Sorry, I misunderstood at the beginning. In short, there are two steps to save data from GuestOS to
unread,
Regarding the issue of the 'put' command
Sorry, I misunderstood at the beginning. In short, there are two steps to save data from GuestOS to
Jul 25
wa ree
Jul 24
แทงหวยออนไลน์ เว็บไหนดี แนะนำ 10 อันดับ เว็บแทงหวยออนไลน์ จ่ายจริง ไม่อั้น บาทละ 1000
หวยออนไลน์บาทละ1000 เว็บไหนดี 10 เว็บแทงหวยบาทละ1000 จ่ายจริง แทงหวยบาทละ1000 เชื่อถือได้ อันดับ1 3
unread,
แทงหวยออนไลน์ เว็บไหนดี แนะนำ 10 อันดับ เว็บแทงหวยออนไลน์ จ่ายจริง ไม่อั้น บาทละ 1000
หวยออนไลน์บาทละ1000 เว็บไหนดี 10 เว็บแทงหวยบาทละ1000 จ่ายจริง แทงหวยบาทละ1000 เชื่อถือได้ อันดับ1 3
Jul 24
Jay Ironman
,
Vitaly Chipounov
10
Jul 22
Regarding the issue of building Guest OS
Thank you, I have solved this problem.I made a mistake in my previous analysis, mistaking the '
unread,
Regarding the issue of building Guest OS
Thank you, I have solved this problem.I made a mistake in my previous analysis, mistaking the '
Jul 22
Jay Ironman
,
Vitaly Chipounov
3
Jul 20
Regarding the issue of compiling Linux 4.9.3 kernel
Yes, I have noticed that I am currently rebuilding Guest OS using the Linux 6. x version kernel and
unread,
Regarding the issue of compiling Linux 4.9.3 kernel
Yes, I have noticed that I am currently rebuilding Guest OS using the Linux 6. x version kernel and
Jul 20
Dave
,
Vitaly Chipounov
2
Jul 20
Analysis of instructions with symbolic operands
Hi, You could try a few things: - Use onTranslateRegisterAccessEnd [1] to instrument code that
unread,
Analysis of instructions with symbolic operands
Hi, You could try a few things: - Use onTranslateRegisterAccessEnd [1] to instrument code that
Jul 20
Reaper Lu (Dingisoul)
,
Vitaly Chipounov
5
Apr 18
Question about result of solver for ConcatExpr of ReadExpr
Hi Vitaly, In order to speed up my implementation, before solving the constraints, I will use the
unread,
Question about result of solver for ConcatExpr of ReadExpr
Hi Vitaly, In order to speed up my implementation, before solving the constraints, I will use the
Apr 18
haoran cui
,
Vitaly Chipounov
15
Mar 17
The s2e image_build command is stuck
Hi, The debian 9 image build is broken because mirrors don't host its packages anymore. I don
unread,
The s2e image_build command is stuck
Hi, The debian 9 image build is broken because mirrors don't host its packages anymore. I don
Mar 17
Mukta Debnath
,
Vitaly Chipounov
14
Mar 15
S2E installation
Hi, Please record the entire output of the build and attach it. Vitaly On Fri, Mar 15, 2024 at 8:29
unread,
S2E installation
Hi, Please record the entire output of the build and attach it. Vitaly On Fri, Mar 15, 2024 at 8:29
Mar 15
Mukta Debnath
,
Vitaly Chipounov
8
Mar 13
State terminating error in S2E
Hi, You need to provide a *.symranges file if you want to make parts of the file symbolic. Without it
unread,
State terminating error in S2E
Hi, You need to provide a *.symranges file if you want to make parts of the file symbolic. Without it
Mar 13
Mingxuan Yao
,
Vitaly Chipounov
2
Feb 22
Show case on S2E webpage
Hi, Done! Congrats for your paper! Vitaly On Thu, Feb 22, 2024 at 12:15 AM Mingxuan Yao <
unread,
Show case on S2E webpage
Hi, Done! Congrats for your paper! Vitaly On Thu, Feb 22, 2024 at 12:15 AM Mingxuan Yao <
Feb 22
Jay Ironman
,
Vitaly Chipounov
5
11/28/23
Encountered an issue in the final step of replacing GuestOS
I have solved this problem, please forgive my foolishness 在2023年11月28日星期二 UTC+8 21:11:15<Jay
unread,
Encountered an issue in the final step of replacing GuestOS
I have solved this problem, please forgive my foolishness 在2023年11月28日星期二 UTC+8 21:11:15<Jay
11/28/23
Jay Ironman
,
Vitaly Chipounov
13
11/17/23
Encountered a problem installing the compiled Linux 4.9.3 kernel into GuestOS
Thank you very much for your reply. I will carefully study it. Thank you again for your patient
unread,
Encountered a problem installing the compiled Linux 4.9.3 kernel into GuestOS
Thank you very much for your reply. I will carefully study it. Thank you again for your patient
11/17/23
Jay Ironman
,
Vitaly Chipounov
7
11/5/23
I encountered some issues while measuring the line coverage of Linux binaries!
Hi, Please use s2e export_project to generate the archive. Thanks, Vitaly On Wed, Oct 25, 2023 at 4:
unread,
I encountered some issues while measuring the line coverage of Linux binaries!
Hi, Please use s2e export_project to generate the archive. Thanks, Vitaly On Wed, Oct 25, 2023 at 4:
11/5/23
Jay Ironman
,
Vitaly Chipounov
4
11/1/23
There was a problem when I tried to change GuestOS
I have no idea, you'll have to investigate yourself. Each OS has its own way of handling
unread,
There was a problem when I tried to change GuestOS
I have no idea, you'll have to investigate yourself. Each OS has its own way of handling
11/1/23
Jay Ironman
,
Vitaly Chipounov
3
10/30/23
I have a question about replacing GuestOS for S2E
Thank you, I am trying! 在2023年10月31日星期二 UTC+8 01:40:06<Vitaly Chipounov> 写道: Hi, S2E supports
unread,
I have a question about replacing GuestOS for S2E
Thank you, I am trying! 在2023年10月31日星期二 UTC+8 01:40:06<Vitaly Chipounov> 写道: Hi, S2E supports
10/30/23
Vitaly Chipounov
10/26/23
Re: [s2e-dev] Issue about state switching
Hi, Use the S2EExecutionState::Yield() api if you want to switch states from the execution loop.
unread,
Re: [s2e-dev] Issue about state switching
Hi, Use the S2EExecutionState::Yield() api if you want to switch states from the execution loop.
10/26/23
Wenkang
10/26/23
Issue about state switching in S2E
Hi Vitaly, I'd like to develop a searcher plugin that enables switching the state when the S2E is
unread,
Issue about state switching in S2E
Hi Vitaly, I'd like to develop a searcher plugin that enables switching the state when the S2E is
10/26/23
Jay Ironman
2
10/22/23
On the issue of code coverage
I still don't have a clue about this question. If you could take the time to answer it, thank you
unread,
On the issue of code coverage
I still don't have a clue about this question. If you could take the time to answer it, thank you
10/22/23
Jay Ironman
,
Vitaly Chipounov
6
9/20/23
Encountered some issues while replacing GuestOS
It seems that I have already solved this problem, just delete all the content in the "images
unread,
Encountered some issues while replacing GuestOS
It seems that I have already solved this problem, just delete all the content in the "images
9/20/23
Jay Ironman
,
Vitaly Chipounov
4
9/18/23
I have a question about modifying the system version now
Hi, On Mon, Sep 18, 2023 at 4:11 PM Jay Ironman <ironman...@gmail.com> wrote: Yes, I saw
unread,
I have a question about modifying the system version now
Hi, On Mon, Sep 18, 2023 at 4:11 PM Jay Ironman <ironman...@gmail.com> wrote: Yes, I saw
9/18/23
Jay Ironman
,
Vitaly Chipounov
4
9/16/23
I have encountered a question about Jinja2 package now. I hope you can take the time to help me answer it. Thank you!
Do you mean I need to start over from scratch? 在2023年9月17日星期日 UTC+8 01:03:41<Vitaly Chipounov>
unread,
I have encountered a question about Jinja2 package now. I hope you can take the time to help me answer it. Thank you!
Do you mean I need to start over from scratch? 在2023年9月17日星期日 UTC+8 01:03:41<Vitaly Chipounov>
9/16/23
Jay Ironman
,
Vitaly Chipounov
3
9/16/23
I use 's2e image'_ Build ubuntu-22.04-x86_ 64 'to build a virtual machine image, but the following errors may occur.
Thank you very much, I'll give it a try! 在2023年9月16日星期六 UTC+8 19:31:38<Vitaly Chipounov> 写道
unread,
I use 's2e image'_ Build ubuntu-22.04-x86_ 64 'to build a virtual machine image, but the following errors may occur.
Thank you very much, I'll give it a try! 在2023年9月16日星期六 UTC+8 19:31:38<Vitaly Chipounov> 写道
9/16/23
Jay Ironman
,
Vitaly Chipounov
2
9/16/23
I use 's2e image'_ Build ubuntu-22.04-x86_ 64 ` to build a virtual machine image, but the following error may occur.
Hi, There is not enough information to debug this. Maybe it could be caused by Chinese locale. Vitaly
unread,
I use 's2e image'_ Build ubuntu-22.04-x86_ 64 ` to build a virtual machine image, but the following error may occur.
Hi, There is not enough information to debug this. Maybe it could be caused by Chinese locale. Vitaly
9/16/23
Haoxin Tu
,
Vitaly Chipounov
4
8/9/23
How to get test cases or path constraints for different processes?
Hi, Could you modify _s2e_touch_buffer [1] to read the data from the buffer and write it back? That
unread,
How to get test cases or path constraints for different processes?
Hi, Could you modify _s2e_touch_buffer [1] to read the data from the buffer and write it back? That
8/9/23
Sailesh Sai Teja
,
Vitaly Chipounov
4
7/29/23
All paths from source to destination function.
Hey, Thanks for writing back. So is the above mentioned analysis possible throught klee? because of
unread,
All paths from source to destination function.
Hey, Thanks for writing back. So is the above mentioned analysis possible throught klee? because of
7/29/23
Yukinari
, …
Vitaly Chipounov
27
7/27/23
Will the S2E kernel be updated
Hi, On Thu, Jul 27, 2023 at 5:27 PM Haoxin Tu <tuha...@gmail.com> wrote: (1) Based on the
unread,
Will the S2E kernel be updated
Hi, On Thu, Jul 27, 2023 at 5:27 PM Haoxin Tu <tuha...@gmail.com> wrote: (1) Based on the
7/27/23
Vitaly Chipounov
7/17/23
Re: [s2e-dev] Meet problem when using S2E to trace symbolic register
Hi, S2E supports making arbitrary data symbolic and that data can flow anywhere in the system.
unread,
Re: [s2e-dev] Meet problem when using S2E to trace symbolic register
Hi, S2E supports making arbitrary data symbolic and that data can flow anywhere in the system.
7/17/23
Reaper Lu (Dingisoul)
,
Vitaly Chipounov
5
7/15/23
Can S2E use fork to save a symbolic state
Hi Vitaly, I have found the suspendstate API, I will test it in my project Thanks, Dingisoul 在2023年7月
unread,
Can S2E use fork to save a symbolic state
Hi Vitaly, I have found the suspendstate API, I will test it in my project Thanks, Dingisoul 在2023年7月
7/15/23
Reaper Lu (Dingisoul)
,
Vitaly Chipounov
5
7/15/23
About jump targets in S2E
Hi Vitaly, I have tried to add getStaticBranchTaret in onFork signal callback handler but it failed.
unread,
About jump targets in S2E
Hi Vitaly, I have tried to add getStaticBranchTaret in onFork signal callback handler but it failed.
7/15/23
Haoxin Tu
,
Vitaly Chipounov
2
7/15/23
Does S2E support "direct" symbolic execution to find a specifiic location in the program?
Hi, You can get something similar by writing an annotation that would terminate a state when a given
unread,
Does S2E support "direct" symbolic execution to find a specifiic location in the program?
Hi, You can get something similar by writing an annotation that would terminate a state when a given
7/15/23