UnitTestBot/klee

Issues

• Fix compilation warnings

  #179 opened 2 months ago
  0

• Add stat for percent of time consumed by SMT-solver

  #120 opened 6 months ago
  0

• Unexpected Out-Of-Bound error on test with symbolic sizes

  #116 opened 6 months ago
  1

• Incorrrect use of Z3 with floats

  #114 opened 9 months ago
  1

• Target reachable, but testcov can not replay it (error-guided)

  #111 opened 8 months ago
  0

• Error while initializating globals

  #110 opened 6 months ago
  0

• Model reads from uninitialized memory

  #108 opened 7 months ago
  1

• Guided-none did not hit all branches

  #107 opened 8 months ago
  1

• UCLIBC memory error

  #106 opened 6 months ago
  5

• POSIX-RUNTIME linkage error

  #105 opened 6 months ago
  0

• Improve clang-format CI time

  #75 opened 3 months ago
  0

• Symbol multiply defined!

  #73 opened a year ago
  0

• Support constant arrays for STP and metaSMT

  #72 opened 7 months ago
  0

• KLEE runs out of memory

  #71 opened a year ago
  0

• KLEE fail then run on alias function with uclibc

  #69 opened a year ago
  0

• Add support of extern global variable

  #68 opened a year ago
  0

• KLEE: ERROR: Error writing stats data: database is locked

  #67 opened a year ago
  0

• To model 'abs' and 'labs' functions in klee-libc and suggest to KLEE mainline

  #66 opened a year ago
  0

• Conditional (ternary) operator support

  #65 opened a year ago
  0

• KLEE model error on concretized symbolic size

  #64 opened a year ago
  0

• Virtual functions execution in symbolic object

  #63 opened a year ago
  0

• Arrays of objects out of bounds

  #62 opened a year ago
  0

• Incorrect work of `fmin`

  #61 opened 9 months ago
  1

• Add CI that build klee and run tests into utbot docker

  #5 opened 2 years ago
  0

• Add ASan and MSan CI for KLEE

  #4 opened 2 years ago
  0