Index - O
| onlyWhen | Base |
| Opcode | Data.X86.Opcode |
| opcode_to_NASM | OutputGeneration.NASM.L0ToNASM |
| Operand | Data.X86.Instruction |
| operand_size | Data.X86.Instruction |
| operand_static_resolve | Binary.FunctionNames |
| operand_to_NASM | OutputGeneration.NASM.L0ToNASM |
| Operator | Data.SymbolicExpression |
| Op_Const | Data.X86.Instruction |
| Op_Far | Data.X86.Instruction |
| Op_Imm | Data.X86.Instruction |
| Op_Jmp | Data.X86.Instruction |
| Op_Mem | Data.X86.Instruction |
| Op_Near | Data.X86.Instruction |
| Op_Reg | Data.X86.Instruction |
| OR | Data.X86.Opcode |
| Or | Data.SymbolicExpression |
| orElse | Base |
| orElseM | Base |
| ORPD | Data.X86.Opcode |
| ORPS | Data.X86.Opcode |
| orTry | Base |
| orTryM | Base |
| OUT | Data.X86.Opcode |
| OUTS | Data.X86.Opcode |
| out_edges | WithAbstractPredicates.GenerateInvariants |