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 | 687 | 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 | 594 | log plain blame |
-rw-r--r-- | 2015-08-30-sdiv-1.c | 664 | 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 | 638 | 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 | 345 | 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 | 1752 | 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 |