Entire libs2e gets recompiled after modifying KLEE and Z3

11 views
Skip to first unread message

Alan Wang

unread,
Jan 19, 2021, 4:55:00 PMJan 19
to S2E Developer Forum
Hi, 

I'm trying to debug an issue, so I need to modify KLEE and Z3. 
But when I modify a .cpp file in KLEE or Z3, the entire libs2e (all .cpp files in libtcg, libcpu, libs2ecore, libs2eplugins..) needs to be recompiled, which takes quite a long time. 
For example, if I modify ast/ast.cpp file in Z3, I think only libz3.a needs to be rebuilt, but not the other parts in libs2e, e.g., libs2eplugins. Is that correct?
So is there anyway to avoid recompiling .cpp files in libs2e after modifying KLEE or Z3?

Thanks,
Zhongjie

Vitaly Chipounov

unread,
Jan 19, 2021, 5:00:59 PMJan 19
to s2e...@googlegroups.com, Alan Wang

Hi,

I am afraid it's not possible without rewriting the main S2E makefile. Perhaps you could build Z3 as a shared library, but that would also require quite a few changes to the build system.

Vitaly

--
--
You received this message because you are a member of the S2E Developer Forum.
To post to this group, send email to s2e...@googlegroups.com
To unsubscribe from this group, send email to s2e-dev+u...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/s2e-dev

---
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/s2e-dev/8528394d-254e-488c-af5f-de9fcdb466d8n%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages