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
