#4 |
Implement exec --symbolic.
|
assigned
|
adamatousek
|
feature
|
4.3
|
major
|
#6 |
Improve support for debugging inlined functions
|
new
|
mornfall
|
defect
|
5.0
|
major
|
#10 |
Memory leak from symbolic values.
|
new
|
|
defect
|
5.0
|
major
|
#16 |
Undetected double free
|
new
|
Henrich Lauko
|
feature
|
5.0
|
major
|
#17 |
Generalize smt builder interface to be usable with different back-ends.
|
assigned
|
Henrich Lauko
|
feature
|
5.0
|
major
|
#18 |
Implement string modification abstraction.
|
new
|
Henrich Lauko
|
task
|
5.0
|
major
|
#19 |
SYM: Spurious errors due to infeasible explicit values
|
assigned
|
Henrich Lauko
|
defect
|
5.0
|
major
|
#22 |
Use lifetime markers to move allocas
|
new
|
Henrich Lauko
|
task
|
4.3
|
major
|
#25 |
Make metadata exception map lock-free
|
assigned
|
adamatousek
|
feature
|
4.4
|
major
|
#26 |
The weakmem runtime leaks memory
|
assigned
|
Vladimír Štill
|
defect
|
5.0
|
major
|
#31 |
Capture 'mount points' are confusing.
|
new
|
mornfall
|
task
|
5.0
|
major
|
#32 |
Allow usermeta layers to be weak (debug).
|
new
|
mornfall
|
feature
|
5.0
|
major
|
#33 |
Return the list of leaked objects back to userspace.
|
new
|
mornfall
|
feature
|
5.0
|
major
|
#34 |
Add _VM_T_StackTrace to __vm_trace.
|
new
|
mornfall
|
feature
|
5.0
|
major
|
#35 |
Track origins of memory objects.
|
new
|
|
feature
|
5.0
|
major
|
#38 |
Report attempts to use symbolic data if symbolic is disable
|
new
|
mornfall
|
defect
|
5.0
|
major
|
#40 |
Error with _SYM and array indexing (worked in 4.1.6)
|
new
|
Henrich Lauko
|
feature
|
5.0
|
major
|
#43 |
Fix thread_local
|
accepted
|
mornfall
|
defect
|
4.5
|
major
|
#45 |
Add support for __atomic_* libcalls
|
new
|
|
defect
|
5.0
|
major
|
#47 |
Benchmark abstraction cleanup influence
|
assigned
|
Henrich Lauko
|
task
|
5.0
|
major
|
#48 |
Destroy symbolic formula directly when 0 reference count is reached
|
assigned
|
Henrich Lauko
|
feature
|
4.3
|
major
|
#51 |
Write a style guide.
|
new
|
mornfall
|
task
|
5.0
|
major
|
#53 |
divcc: Investigate and fix coreutils' ls
|
assigned
|
blurry
|
defect
|
4.3
|
major
|
#55 |
Store snapshots in 2 layers.
|
new
|
mornfall
|
task
|
4.4
|
major
|
#59 |
Make it possible for `step --over` to stop on thread switch
|
new
|
mornfall
|
defect
|
4.3
|
major
|
#60 |
missing __sym_sitofp
|
assigned
|
Henrich Lauko
|
defect
|
4.3
|
major
|
#62 |
Generate concrete counterexample from smt.
|
assigned
|
Henrich Lauko
|
feature
|
4.3
|
major
|
#64 |
Integrate Ballista into DiOS' testsuite.
|
new
|
|
task
|
4.4
|
major
|
#66 |
Re-write addSection in terms of llvm code.
|
new
|
blurrymoi
|
task
|
4.4
|
major
|
#68 |
sysconf macros should be inferred via hostabi
|
new
|
|
task
|
4.4
|
major
|
#69 |
Fix linking with lld
|
new
|
blurrymoi
|
defect
|
4.4
|
major
|
#72 |
Termination testing our data structures
|
assigned
|
xstill
|
defect
|
5.0
|
major
|
#73 |
make install failure - Divine 4.3.2
|
reopened
|
mornfall
|
defect
|
4.3
|
major
|
#87 |
Struct self-assignment results in assertion failure in memcpy
|
accepted
|
mornfall
|
defect
|
4.3
|
major
|
#90 |
VFS: Divine segfaults while loading when capturing a diffutils directory
|
new
|
|
defect
|
4.3
|
major
|
#94 |
sim: Signed integer value is shown as unsigned.
|
new
|
mornfall
|
defect
|
4.4
|
major
|
#95 |
sim: Negative integer is ignored when defined after another negative integer.
|
new
|
mornfall
|
defect
|
4.4
|
major
|
#96 |
DiOS: Passing the debug:faultcfg option results in null pointer dereference in kernel
|
new
|
|
defect
|
4.4
|
major
|
#97 |
DiOS: Passing the debug:mainargs option results in config error in kernel
|
new
|
|
defect
|
4.4
|
major
|
#98 |
testsuite: Testsuite does not use clang from Divine's toolchain
|
new
|
mornfall
|
defect
|
4.4
|
major
|
#99 |
The '+' character in nightly tars breaks some tests
|
new
|
mornfall
|
defect
|
4.4
|
major
|
#100 |
libc: getline implementation incorrectly checks the failure of realloc
|
new
|
|
defect
|
4.4
|
major
|