Screenshots of IDA from running the code at this asciinema link.
The generated python files are from the commands:
bap coreutils_O3_uniq --taint-reg='%000026e1' --taint --emit-ida-script-file=tr.py --emit-ida-script-attr=tainted-reg --emit-ida-script
bap coreutils_O3_uniq --taint-reg='%000026e1' --taint --map-terms-with='((taints) (color green))' --map-terms --emit-ida-script-file=c.py --emit-ida-script-attr=color --emit-ida-script
The coreutils_O3_uniq
file is taken from BinaryAnalysisPlatform/arm-binaries.
Names of the screenshot files should make it clear, as to what each one is about.