I wrote already about nm which is a great tool to analyze the binaries. This can be used to quickly check whether a binary supports BitCode or not. Just open a terminal where your binary stored and use this command: nm -a -U -A -m <filename> | grep -i bitcode