I dunno... If you took a few random textbook physics problems, and replaced all of the nouns and units with arbitrary consistent strings, do you think that it would be possible to tell an electromagnetic problem apart from a plumbing problem? What if the subject is an electric pump?
It seems like we're at the point where something might be able to be done, but having the set up be
assembly -> RNN -> C
Would be asking for a bit much IMO. If you develop something like snowman that outputs many possible equivalent C ASTs and train something that tries to choose the one that was the original code.
Would be cool if it could even guess variable names from patterns it has seen before, like x,y,z for vector structs.