foxdec-0.1.0.0: Formally Verified x86-64 Decompilation

Index - P

PACKSSDWX86.Opcode
PACKSSWBX86.Opcode
PADDBX86.Opcode
PADDDX86.Opcode
PADDQX86.Opcode
PADDSBX86.Opcode
PADDSWX86.Opcode
PADDUSBX86.Opcode
PADDUSWX86.Opcode
PADDWX86.Opcode
pairBase
PALIGNRX86.Opcode
PANDX86.Opcode
PANDNX86.Opcode
parameter_registersX86.Conventions
parse_configConfig
partitionWithBase
PAUSEX86.Opcode
PAVGBX86.Opcode
PAVGWX86.Opcode
PBLENDWX86.Opcode
PCLMULQDQX86.Opcode
PCMPEQBX86.Opcode
PCMPEQDX86.Opcode
PCMPGTBX86.Opcode
PCMPGTDX86.Opcode
PextrData.SymbolicExpression
PEXTRBX86.Opcode
PEXTRDX86.Opcode
PEXTRQX86.Opcode
PFX86.Flag
PHADDDX86.Opcode
PINSRBX86.Opcode
PINSRDX86.Opcode
PINSRQX86.Opcode
PlusData.SymbolicExpression
PMADDWDX86.Opcode
PMAXSDX86.Opcode
PMAXSWX86.Opcode
PMAXUBX86.Opcode
PMAXUDX86.Opcode
PMAXUQX86.Opcode
PMINSDX86.Opcode
PMINSWX86.Opcode
PMINUBX86.Opcode
PMINUDX86.Opcode
PMOVMSKBX86.Opcode
PMOVSXBDX86.Opcode
PMOVSXDQX86.Opcode
PMOVZXBDX86.Opcode
PMOVZXDQX86.Opcode
PMULHUWX86.Opcode
PMULHWX86.Opcode
PMULLDX86.Opcode
PMULLQX86.Opcode
PMULLWX86.Opcode
PMULUDQX86.Opcode
PointerBaseData.SymbolicExpression
PointerDomainAnalysis.Context
pointers_from_different_global_sectionAnalysis.Pointers
PointerToSymbolData.SymbolicExpression
pointer_bases_separateAnalysis.Pointers
pointer_bases_separate_necessarilyAnalysis.Pointers
pointer_bases_separate_possiblyAnalysis.Pointers
pointer_domainsData.JSON_Taxonomy
POPX86.Opcode
POPAX86.Opcode
POPADX86.Opcode
POPFX86.Opcode
POPFDX86.Opcode
POPFQX86.Opcode
PORX86.Opcode
postAnalysis.ControlFlow
PostconditionData.JSON_Taxonomy
postconditionData.JSON_Taxonomy
PostconditionsAnalysis.Context
pp_exprData.SymbolicExpression
pp_instructionAnalysis.Context
PreconditionGeneric.SymbolicConstituents
preconditionData.JSON_Taxonomy
Predicate 
1 (Type/Class)Analysis.Context
2 (Type/Class)Data.JSON_Taxonomy
PREFETCHNTAX86.Opcode
PREFETCHT0X86.Opcode
PREFETCHT1X86.Opcode
PREFETCHT2X86.Opcode
PrefixX86.Prefix
prefix 
1 (Function)Generic.Instruction
2 (Function)Data.JSON_Taxonomy
3 (Function)Data.JSON
PropagatorGeneric.SymbolicPropagation
PSADBWX86.Opcode
PSHUFBX86.Opcode
PSHUFDX86.Opcode
PSHUFLWX86.Opcode
PSLLDX86.Opcode
PSLLDQX86.Opcode
PSLLQX86.Opcode
PSLLWX86.Opcode
PSRADX86.Opcode
PSRAWX86.Opcode
PSRLDX86.Opcode
PSRLDQX86.Opcode
PSRLQX86.Opcode
PSRLWX86.Opcode
PSUBBX86.Opcode
PSUBDX86.Opcode
PSUBQX86.Opcode
PSUBSBX86.Opcode
PSUBSQX86.Opcode
PSUBUSBX86.Opcode
PSUBUSWX86.Opcode
PSUBWX86.Opcode
PTESTX86.Opcode
PtrOffset 
1 (Type/Class)Data.SValue
2 (Data Constructor)Data.SValue
PtrValueData.SValue2
PUNPCKLBWX86.Opcode
PUNPCKLDQX86.Opcode
PUNPCKLQDQX86.Opcode
PUNPCKLWDX86.Opcode
purge_contextAnalysis.Context
PUSHX86.Opcode
PUSHAX86.Opcode
PUSHADX86.Opcode
PUSHFX86.Opcode
PUSHFDX86.Opcode
PUSHFQX86.Opcode
putNESetOfBase
PXORX86.Opcode