[Eva] Fixes request getDeadCode for functions that have not been analyzed.
In Ivette, marks as unreachable the statements of functions whose body has not been analyzed.
Loading
Please register or sign in to comment
In Ivette, marks as unreachable the statements of functions whose body has not been analyzed.