Корреляции крашей лгут. Вот как заставить их указывать на реальный баг.
Statistical debugging находит predicates, коррелированные с крашами, но корреляция — это не файл и номер строки. Вот как ранжировать, фильтровать и триангулировать свой путь от корреляционного score к реальному месту бага.
Statistical debugging даёт вам отсортированный список predicates, а не root cause. Вы инструментируете каждую ветку и null check, запускаете сто тысяч…