[rubyfan]

I’m curious what new methods have replaced this type of analysis?

[skeeter2020]

it's still widely used and can be validated without significant human judgement. Implementations are more efficient, and computatal complexity is through the roof but the approach is still legit.