Opened 3 weeks ago

#16 new defect

Undetected double free

Reported by: Henrich Lauko Owned by: mornfall
Priority: major Milestone: future
Component: VM Keywords:
Cc:

Description

In current divine, we are not able to detect possible double free here.

  #include <stdlib.h>
  
  int main() {
      void *x = malloc(0x1000);
      free(x);
      void *y = malloc(0x1000);
      if (x == y)
          free(y);
      free(y);
  }

Is there a way we would be able to do that?

Change History (0)

Note: See TracTickets for help on using tickets.