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

struct SomeStruct {
  const int field1;
  const int field2;
  const int field3;
};

struct StructWithPointers {
  const int field1;
  const int* intptr;
  const struct SomeStruct* ssptr;
  const struct StructWithPointers* swpptr;
};

struct StructWithFunctionPointer {
  const int field1;
  int (*const funcptr)(int, int);
  void* voidfuncptr;
};

int foo();
int bar(int, int);