[souprock]

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

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.

[saagarjha]

I noticed that you didn’t mention an employer in that listing.

[schoen]

Looks like it's probably Raytheon Cyber:

https://www.reddit.com/r/ReverseEngineering/comments/9x0v2z/...