[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