Hi,
The short answer is that KLEE does not support mmap.
However, it shouldn't crash and I cannot reproduce that behaviour: when
I run it, KLEE reports a memory error at "*(int*)addr = 0;", as I also
expected.
Best,
Cristian
On 09/03/2021 14:46, Liu, Mingyi wrote:
Hi klee-dev members,
I
Hi klee-dev members,
I made a pointer symbolic in a program, but I didn't understand why the results
were different with the following two scenarios.
Case 1:
#include "klee/klee.h"
#include
#include
#include
#include
int main(int argc, char* argv[]) {
int* ptr;
klee_make_symbolic(,