Никульшин Павел Андреевич / syz-analyzer