staticafi/JetKlee

Issues

• Compilation error

  #4 opened 4 years ago by davidtr1037
  4

• allocations larger than blockSize in MmapAllocator

  #9 opened 4 years ago by tomsik68
  1

• Pointer comparison can be used to drop unrelated execution paths

  #12 opened 4 years ago by tomsik68
  0

• Indirect pointer arithmetics on different memory objects confuses klee

  #6 opened 4 years ago by tomsik68
  0

• Implement also __VERIFIER_assume

  #1 opened 5 years ago by mchalupa
  0