Timeline



04/12/2021:

12:12 Ticket #114 (divine check fails with "cannot enter kernel mode here") closed by mornfall
worksforme: I believe this is resolved: the problem was a change in the semantics …

03/26/2021:

13:01 Ticket #111 (libc: zero size allocations are handled improperly) closed by mornfall
fixed: The invalid dereference variant is fixed in next. I don't think the …
02:23 Ticket #16 (Undetected double free) closed by mornfall
fixed: The comparison is now reported as an error by verify, so the program …
01:46 Ticket #110 (DiOS: -o {stdout|stderr}:notrace results in a null pointer dereference) closed by mornfall
fixed: Fixed in next.
01:18 Ticket #97 (DiOS: Passing the debug:mainargs option results in config error in kernel) closed by mornfall
fixed: Fixed in next.
01:18 Ticket #96 (DiOS: Passing the debug:faultcfg option results in null pointer ...) closed by mornfall
fixed: Fixed in next.
Note: See TracTimeline for information about the timeline view.