This Binary Ninja plugin does backward and forward slicing of MLIL variables. - View it on GitHub