The project states:<p>&quot;Panopticon is a disassembler that understands the semantics of opcodes. This way it&#x27;s able to help the user by discovering and displaying invariants that would have to be discovered &quot;by hand&quot; in traditional disassemblers.&quot;<p>Doesn&#x27;t every disassembler have to understand the opcode semantics in order to disassemble and make sense of them or am I misinterpreting that statement?<p>Also can anyone explain what the &quot;invariants&quot; are? When I hear the word I can only think of loop invariants and I&#x27;m guessing that is not what the author means here.