I am could looking looking at method that involves decompilation or hex editing but I am hoping something simpler is available, although fully willing to go down that path. The scenario I am trying to solve is that I have an executable that is being flagged as a virus. I am exploring all possibilities and including the possibility that my compiler is injecting a virus into the code. I have the virus name that is being reported. I do not care if the anti-virus scanner flags it again, but I do want to develop some proof that this file is indeed safe. Assuming my paperwork is trusted how would I do so? Also, please assume that this executable can't be submitted to the anti-virus company for heuristic whitelisting.
While this situation is contrived I am asking in short, if I have executable and a virus name that is found by an anti-virus engine how can I confirm that executable does not contain that virus.