I realize we can dump equivalent assembly from C++ code using many debuggers and such.
But what about binary code? The formatting of bits in each byte(s) that make up the actual machine instructions, which (may) make up the microprograms(if the microarchitecture has one).
If each line of C++ code HAS to be converted to machine code in some way and at some point along the program (e.g. a float may be defined in C++, but has no use until pushed on the stack, so it may not convert 1:1 to all machine code, line-by-line, but will be used regardless), each statement, etc., can be traced. But debuggers don't output the formation of bits occupying each individual instruction(s).
If each program becomes formatted byte/bit pattern instructions for the CPU, it must be possible (I assume) to trace all the code you write to the actual bits on the circuit-level.
But for the fullest assurance possible, is it possible to do this to the extent I'm describing here? Modern debuggers/software do not offer this feature, and even the ones that do seem to not give the entire binary representation of each instruction clear to the developer.
PS: This is, of course, assuming the compiled-code is readily executable with instructions for the intended architecture (and not some interpreted language, or bytecode which needs another program to further translate for it).