haybale 0.7.2

Symbolic execution of LLVM IR, written in Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

int load_and_store(volatile int* ptr, int a) {
  *ptr = a - 3;
  return *ptr;
}

int local_ptr(int a) {
  volatile int stored;
  volatile int* ptr = &stored;
  *ptr = a - 3;
  return *ptr;
}

int overwrite(volatile int* ptr, int a) {
  *ptr = 0;
  *ptr = 2;
  *ptr = a - 3;
  return *ptr;
}

int load_and_store_mult(volatile int* ptr, int a) {
  *ptr = a;
  *ptr = *ptr + 10;
  *ptr = *ptr - 13;
  return *ptr;
}

int array(volatile int* ptr, int a) {
  ptr[10] = a - 3;
  ptr[0] = a + 3;
  return ptr[10];
}

int pointer_arith(volatile int* ptr, int a) {
  volatile int* temp_ptr = ptr;
  *temp_ptr = a - 0;
  temp_ptr++;
  *temp_ptr = a - 1;
  temp_ptr++;
  *temp_ptr = a - 2;
  temp_ptr++;
  *temp_ptr = a - 3;
  temp_ptr++;
  *temp_ptr = a - 4;
  temp_ptr++;
  *temp_ptr = a - 5;
  temp_ptr++;
  *temp_ptr = a - 6;
  temp_ptr++;

  return ptr[3];
}

int pointer_compare(int a) {
  volatile int x, y;
  volatile int* volatile ptr_x = &x;
  volatile int* volatile ptr_y = &y;

  *ptr_x = a - 3;

  if (ptr_x == ptr_y) {
    return *ptr_x - 100;
  } else {
    return *ptr_x;
  }
}