LICENSE
README.md
pyproject.toml
chb/__init__.py
chb/py.typed
chb/api/AppFunctionInterface.py
chb/api/AppFunctionSemantics.py
chb/api/AppFunctionSignature.py
chb/api/AppSummary.py
chb/api/BTerm.py
chb/api/CallTarget.py
chb/api/CallTargetInfo.py
chb/api/FormatStringSpec.py
chb/api/FormatStringType.py
chb/api/FtsParameter.py
chb/api/FtsParameterLocation.py
chb/api/FunctionQualifiers.py
chb/api/FunctionStub.py
chb/api/InterfaceDictionary.py
chb/api/InterfaceDictionaryRecord.py
chb/api/MIPSLinuxSyscalls.py
chb/api/XXPredicate.py
chb/api/__init__.py
chb/app/ARMExtensionRegister.py
chb/app/ASMCallgraph.py
chb/app/AppAccess.py
chb/app/AppCfgInfo.py
chb/app/AppResultData.py
chb/app/AppResultFunctionMetrics.py
chb/app/AppResultMetrics.py
chb/app/Assembly.py
chb/app/BDictionary.py
chb/app/BDictionaryRecord.py
chb/app/BasicBlock.py
chb/app/CHVersion.py
chb/app/CallbackTables.py
chb/app/Callgraph.py
chb/app/Cfg.py
chb/app/CfgBlock.py
chb/app/DataBlocks.py
chb/app/DerivedGraphSequence.py
chb/app/DictionaryRecord.py
chb/app/FnProofObligations.py
chb/app/FnXPODictionary.py
chb/app/FnXPODictionaryRecord.py
chb/app/Function.py
chb/app/FunctionDictionary.py
chb/app/FunctionInfo.py
chb/app/FunctionStackframe.py
chb/app/FunctionsData.py
chb/app/GlobalMemoryMap.py
chb/app/InstrXData.py
chb/app/Instruction.py
chb/app/JumpTables.py
chb/app/MemoryAccess.py
chb/app/Operand.py
chb/app/Register.py
chb/app/StackPointerOffset.py
chb/app/StringXRefs.py
chb/app/StructTables.py
chb/app/SystemInfo.py
chb/app/TrampolineInfo.py
chb/app/XPOPredicate.py
chb/app/__init__.py
chb/arm/ARMAccess.py
chb/arm/ARMAssembly.py
chb/arm/ARMBlock.py
chb/arm/ARMCallOpcode.py
chb/arm/ARMCfg.py
chb/arm/ARMCfgBlock.py
chb/arm/ARMCfgPath.py
chb/arm/ARMCodeGenerator.py
chb/arm/ARMDictionary.py
chb/arm/ARMDictionaryRecord.py
chb/arm/ARMFunction.py
chb/arm/ARMInstruction.py
chb/arm/ARMJumpTable.py
chb/arm/ARMMemoryOffset.py
chb/arm/ARMOpcode.py
chb/arm/ARMOperand.py
chb/arm/ARMOperandKind.py
chb/arm/ARMPseudoCode.py
chb/arm/ARMRegister.py
chb/arm/ARMSIMD.py
chb/arm/ARMShiftRotate.py
chb/arm/ARMVfpDatatype.py
chb/arm/__init__.py
chb/arm/opcodes/ARMAESInverseMixColumns.py
chb/arm/opcodes/ARMAESMixColumns.py
chb/arm/opcodes/ARMAESSingleRoundDecryption.py
chb/arm/opcodes/ARMAESSingleRoundEncryption.py
chb/arm/opcodes/ARMAdd.py
chb/arm/opcodes/ARMAddCarry.py
chb/arm/opcodes/ARMAdr.py
chb/arm/opcodes/ARMArithmeticShiftRight.py
chb/arm/opcodes/ARMBitFieldClear.py
chb/arm/opcodes/ARMBitFieldInsert.py
chb/arm/opcodes/ARMBitwiseAnd.py
chb/arm/opcodes/ARMBitwiseBitClear.py
chb/arm/opcodes/ARMBitwiseExclusiveOr.py
chb/arm/opcodes/ARMBitwiseNot.py
chb/arm/opcodes/ARMBitwiseOr.py
chb/arm/opcodes/ARMBitwiseOrNot.py
chb/arm/opcodes/ARMBranch.py
chb/arm/opcodes/ARMBranchExchange.py
chb/arm/opcodes/ARMBranchLink.py
chb/arm/opcodes/ARMBranchLinkExchange.py
chb/arm/opcodes/ARMBreakpoint.py
chb/arm/opcodes/ARMByteReversePackedHalfword.py
chb/arm/opcodes/ARMByteReverseWord.py
chb/arm/opcodes/ARMChangeProcessorState.py
chb/arm/opcodes/ARMCompare.py
chb/arm/opcodes/ARMCompareBranchNonzero.py
chb/arm/opcodes/ARMCompareBranchZero.py
chb/arm/opcodes/ARMCompareNegative.py
chb/arm/opcodes/ARMCountLeadingZeros.py
chb/arm/opcodes/ARMDataMemoryBarrier.py
chb/arm/opcodes/ARMFLoadMultipleIncrementAfter.py
chb/arm/opcodes/ARMFStoreMultipleIncrementAfter.py
chb/arm/opcodes/ARMIfThen.py
chb/arm/opcodes/ARMLoadCoprocessor.py
chb/arm/opcodes/ARMLoadMultipleDecrementAfter.py
chb/arm/opcodes/ARMLoadMultipleDecrementBefore.py
chb/arm/opcodes/ARMLoadMultipleIncrementAfter.py
chb/arm/opcodes/ARMLoadMultipleIncrementBefore.py
chb/arm/opcodes/ARMLoadRegister.py
chb/arm/opcodes/ARMLoadRegisterByte.py
chb/arm/opcodes/ARMLoadRegisterDual.py
chb/arm/opcodes/ARMLoadRegisterExclusive.py
chb/arm/opcodes/ARMLoadRegisterHalfword.py
chb/arm/opcodes/ARMLoadRegisterSignedByte.py
chb/arm/opcodes/ARMLoadRegisterSignedHalfword.py
chb/arm/opcodes/ARMLogicalShiftLeft.py
chb/arm/opcodes/ARMLogicalShiftRight.py
chb/arm/opcodes/ARMMove.py
chb/arm/opcodes/ARMMoveFromSpecialRegister.py
chb/arm/opcodes/ARMMoveRegisterCoprocessor.py
chb/arm/opcodes/ARMMoveToCoprocessor.py
chb/arm/opcodes/ARMMoveToSpecialRegister.py
chb/arm/opcodes/ARMMoveTop.py
chb/arm/opcodes/ARMMoveTwoRegisterCoprocessor.py
chb/arm/opcodes/ARMMultiply.py
chb/arm/opcodes/ARMMultiplyAccumulate.py
chb/arm/opcodes/ARMMultiplySubtract.py
chb/arm/opcodes/ARMNoOperation.py
chb/arm/opcodes/ARMNotRecognized.py
chb/arm/opcodes/ARMPermanentlyUndefined.py
chb/arm/opcodes/ARMPop.py
chb/arm/opcodes/ARMPreloadData.py
chb/arm/opcodes/ARMPush.py
chb/arm/opcodes/ARMReverseBits.py
chb/arm/opcodes/ARMReverseSubtract.py
chb/arm/opcodes/ARMReverseSubtractCarry.py
chb/arm/opcodes/ARMRotateRight.py
chb/arm/opcodes/ARMRotateRightExtend.py
chb/arm/opcodes/ARMSHA1FixedRotate.py
chb/arm/opcodes/ARMSHA1HashUpdateChoose.py
chb/arm/opcodes/ARMSHA1HashUpdateMajority.py
chb/arm/opcodes/ARMSHA1HashUpdateParity.py
chb/arm/opcodes/ARMSHA1ScheduleUpdate0.py
chb/arm/opcodes/ARMSHA1ScheduleUpdate1.py
chb/arm/opcodes/ARMSHA256HashUpdatePart1.py
chb/arm/opcodes/ARMSHA256HashUpdatePart2.py
chb/arm/opcodes/ARMSHA256ScheduleUpdate0.py
chb/arm/opcodes/ARMSHA256ScheduleUpdate1.py
chb/arm/opcodes/ARMSaturatingAdd.py
chb/arm/opcodes/ARMSaturatingDoubleAdd.py
chb/arm/opcodes/ARMSaturatingDoubleSubtract.py
chb/arm/opcodes/ARMSaturatingSubtract.py
chb/arm/opcodes/ARMSelectBytes.py
chb/arm/opcodes/ARMSignedBitFieldExtract.py
chb/arm/opcodes/ARMSignedDivide.py
chb/arm/opcodes/ARMSignedExtendAddByte.py
chb/arm/opcodes/ARMSignedExtendByte.py
chb/arm/opcodes/ARMSignedExtendHalfword.py
chb/arm/opcodes/ARMSignedMostSignificantWordMultiply.py
chb/arm/opcodes/ARMSignedMostSignificantWordMultiplyAccumulate.py
chb/arm/opcodes/ARMSignedMultiplyAccumulateBB.py
chb/arm/opcodes/ARMSignedMultiplyAccumulateBT.py
chb/arm/opcodes/ARMSignedMultiplyAccumulateLong.py
chb/arm/opcodes/ARMSignedMultiplyAccumulateTB.py
chb/arm/opcodes/ARMSignedMultiplyAccumulateTT.py
chb/arm/opcodes/ARMSignedMultiplyAccumulateWordB.py
chb/arm/opcodes/ARMSignedMultiplyAccumulateWordT.py
chb/arm/opcodes/ARMSignedMultiplyHalfwordsBB.py
chb/arm/opcodes/ARMSignedMultiplyHalfwordsBT.py
chb/arm/opcodes/ARMSignedMultiplyHalfwordsTB.py
chb/arm/opcodes/ARMSignedMultiplyHalfwordsTT.py
chb/arm/opcodes/ARMSignedMultiplyLong.py
chb/arm/opcodes/ARMSignedMultiplyWordB.py
chb/arm/opcodes/ARMSignedMultiplyWordT.py
chb/arm/opcodes/ARMStoreCoprocessor.py
chb/arm/opcodes/ARMStoreMultipleDecrementAfter.py
chb/arm/opcodes/ARMStoreMultipleDecrementBefore.py
chb/arm/opcodes/ARMStoreMultipleIncrementAfter.py
chb/arm/opcodes/ARMStoreMultipleIncrementBefore.py
chb/arm/opcodes/ARMStoreRegister.py
chb/arm/opcodes/ARMStoreRegisterByte.py
chb/arm/opcodes/ARMStoreRegisterDual.py
chb/arm/opcodes/ARMStoreRegisterExclusive.py
chb/arm/opcodes/ARMStoreRegisterHalfword.py
chb/arm/opcodes/ARMSubtract.py
chb/arm/opcodes/ARMSubtractCarry.py
chb/arm/opcodes/ARMSupervisorCall.py
chb/arm/opcodes/ARMSwap.py
chb/arm/opcodes/ARMSwapByte.py
chb/arm/opcodes/ARMTableBranchByte.py
chb/arm/opcodes/ARMTableBranchHalfword.py
chb/arm/opcodes/ARMTest.py
chb/arm/opcodes/ARMTestEquivalence.py
chb/arm/opcodes/ARMUndefined.py
chb/arm/opcodes/ARMUnsignedAdd8.py
chb/arm/opcodes/ARMUnsignedBitFieldExtract.py
chb/arm/opcodes/ARMUnsignedDivide.py
chb/arm/opcodes/ARMUnsignedExtendAddByte.py
chb/arm/opcodes/ARMUnsignedExtendAddHalfword.py
chb/arm/opcodes/ARMUnsignedExtendByte.py
chb/arm/opcodes/ARMUnsignedExtendHalfword.py
chb/arm/opcodes/ARMUnsignedMultiplyAccumulateLong.py
chb/arm/opcodes/ARMUnsignedMultiplyLong.py
chb/arm/opcodes/ARMUnsignedSaturatingSubtract8.py
chb/arm/opcodes/ARMVCompare.py
chb/arm/opcodes/ARMVConvert.py
chb/arm/opcodes/ARMVDivide.py
chb/arm/opcodes/ARMVLoadRegister.py
chb/arm/opcodes/ARMVMoveRegisterStatus.py
chb/arm/opcodes/ARMVMoveToSystemRegister.py
chb/arm/opcodes/ARMVStoreRegister.py
chb/arm/opcodes/ARMVectorAbsolute.py
chb/arm/opcodes/ARMVectorAdd.py
chb/arm/opcodes/ARMVectorAddLong.py
chb/arm/opcodes/ARMVectorAddWide.py
chb/arm/opcodes/ARMVectorBitwiseAnd.py
chb/arm/opcodes/ARMVectorBitwiseBitClear.py
chb/arm/opcodes/ARMVectorBitwiseExclusiveOr.py
chb/arm/opcodes/ARMVectorBitwiseNot.py
chb/arm/opcodes/ARMVectorBitwiseOr.py
chb/arm/opcodes/ARMVectorBitwiseOrNot.py
chb/arm/opcodes/ARMVectorBitwiseSelect.py
chb/arm/opcodes/ARMVectorConvert.py
chb/arm/opcodes/ARMVectorDuplicate.py
chb/arm/opcodes/ARMVectorExtract.py
chb/arm/opcodes/ARMVectorFusedMultiplyAccumulate.py
chb/arm/opcodes/ARMVectorFusedMultiplySubtract.py
chb/arm/opcodes/ARMVectorLoadFour.py
chb/arm/opcodes/ARMVectorLoadMultipleIncrementAfter.py
chb/arm/opcodes/ARMVectorLoadOne.py
chb/arm/opcodes/ARMVectorMoveDDS.py
chb/arm/opcodes/ARMVectorMoveDDSS.py
chb/arm/opcodes/ARMVectorMoveDS.py
chb/arm/opcodes/ARMVectorMoveDSS.py
chb/arm/opcodes/ARMVectorMoveLong.py
chb/arm/opcodes/ARMVectorMoveNarrow.py
chb/arm/opcodes/ARMVectorMultiply.py
chb/arm/opcodes/ARMVectorMultiplyAccumulate.py
chb/arm/opcodes/ARMVectorMultiplyAccumulateLong.py
chb/arm/opcodes/ARMVectorMultiplyLong.py
chb/arm/opcodes/ARMVectorMultiplySubtract.py
chb/arm/opcodes/ARMVectorNegate.py
chb/arm/opcodes/ARMVectorNegateMultiply.py
chb/arm/opcodes/ARMVectorNegateMultiplyAccumulate.py
chb/arm/opcodes/ARMVectorNegateMultiplySubtract.py
chb/arm/opcodes/ARMVectorPop.py
chb/arm/opcodes/ARMVectorPush.py
chb/arm/opcodes/ARMVectorReverseDoublewords.py
chb/arm/opcodes/ARMVectorReverseHalfwords.py
chb/arm/opcodes/ARMVectorReverseWords.py
chb/arm/opcodes/ARMVectorRoundingHalvingAdd.py
chb/arm/opcodes/ARMVectorRoundingShiftRightAccumulate.py
chb/arm/opcodes/ARMVectorShiftLeft.py
chb/arm/opcodes/ARMVectorShiftLeftInsert.py
chb/arm/opcodes/ARMVectorShiftRight.py
chb/arm/opcodes/ARMVectorShiftRightAccumulate.py
chb/arm/opcodes/ARMVectorShiftRightInsert.py
chb/arm/opcodes/ARMVectorShiftRightNarrow.py
chb/arm/opcodes/ARMVectorStoreFour.py
chb/arm/opcodes/ARMVectorStoreMultipleDecrementBefore.py
chb/arm/opcodes/ARMVectorStoreMultipleIncrementAfter.py
chb/arm/opcodes/ARMVectorStoreOne.py
chb/arm/opcodes/ARMVectorStoreTwo.py
chb/arm/opcodes/ARMVectorSubtract.py
chb/arm/opcodes/ARMVectorTableLookup.py
chb/arm/opcodes/ARMVectorTranspose.py
chb/arm/opcodes/ARMVectorZip.py
chb/arm/opcodes/__init__.py
chb/arm/opcodes/opcodes_covered.json
chb/arm/simulation/ARMSimProgramCounter.py
chb/arm/simulation/__init__.py
chb/ast/ARMIntrinsics.py
chb/ast/ASTApplicationInterface.py
chb/ast/ASTBasicCTyper.py
chb/ast/ASTByteSizeCalculator.py
chb/ast/ASTCPrettyPrinter.py
chb/ast/ASTCTyper.py
chb/ast/ASTCodeFragments.py
chb/ast/ASTDeserializer.py
chb/ast/ASTFunction.py
chb/ast/ASTIdentityTransformer.py
chb/ast/ASTIndexer.py
chb/ast/ASTNOPVisitor.py
chb/ast/ASTNode.py
chb/ast/ASTNodeDictionary.py
chb/ast/ASTProvenance.py
chb/ast/ASTProvenanceCollector.py
chb/ast/ASTReturnSequences.py
chb/ast/ASTSerializer.py
chb/ast/ASTStorage.py
chb/ast/ASTStorageChecker.py
chb/ast/ASTSymbolTable.py
chb/ast/ASTTransformer.py
chb/ast/ASTVariablesReferenced.py
chb/ast/ASTViewer.py
chb/ast/ASTVisitor.py
chb/ast/AbstractSyntaxTree.py
chb/ast/CustomASTSupport.py
chb/ast/__init__.py
chb/ast/astdotutil.py
chb/ast/astutil.py
chb/ast/examples/__init__.py
chb/ast/examples/store_struct_field.py
chb/astinterface/ASTICPrettyPrinter.py
chb/astinterface/ASTICodeTransformer.py
chb/astinterface/ASTIFormalVarInfo.py
chb/astinterface/ASTILiveness.py
chb/astinterface/ASTIProvenance.py
chb/astinterface/ASTIUtil.py
chb/astinterface/ASTInterface.py
chb/astinterface/ASTInterfaceBasicBlock.py
chb/astinterface/ASTInterfaceFunction.py
chb/astinterface/ASTInterfaceInstruction.py
chb/astinterface/BC2ASTConverter.py
chb/astinterface/CHBASTSupport.py
chb/astinterface/__init__.py
chb/astparser/ASTCParseManager.py
chb/astparser/__init__.py
chb/bctypes/BCAttrParam.py
chb/bctypes/BCAttribute.py
chb/bctypes/BCCompInfo.py
chb/bctypes/BCConstant.py
chb/bctypes/BCConverter.py
chb/bctypes/BCDictionary.py
chb/bctypes/BCDictionaryRecord.py
chb/bctypes/BCEnumInfo.py
chb/bctypes/BCEnumItem.py
chb/bctypes/BCExp.py
chb/bctypes/BCFieldInfo.py
chb/bctypes/BCFiles.py
chb/bctypes/BCFunArgs.py
chb/bctypes/BCFunctionDefinition.py
chb/bctypes/BCHeaderFile.py
chb/bctypes/BCLHost.py
chb/bctypes/BCLval.py
chb/bctypes/BCOffset.py
chb/bctypes/BCTyp.py
chb/bctypes/BCTypSig.py
chb/bctypes/BCTypeInfo.py
chb/bctypes/BCVarInfo.py
chb/bctypes/BCVisitor.py
chb/bctypes/TypeConstraint.py
chb/bctypes/TypeConstraintDictionary.py
chb/bctypes/TypeConstraintDictionaryRecord.py
chb/bctypes/TypeConstraintStore.py
chb/bctypes/__init__.py
chb/buffer/LibraryCallCallsites.py
chb/buffer/__init__.py
chb/cmdline/AnalysisManager.py
chb/cmdline/PatchResults.py
chb/cmdline/XComparison.py
chb/cmdline/XInfo.py
chb/cmdline/__init__.py
chb/cmdline/astcmds.py
chb/cmdline/commandutil.py
chb/cmdline/fileformatcmds.py
chb/cmdline/jsonresultutil.py
chb/cmdline/relationalcmds.py
chb/cmdline/reportcmds.py
chb/cmdline/runcmds.py
chb/cmdline/simulatecmds.py
chb/cmdline/structcmds.py
chb/cmdline/summariescmds.py
chb/cmdline/testcmds.py
chb/cmdline/typeconstraintcmds.py
chb/elfformat/ELFDictionary.py
chb/elfformat/ELFHeader.py
chb/elfformat/ELFProgramHeader.py
chb/elfformat/ELFSection.py
chb/elfformat/ELFSectionHeader.py
chb/elfformat/__init__.py
chb/graphics/DotCallgraph.py
chb/graphics/DotCfg.py
chb/graphics/DotRdefPath.py
chb/graphics/__init__.py
chb/invariants/FnDictionaryRecord.py
chb/invariants/FnInvDictionary.py
chb/invariants/FnInvariants.py
chb/invariants/FnStackAccess.py
chb/invariants/FnVarDictionary.py
chb/invariants/FnVarInvDictionary.py
chb/invariants/FnXprDictionary.py
chb/invariants/InputConstraint.py
chb/invariants/InputConstraintValue.py
chb/invariants/InvariantFact.py
chb/invariants/LinearEquality.py
chb/invariants/NonRelationalValue.py
chb/invariants/SideeffectArgumentLocation.py
chb/invariants/VAssemblyVariable.py
chb/invariants/VConstantValueVariable.py
chb/invariants/VMemoryBase.py
chb/invariants/VMemoryOffset.py
chb/invariants/VarDefUse.py
chb/invariants/VarInvariantFact.py
chb/invariants/XBound.py
chb/invariants/XConstant.py
chb/invariants/XInterval.py
chb/invariants/XNumerical.py
chb/invariants/XSymbol.py
chb/invariants/XVariable.py
chb/invariants/XXpr.py
chb/invariants/XXprUtil.py
chb/invariants/XprList.py
chb/invariants/__init__.py
chb/jsoninterface/AuxiliaryClasses.py
chb/jsoninterface/JSONAppComparison.py
chb/jsoninterface/JSONAssemblyBlock.py
chb/jsoninterface/JSONAssemblyInstruction.py
chb/jsoninterface/JSONBlockComparison.py
chb/jsoninterface/JSONCHBSchemas.py
chb/jsoninterface/JSONCallgraph.py
chb/jsoninterface/JSONCallsiteRecords.py
chb/jsoninterface/JSONChecker.py
chb/jsoninterface/JSONControlFlowGraph.py
chb/jsoninterface/JSONFunctionComparison.py
chb/jsoninterface/JSONInstructionComparison.py
chb/jsoninterface/JSONObject.py
chb/jsoninterface/JSONObjectNOPVisitor.py
chb/jsoninterface/JSONObjectVisitor.py
chb/jsoninterface/JSONPatchComponent.py
chb/jsoninterface/JSONProofObligationRecord.py
chb/jsoninterface/JSONRelationalReport.py
chb/jsoninterface/JSONResult.py
chb/jsoninterface/JSONSchema.py
chb/jsoninterface/JSONSchemaRegistry.py
chb/jsoninterface/JSONStackpointerOffset.py
chb/jsoninterface/__init__.py
chb/jsoninterface/jsonutil.py
chb/mips/MIPSAccess.py
chb/mips/MIPSAssembly.py
chb/mips/MIPSBlock.py
chb/mips/MIPSCfg.py
chb/mips/MIPSCfgBlock.py
chb/mips/MIPSCfgPath.py
chb/mips/MIPSDictionary.py
chb/mips/MIPSDictionaryRecord.py
chb/mips/MIPSFunction.py
chb/mips/MIPSInstruction.py
chb/mips/MIPSOpcode.py
chb/mips/MIPSOperand.py
chb/mips/MIPSOperandKind.py
chb/mips/MIPSRegister.py
chb/mips/__init__.py
chb/mips/opcodes/MIPSAdd.py
chb/mips/opcodes/MIPSAddImmediate.py
chb/mips/opcodes/MIPSAddImmediateUnsigned.py
chb/mips/opcodes/MIPSAddUnsigned.py
chb/mips/opcodes/MIPSAddUpperImmediate.py
chb/mips/opcodes/MIPSAnd.py
chb/mips/opcodes/MIPSAndImmediate.py
chb/mips/opcodes/MIPSBranch.py
chb/mips/opcodes/MIPSBranchEqual.py
chb/mips/opcodes/MIPSBranchEqualLikely.py
chb/mips/opcodes/MIPSBranchFPFalse.py
chb/mips/opcodes/MIPSBranchFPTrue.py
chb/mips/opcodes/MIPSBranchGEZero.py
chb/mips/opcodes/MIPSBranchGEZeroLikely.py
chb/mips/opcodes/MIPSBranchGEZeroLink.py
chb/mips/opcodes/MIPSBranchGTZero.py
chb/mips/opcodes/MIPSBranchGTZeroLikely.py
chb/mips/opcodes/MIPSBranchLEZero.py
chb/mips/opcodes/MIPSBranchLEZeroLikely.py
chb/mips/opcodes/MIPSBranchLTZero.py
chb/mips/opcodes/MIPSBranchLTZeroLikely.py
chb/mips/opcodes/MIPSBranchLTZeroLink.py
chb/mips/opcodes/MIPSBranchLink.py
chb/mips/opcodes/MIPSBranchNotEqual.py
chb/mips/opcodes/MIPSBranchNotEqualLikely.py
chb/mips/opcodes/MIPSBranchOpcode.py
chb/mips/opcodes/MIPSBreak.py
chb/mips/opcodes/MIPSCountLeadingZeros.py
chb/mips/opcodes/MIPSDivideUnsignedWord.py
chb/mips/opcodes/MIPSDivideWord.py
chb/mips/opcodes/MIPSExtractBitField.py
chb/mips/opcodes/MIPSFPCompare.py
chb/mips/opcodes/MIPSFPNegfmt.py
chb/mips/opcodes/MIPSFPSubfmt.py
chb/mips/opcodes/MIPSFPTruncWfmt.py
chb/mips/opcodes/MIPSGeneric.py
chb/mips/opcodes/MIPSHalt.py
chb/mips/opcodes/MIPSInsertBitField.py
chb/mips/opcodes/MIPSJump.py
chb/mips/opcodes/MIPSJumpLink.py
chb/mips/opcodes/MIPSJumpLinkRegister.py
chb/mips/opcodes/MIPSJumpRegister.py
chb/mips/opcodes/MIPSLoadByte.py
chb/mips/opcodes/MIPSLoadByteUnsigned.py
chb/mips/opcodes/MIPSLoadDoublewordToFP.py
chb/mips/opcodes/MIPSLoadHalfWord.py
chb/mips/opcodes/MIPSLoadHalfWordUnsigned.py
chb/mips/opcodes/MIPSLoadImmediate.py
chb/mips/opcodes/MIPSLoadLinkedWord.py
chb/mips/opcodes/MIPSLoadUpperImmediate.py
chb/mips/opcodes/MIPSLoadWord.py
chb/mips/opcodes/MIPSLoadWordFP.py
chb/mips/opcodes/MIPSLoadWordLeft.py
chb/mips/opcodes/MIPSLoadWordRight.py
chb/mips/opcodes/MIPSMovF.py
chb/mips/opcodes/MIPSMovT.py
chb/mips/opcodes/MIPSMove.py
chb/mips/opcodes/MIPSMoveConditionalNotZero.py
chb/mips/opcodes/MIPSMoveConditionalZero.py
chb/mips/opcodes/MIPSMoveFromHi.py
chb/mips/opcodes/MIPSMoveFromLo.py
chb/mips/opcodes/MIPSMoveToHi.py
chb/mips/opcodes/MIPSMoveToLo.py
chb/mips/opcodes/MIPSMoveWordFromCoprocessor2.py
chb/mips/opcodes/MIPSMoveWordFromHighHalfCoprocessor2.py
chb/mips/opcodes/MIPSMoveWordToCoprocessor2.py
chb/mips/opcodes/MIPSMoveWordToFP.py
chb/mips/opcodes/MIPSMultiplyAddUnsignedWord.py
chb/mips/opcodes/MIPSMultiplyAddWord.py
chb/mips/opcodes/MIPSMultiplyUnsignedWord.py
chb/mips/opcodes/MIPSMultiplyWord.py
chb/mips/opcodes/MIPSMultiplyWordToGPR.py
chb/mips/opcodes/MIPSNoOperation.py
chb/mips/opcodes/MIPSNor.py
chb/mips/opcodes/MIPSOr.py
chb/mips/opcodes/MIPSOrImmediate.py
chb/mips/opcodes/MIPSPrefetch.py
chb/mips/opcodes/MIPSSetLT.py
chb/mips/opcodes/MIPSSetLTImmediate.py
chb/mips/opcodes/MIPSSetLTImmediateUnsigned.py
chb/mips/opcodes/MIPSSetLTUnsigned.py
chb/mips/opcodes/MIPSShiftLeftLogical.py
chb/mips/opcodes/MIPSShiftLeftLogicalVariable.py
chb/mips/opcodes/MIPSShiftRightArithmetic.py
chb/mips/opcodes/MIPSShiftRightArithmeticVariable.py
chb/mips/opcodes/MIPSShiftRightLogical.py
chb/mips/opcodes/MIPSShiftRightLogicalVariable.py
chb/mips/opcodes/MIPSSignExtendByte.py
chb/mips/opcodes/MIPSSignExtendHalfword.py
chb/mips/opcodes/MIPSStoreByte.py
chb/mips/opcodes/MIPSStoreConditionalWord.py
chb/mips/opcodes/MIPSStoreDoubleWordFromFP.py
chb/mips/opcodes/MIPSStoreHalfWord.py
chb/mips/opcodes/MIPSStoreWord.py
chb/mips/opcodes/MIPSStoreWordFromFP.py
chb/mips/opcodes/MIPSStoreWordLeft.py
chb/mips/opcodes/MIPSStoreWordRight.py
chb/mips/opcodes/MIPSSubtract.py
chb/mips/opcodes/MIPSSubtractUnsigned.py
chb/mips/opcodes/MIPSSync.py
chb/mips/opcodes/MIPSSyscall.py
chb/mips/opcodes/MIPSTrapIfEqual.py
chb/mips/opcodes/MIPSTrapIfEqualImmediate.py
chb/mips/opcodes/MIPSTrapIfLessThanUnsigned.py
chb/mips/opcodes/MIPSTrapIfNotEqualImmediate.py
chb/mips/opcodes/MIPSUnknown.py
chb/mips/opcodes/MIPSUnspecified.py
chb/mips/opcodes/MIPSWordSwapBytesHalfwords.py
chb/mips/opcodes/MIPSXor.py
chb/mips/opcodes/MIPSXorImmediate.py
chb/mips/opcodes/__init__.py
chb/mips/simulation/MIPSimDataDisplay.py
chb/mips/simulation/MIPSimInitializer.py
chb/mips/simulation/MIPSimLocation.py
chb/mips/simulation/MIPSimMemory.py
chb/mips/simulation/MIPSimProgramCounter.py
chb/mips/simulation/MIPSimStubs.py
chb/mips/simulation/__init__.py
chb/models/APIDoc.py
chb/models/BTerm.py
chb/models/DllEnumDefinitions.py
chb/models/DllFunctionSummary.py
chb/models/DllFunctionSummaryLibrary.py
chb/models/DllFunctionSummaryRef.py
chb/models/FunctionParameter.py
chb/models/FunctionPrecondition.py
chb/models/FunctionSemantics.py
chb/models/FunctionSignature.py
chb/models/FunctionSummary.py
chb/models/FunctionSummaryLibrary.py
chb/models/FunctionSummaryRef.py
chb/models/JniFunctionSummary.py
chb/models/JniFunctionSummaryLibrary.py
chb/models/ModelsAccess.py
chb/models/ModelsType.py
chb/models/PEDataType.py
chb/models/ParameterRepresentation.py
chb/models/ParameterRole.py
chb/models/SOFunctionSummary.py
chb/models/SOFunctionSummaryLibrary.py
chb/models/SummaryCollection.py
chb/models/__init__.py
chb/peformat/PEHeader.py
chb/peformat/PEImportDirectoryEntry.py
chb/peformat/PEImportDirectoryNameEntry.py
chb/peformat/PESection.py
chb/peformat/PESectionHeader.py
chb/peformat/__init__.py
chb/pwr/PowerAccess.py
chb/pwr/PowerBlock.py
chb/pwr/PowerCallOpcode.py
chb/pwr/PowerCfg.py
chb/pwr/PowerCfgBlock.py
chb/pwr/PowerCfgPath.py
chb/pwr/PowerDictionary.py
chb/pwr/PowerDictionaryRecord.py
chb/pwr/PowerFunction.py
chb/pwr/PowerInstruction.py
chb/pwr/PowerOpcode.py
chb/pwr/PowerOperand.py
chb/pwr/PowerOperandKind.py
chb/pwr/PowerRegister.py
chb/pwr/__init__.py
chb/pwr/opcodes/PWRAdd.py
chb/pwr/opcodes/PWRAddImmediate.py
chb/pwr/opcodes/PWRBranch.py
chb/pwr/opcodes/PWRBranchConditional.py
chb/pwr/opcodes/PWRBranchConditionalLink.py
chb/pwr/opcodes/PWRBranchLink.py
chb/pwr/opcodes/PWRBranchLinkRegister.py
chb/pwr/opcodes/PWRCBranchEqual.py
chb/pwr/opcodes/PWRCBranchGreaterThan.py
chb/pwr/opcodes/PWRCBranchLessEqual.py
chb/pwr/opcodes/PWRCBranchLessThan.py
chb/pwr/opcodes/PWRCBranchNotEqual.py
chb/pwr/opcodes/PWRClearLeftWordImmediate.py
chb/pwr/opcodes/PWRCompareImmediate.py
chb/pwr/opcodes/PWRCompareLogical.py
chb/pwr/opcodes/PWRCompareLogicalImmediate.py
chb/pwr/opcodes/PWRCompareWord.py
chb/pwr/opcodes/PWRDivideWordUnsigned.py
chb/pwr/opcodes/PWRExtendSignHalfword.py
chb/pwr/opcodes/PWRExtractRightJustifyWordImmediate.py
chb/pwr/opcodes/PWRLoadByteZero.py
chb/pwr/opcodes/PWRLoadHalfwordZero.py
chb/pwr/opcodes/PWRLoadImmediate.py
chb/pwr/opcodes/PWRLoadWordZero.py
chb/pwr/opcodes/PWRMoveFromLinkRegister.py
chb/pwr/opcodes/PWRMoveRegister.py
chb/pwr/opcodes/PWRMoveToCountRegister.py
chb/pwr/opcodes/PWRMoveToLinkRegister.py
chb/pwr/opcodes/PWRMultiplyWord.py
chb/pwr/opcodes/PWRNOP.py
chb/pwr/opcodes/PWRNotRecognized.py
chb/pwr/opcodes/PWROr.py
chb/pwr/opcodes/PWROrImmediate.py
chb/pwr/opcodes/PWRRotateLeftWordImmediateAndMask.py
chb/pwr/opcodes/PWRShiftLeftWordImmediate.py
chb/pwr/opcodes/PWRStoreByte.py
chb/pwr/opcodes/PWRStoreHalfword.py
chb/pwr/opcodes/PWRStoreWord.py
chb/pwr/opcodes/PWRSubtractFrom.py
chb/pwr/opcodes/__init__.py
chb/pwr/opcodes/opcodes_covered.json
chb/relational/BlockRelationalAnalysis.py
chb/relational/CallgraphMatcher.py
chb/relational/CfgMatcher.py
chb/relational/FunctionRelationalAnalysis.py
chb/relational/InstructionRelationalAnalysis.py
chb/relational/PatchParticulars.py
chb/relational/RelationalAnalysis.py
chb/relational/TraceSimulation.py
chb/relational/__init__.py
chb/relational/relationalutil.py
chb/simulation/ELFSimGlobalMemory.py
chb/simulation/SimBaseMemory.py
chb/simulation/SimBaseValue.py
chb/simulation/SimDeserializer.py
chb/simulation/SimFileUtil.py
chb/simulation/SimLocation.py
chb/simulation/SimMappedMemory.py
chb/simulation/SimMemory.py
chb/simulation/SimProgramCounter.py
chb/simulation/SimSharedMemory.py
chb/simulation/SimStub.py
chb/simulation/SimSupport.py
chb/simulation/SimSymbolicValue.py
chb/simulation/SimUtil.py
chb/simulation/SimValue.py
chb/simulation/SimulationState.py
chb/simulation/__init__.py
chb/summaries/bch_header.c
chb/summaries/bchsummaries.jar
chb/tests/ELFARMTestCreator.py
chb/tests/ELFMIPSTestCreator.py
chb/tests/ELFTestCreator.py
chb/tests/ELFThumbDisassemblyTestSet.py
chb/tests/ELFX86TestCreator.py
chb/tests/__init__.py
chb/userdata/SymbolicAddresses.py
chb/userdata/UserBType.py
chb/userdata/UserCallTarget.py
chb/userdata/UserCfNop.py
chb/userdata/UserData.py
chb/userdata/UserFunctionNames.py
chb/userdata/UserHints.py
chb/userdata/UserStackAdjustment.py
chb/userdata/UserXorEncoding.py
chb/userdata/__init__.py
chb/userdata/btypeutil.py
chb/util/Config.py
chb/util/ConfigLocal.template
chb/util/DotGraph.py
chb/util/IndexedTable.py
chb/util/StringIndexedTable.py
chb/util/__init__.py
chb/util/dotutil.py
chb/util/fileutil.py
chb/util/graphutil.py
chb/util/localetable.json
chb/util/loggingutil.py
chb/util/xmlutil.py
chb/x86/X86Access.py
chb/x86/X86Block.py
chb/x86/X86Cfg.py
chb/x86/X86CfgBlock.py
chb/x86/X86Dictionary.py
chb/x86/X86DictionaryRecord.py
chb/x86/X86Function.py
chb/x86/X86Instruction.py
chb/x86/X86Opcode.py
chb/x86/X86Operand.py
chb/x86/X86OperandKind.py
chb/x86/X86Register.py
chb/x86/__init__.py
chb/x86/opcodes/X86Add.py
chb/x86/opcodes/X86AddCarry.py
chb/x86/opcodes/X86And.py
chb/x86/opcodes/X86BNot.py
chb/x86/opcodes/X86BitScanReverse.py
chb/x86/opcodes/X86BitTest.py
chb/x86/opcodes/X86BitTestAndSet.py
chb/x86/opcodes/X86Call.py
chb/x86/opcodes/X86ClearDirectionFlag.py
chb/x86/opcodes/X86Compare.py
chb/x86/opcodes/X86ConvertLongToDouble.py
chb/x86/opcodes/X86CountTrailingZeroBits.py
chb/x86/opcodes/X86Cpuid.py
chb/x86/opcodes/X86Dec.py
chb/x86/opcodes/X86Div.py
chb/x86/opcodes/X86FInit.py
chb/x86/opcodes/X86FStoreState.py
chb/x86/opcodes/X86FXmmMove.py
chb/x86/opcodes/X86Halt.py
chb/x86/opcodes/X86IDiv.py
chb/x86/opcodes/X86IMul.py
chb/x86/opcodes/X86Inc.py
chb/x86/opcodes/X86IndirectJmp.py
chb/x86/opcodes/X86InputFromPort.py
chb/x86/opcodes/X86Jcc.py
chb/x86/opcodes/X86Jump.py
chb/x86/opcodes/X86Lea.py
chb/x86/opcodes/X86Leave.py
chb/x86/opcodes/X86LoadGDTR.py
chb/x86/opcodes/X86Loop.py
chb/x86/opcodes/X86Mov.py
chb/x86/opcodes/X86Movdq.py
chb/x86/opcodes/X86Movs.py
chb/x86/opcodes/X86Movsx.py
chb/x86/opcodes/X86Movzx.py
chb/x86/opcodes/X86Mul.py
chb/x86/opcodes/X86Negate.py
chb/x86/opcodes/X86Nop.py
chb/x86/opcodes/X86Or.py
chb/x86/opcodes/X86OutputToPort.py
chb/x86/opcodes/X86Pause.py
chb/x86/opcodes/X86Pop.py
chb/x86/opcodes/X86PopFlags.py
chb/x86/opcodes/X86Push.py
chb/x86/opcodes/X86PushFlags.py
chb/x86/opcodes/X86PushRegisters.py
chb/x86/opcodes/X86RdRandomize.py
chb/x86/opcodes/X86ReadTimeStampCounter.py
chb/x86/opcodes/X86RepECmps.py
chb/x86/opcodes/X86RepMovs.py
chb/x86/opcodes/X86RepStos.py
chb/x86/opcodes/X86Return.py
chb/x86/opcodes/X86RotateLeft.py
chb/x86/opcodes/X86RotateLeftCF.py
chb/x86/opcodes/X86RotateRight.py
chb/x86/opcodes/X86RotateRightCF.py
chb/x86/opcodes/X86SetDirectionFlag.py
chb/x86/opcodes/X86Setcc.py
chb/x86/opcodes/X86ShiftARight.py
chb/x86/opcodes/X86ShiftLeft.py
chb/x86/opcodes/X86ShiftLeftDouble.py
chb/x86/opcodes/X86ShiftRight.py
chb/x86/opcodes/X86ShiftRightDouble.py
chb/x86/opcodes/X86Stos.py
chb/x86/opcodes/X86Sub.py
chb/x86/opcodes/X86SubBorrow.py
chb/x86/opcodes/X86TerminateBranch32.py
chb/x86/opcodes/X86Test.py
chb/x86/opcodes/X86Unknown.py
chb/x86/opcodes/X86XAdd.py
chb/x86/opcodes/X86Xchg.py
chb/x86/opcodes/X86Xor.py
chb/x86/opcodes/__init__.py
chb/x86/simulation/X86SimulationState.py
chb/x86/simulation/__init__.py
codehawk_binary.egg-info/PKG-INFO
codehawk_binary.egg-info/SOURCES.txt
codehawk_binary.egg-info/dependency_links.txt
codehawk_binary.egg-info/top_level.txt