Как я могу сказать, является ли переменная, вызванная в инструкции в KLEE, символической или конкретной

Question

Я хочу знать, есть ли способ узнать, является ли переменная символической или нет в KLEE, когда KLEE выполняет инструкцию, включающую переменную.

Answer 1

Для этого есть API.

/* Return true if the given value is symbolic (represented by an
* expression) in the current state. This is primarily for debugging
* and writing tests but can also be used to enable prints in replay
* mode.
*/
unsigned klee_is_symbolic(uintptr_t n);