There are actual jobs, in industry, making use of this stuff. For example, here is one that I put in the "Who is hiring?" item this month: https://news.ycombin

There are actual jobs, in industry, making use of this stuff. For example, here is one that I put in the "Who is hiring?" item this month: https://news.ycombinator.com/item?id=19543995 https://news.ycombinator.com/item?id=19543995 Typically one would convert a binary executable into some other form, then analyze it to find all possible bugs. Of course one quickly slams into troubles like the halting problem, but it is still usually possible to gain useful understanding of the binary executable.