index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test
/
regression
Mode
Name
Size
-rw-r--r--
2007-07-25-invalid-stp-array-binding-to-objectstate.c
350
log
plain
blame
-rw-r--r--
2007-07-30-unflushed-byte.c
397
log
plain
blame
-rw-r--r--
2007-08-01-bool-zext-in-call.ll
712
log
plain
blame
-rw-r--r--
2007-08-01-cache-unclear-on-overwrite-flushed.c
474
log
plain
blame
-rw-r--r--
2007-08-06-64bit-shift.c
400
log
plain
blame
-rw-r--r--
2007-08-06-access-after-free.c
562
log
plain
blame
-rw-r--r--
2007-08-08-free-zero.c
222
log
plain
blame
-rw-r--r--
2007-08-16-invalid-constant-value.c
828
log
plain
blame
-rw-r--r--
2007-08-16-valid-write-to-freed-object.c
645
log
plain
blame
-rw-r--r--
2007-10-11-free-of-alloca.c
370
log
plain
blame
-rw-r--r--
2007-10-11-illegal-access-after-free-and-branch.c
618
log
plain
blame
-rw-r--r--
2007-10-12-failed-make-symbolic-after-copy.c
631
log
plain
blame
-rw-r--r--
2008-03-04-free-of-global.c
380
log
plain
blame
-rw-r--r--
2008-03-11-free-of-malloc-zero.c
361
log
plain
blame
-rw-r--r--
2008-04-10-bad-alloca-free.c
279
log
plain
blame
-rw-r--r--
2008-05-23-gep-with-global-const.c
270
log
plain
blame
-rw-r--r--
2014-07-04-unflushed-error-report.c
686
log
plain
blame
-rw-r--r--
2014-09-13-debug-info.c
997
log
plain
blame
-rw-r--r--
2014-12-08-ashr.c
528
log
plain
blame
-rw-r--r--
2015-06-22-struct-write.c
338
log
plain
blame
-rw-r--r--
2015-08-05-invalid-fork.c
711
log
plain
blame
-rw-r--r--
2015-08-30-empty-constraints.c
593
log
plain
blame
-rw-r--r--
2015-08-30-sdiv-1.c
663
log
plain
blame
-rw-r--r--
2016-03-22-independence-solver-missing-objects-for-assignment.kquery
577
log
plain
blame
-rw-r--r--
2016-04-14-sdiv-2.c
518
log
plain
blame
-rw-r--r--
2016-06-28-div-zero-bug.c
576
log
plain
blame
-rw-r--r--
2016-08-06-klee-get-obj-size.c
296
log
plain
blame
-rw-r--r--
2016-08-11-entry-point-internalize-pass.c
172
log
plain
blame
-rw-r--r--
2016-08-12-empty-file.c
518
log
plain
blame
-rw-r--r--
2016-11-24-bitcast-weak-alias.c
1052
log
plain
blame
-rw-r--r--
2016-12-14-alloc-alignment.c
521
log
plain
blame
-rw-r--r--
2017-02-21-pathOS-id.c
637
log
plain
blame
-rw-r--r--
2017-03-23-early-exit-log-stats.c
968
log
plain
blame
-rw-r--r--
2017-11-01-test-with-empty-varname.c
344
log
plain
blame
-rw-r--r--
2018-04-05-make-symbolic-null-name.c
210
log
plain
blame
-rw-r--r--
2018-05-05-number-instructions-dumped-states.c
273
log
plain
blame
-rw-r--r--
2018-05-17-replay-short-names.c
266
log
plain
blame
-rw-r--r--
2018-10-01-double-segfault.c
601
log
plain
blame
-rw-r--r--
2018-10-28-alias-to-alias.ll
562
log
plain
blame
-rw-r--r--
2018-10-30-llvm-pr39177.ll
1663
log
plain
blame
-rw-r--r--
2019-05-30_known-bitcast-alias.ll
991
log
plain
blame
-rw-r--r--
2019-05-30_unknown-bitcast-alias.ll
1058
log
plain
blame
-rw-r--r--
2019-05-31_simple-unknown-bitcast-alias.ll
511
log
plain
blame
-rw-r--r--
2019-08-01-trap-instruction.ll
650
log
plain
blame
-rw-r--r--
2019-08-02-missing-switch-default.ll
1204
log
plain
blame
-rw-r--r--
2019-09-06-make-const-symbolic.c
361
log
plain
blame
-rw-r--r--
2020-01-14-fabs-compare.c
312
log
plain
blame
-rw-r--r--
2020-02-24-count-paths-nodump.c
469
log
plain
blame
-rw-r--r--
2020-04-11-batching-search-zero-time-budget.c
449
log
plain
blame
-rw-r--r--
2020-04-27-stp-array-names.c
503
log
plain
blame
-rw-r--r--
2022-06-28-asm-causes-error.c
368
log
plain
blame
-rw-r--r--
2023-11-20-solver.c
1160
log
plain
blame
-rw-r--r--
lit.local.cfg
60
log
plain
blame
