[klee-dev] A question of klee about specialfunction

[komorebi]

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?
-------------- next part --------------
HTML attachment scrubbed and removed