[klee-dev] A question of klee about specialfunction
Cristian Cadar
c.cadar at imperial.ac.uk
Mon Jun 3 10:44:37 BST 2024
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" <c.cadar at imperial.ac.uk>;
> *Date:* Fri, May 31, 2024 05:37 AM
> *To:* "klee-dev"<klee-dev at imperial.ac.uk>;
> *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
> > klee-dev at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
More information about the klee-dev
mailing list