Example binary and source for https://binary.ninja/2020/09/10/user-informed-dataflow.html - View it on GitHub