A bunch of folks as a Google Search will reveal. It's a common misconception about Rice's theorem that no programs can be analyzed.

https://www.reddit.com/r/btc/comments/4p0gq3/why_turingcomplete_smart_contracts_are_doomed/
https://steemit.com/thedao/@dana-edwards/turing-complete-smart-contracts-can-never-be-trustworthy
https://news.ycombinator.com/item?id=11941758

My turn. You said I copied your writing. Show me evidence of me copying your content or retract and apologize.