[Art competition] Context-sensitive analysis

[KunJeong]

Short Description

For me, [Context-sensitive analysis] means [a landscape full of different circular portals to another universe, some of them inside other portals, digital art]

Long Description

Function calls send values to a completely different location in the program, which is similar to jumping through portals. By using context-sensitive analysis, we can prove more assertions about a program by maintaining the call stack of functions to a certain depth. This is similar to each portal maintaining its form instead of disappearing after use (=> a land full of portals), and being able to see through multiple stacked portals.

[KihongHeo]

Then, the k-th portal is the event horizon?
Why don't you make a song like this?

[KunJeong]

Yes, with k-sensitivity that would be the case