To get rid of that warning, add the function to modelledExternals in
tools/klee/main.cpp.
Best,
Cristian
On 31/05/2024 03:21, komorebi wrote:
Thank you very much for your replies. As it stands, I want the analogy
klee_assume to extend a specialfunction klee_asan. The declaration and
implementation of handleAsan has been added in
lib/Core/specialFunction.cpp and lib/Core/specialFunctionHandler.h, and
the declaration of the klee _ asan function has been added in klee.h.
However, warning: undefined reference to function: klee_asan still
appears when testing the program. What other documents do I need?
------------------ Original ------------------
*From:* "Cristian Cadar" <[email protected]>;
*Date:* Fri, May 31, 2024 05:37 AM
*To:* "klee-dev"<[email protected]>;
*Subject:* Re: [klee-dev] A question of klee about specialfunction
Hi,
Some of these intrinsics are handled in SpecialFunctions.cpp, while
others are implemented outside the core of KLEE, in runtime/Intrinsic/
Best,
Cristian
On 30/05/2024 14:20, komorebi wrote:
> Hello, I am a master student interested in symbol execution. I would
> like to ask a question, if I want to extend specialfunction in klee by
> analogy to functions such as klee _ assume, klee _ make _ symbol, etc.
> What code files should I modify in addition to adding function
> implementations in specialfunction.cpp?
>
> _______________________________________________
> klee-dev mailing list
> [email protected]
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
