1. AProVE. aprove.informatik.rwth-aachen.de/eval/Bitvectors/
2. Hex-rays decompiler. www.hex-rays.com/products/decompiler/
3. mcsema jump table bug. github.com/lifting-bits/mcsema/issues/558
4. mcsema bug, missing data cross reference due to resetting ida’s analysis flag. github.com/lifting-bits/mcsema/issues/561
5. mcsema var. bug. github.com/lifting-bits/mcsema/issues/566