[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