[klee-dev] A question of klee about specialfunction
Cristian Cadar
c.cadar at imperial.ac.uk
Thu May 30 22:37:57 BST 2024
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
More information about the klee-dev
mailing list