[Question][Hw5] Expected result of analyzer?

[woojinnn]

#include "homework.h"
void h(int *a) { *a = 1; }

void g(int *a) { *a = 2; }

void k(int *a) { *a = 0; }

int main() {
    void (*fp)(int *);
    int *p = malloc();
    int x = 0;
    int y = input();
    if (y < 0) {
        fp = h;
    } else {
        fp = g;
    }
    3 / x;                                  // a
    (*fp)(&x);
    (*fp)(p);
    4 / (*p);                             // b
    5 / x;                                 // c

    fp = k;
    (*fp)(p);
    6/(*p);                              // d

    return 0;
}

In this sample code, among line {a, b, c, d}, where is the proper case that DIV0 may occur according to ideal analyzer?
I think {a, d} would be possible even with context-insensitive implementation

[goodtaeeun]

Hi,

Figuring out how the ideal analyzer would behave can be considered a part of the assignment.

Regards,
Tae Eun.