usermode.json

{
    "instructions": [
        "aarch64/branch/conditional/.*",
        "aarch64/branch/unconditional/immediate/.*",
        "aarch64/integer/arithmetic/add-sub/.*",
        "aarch64/integer/arithmetic/address/pc-rel",
        "aarch64/integer/ins-ext/insert/movewide",
        "aarch64/memory/literal/general/.*",
        "aarch64/memory/single/general/immediate",
        "aarch64/memory/single/general/register"
    ],
    "roots": [
        "AArch32.CheckIllegalState.0",
        "AArch32.CheckPCAlignment.0",
        "AArch32.ITAdvance.0",
        "AArch32.MemSingle.read.4",
        "AArch32.UndefinedFault.0",
        "AArch64.BranchAddr.1",
        "AArch64.CheckIllegalState.0",
        "AArch64.CheckPCAlignment.0",
        "AArch64.MemSingle.read.4",
        "AArch64.TakeReset.1",
        "AArch64.UndefinedFault.0",
        "Align.2",
        "CheckSoftwareStep.0",
        "HighestEL.0",

        "AArch32.SErrorSyndrome",
        "AccessDescriptor",
        "AddressDescriptor",
        "ArchVersion",
        "CrossTriggerIn",
        "EL0",
        "ExceptionRecord",
        "InterruptID",
        "MBReqDomain",
        "MBReqTypes",
        "SCR_GEN["
    ],
    "cuts": [
        "AArch32.Abort.2",
        "AArch32.CheckIllegalState.0",
        "AArch32.CheckPCAlignment.0",
        "AArch32.MemSingle.read.4",
        "AArch32.MemSingle.write.4",
        "AArch32.UndefinedFault.0",
        "AArch64.Abort.2",
        "AArch64.BranchAddr.1",
        "AArch64.CheckIllegalState.0",
        "AArch64.MemSingle.read.4",
        "AArch64.MemSingle.write.4",
        "AArch64.PCAlignmentFault.0",
        "AArch64.UndefinedFault.0",
        "AuthDA.2",
        "AuthDB.2",
        "AuthIA.2",
        "AuthIB.2",
        "BigEndian.0",
        "CheckSPAlignment.0",
        "CheckSoftwareStep.0",
        "EL2Enabled.0",
        "HaveEL.1",
        "HavePACExt.0",
        "IsInHost.0",
        "IsSVEEnabled.1",
        "Mem.write.3",
        "ReservedValue.0",
        "Rmode.write.2",
        "UnallocatedEncoding.0"
    ],
    "canaries": [
        "AArch32.GeneralExceptionsToAArch64.0",
        "AArch32.GenerateDebugExceptions.0",
        "AArch32.TranslateAddress.5",
        "AArch64.CreateFaultRecord.10",
        "AArch64.TranslateAddress.5",
        "AuthIA.2",
        "AuthIB.2",
        "ComputePAC.4",
        "DBGEN",
        "DTRRX",
        "ELUsingAArch32.1",
        "EnterLowPowerState.0",
        "EventRegister",
        "LR_mon",
        "S1TranslationRegime.1",
        "TweakShuffle.1"
    ]
}