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

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

источник

2016-03-17 sumit

Нет такой вещи, как инструкция символична или конкретна. Это просто данные, к которым обращается инструкция в текущем контексте, символически будет оцениваться символически, в противном случае она будет оцениваться конкретно по соображениям эффективности. – user

@user, пожалуйста, прочитайте вопрос еще раз. В моем вопросе спрашивается, является ли переменная символической или конкретной, а не инструкцией. – sumit

Для этой цели существует 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);

источник

2017-09-20 03:41:59 hailinzeng

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

ответ

Смежные вопросы