Symbolic executor for Binary Ninja's MLIL - View it on GitHub