Comment by quickthrower2

It can’t handle JS completely because we can’t predict a programs behaviour using static analysis. See Halting Problem for example.