int KbFilter_CreateClose(int DeviceObject , int Irp ) { int irpStack__MajorFunction = __VERIFIER_nondet_int() ; int devExt__UpperConnectData__ClassService = __VERIFIER_nondet_int() ; int Irp__IoStatus__Status ; int status ; int tmp ; { #line 653 status = myStatus; #line 654 if (irpStack__MajorFunction == 0) { goto switch_4_0; } else { #line 657 if (irpStack__MajorFunction == 2) { goto switch_4_2; } else { #line 660 if (0) { switch_4_0: ; #line 662 if (devExt__UpperConnectData__ClassService == 0) { #line 663 status = -1073741436; } goto switch_4_break; switch_4_2: ; goto switch_4_break; } else { switch_4_break: ; } } } { #line 676 Irp__IoStatus__Status = status; #line 677 myStatus = status; #line 678 tmp = KbFilter_DispatchPassThrough(DeviceObject, Irp); } #line 680 return (tmp); } }
int KbFilter_CreateClose(int KbFilter_CreateClose_DeviceObject , int KbFilter_CreateClose_Irp ) { int KbFilter_CreateClose_irpStack__MajorFunction ; int KbFilter_CreateClose_devExt__UpperConnectData__ClassService ; int KbFilter_CreateClose_Irp__IoStatus__Status ; int KbFilter_CreateClose_status ; int KbFilter_CreateClose_tmp ; { KbFilter_CreateClose_status = myStatus; if ((KbFilter_CreateClose_irpStack__MajorFunction >= 0) && (KbFilter_CreateClose_irpStack__MajorFunction <= 0)) { if ((KbFilter_CreateClose_devExt__UpperConnectData__ClassService >= 0) && (KbFilter_CreateClose_devExt__UpperConnectData__ClassService <= 0)) { KbFilter_CreateClose_status = -1073741436; } } KbFilter_CreateClose_Irp__IoStatus__Status = KbFilter_CreateClose_status; myStatus = KbFilter_CreateClose_status; KbFilter_CreateClose_tmp = KbFilter_DispatchPassThrough(KbFilter_CreateClose_DeviceObject, KbFilter_CreateClose_Irp); return (KbFilter_CreateClose_tmp); } }
int KbFilter_InternIoCtl(int KbFilter_InternIoCtl_DeviceObject , int KbFilter_InternIoCtl_Irp ) { int KbFilter_InternIoCtl_Irp__IoStatus__Information ; int KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__IoControlCode ; int KbFilter_InternIoCtl_devExt__UpperConnectData__ClassService ; int KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__InputBufferLength ; int KbFilter_InternIoCtl_sizeof__CONNECT_DATA ; int KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__Type3InputBuffer ; int KbFilter_InternIoCtl_sizeof__INTERNAL_I8042_HOOK_KEYBOARD ; int KbFilter_InternIoCtl_Irp__IoStatus__Status ; int KbFilter_InternIoCtl_hookKeyboard ; int KbFilter_InternIoCtl_connectData ; int KbFilter_InternIoCtl_status ; int KbFilter_InternIoCtl_tmp ; int KbFilter_InternIoCtl_CIL___Tmp20 ; int KbFilter_InternIoCtl_CIL___Tmp24 ; int KbFilter_InternIoCtl_CIL___Tmp28 ; int retres26 ; int TRACER_returning ; int TRACER_breaking ; { TRACER_returning = 0; TRACER_breaking = 0; KbFilter_InternIoCtl_status = 0; KbFilter_InternIoCtl_Irp__IoStatus__Information = 0; if ((KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__IoControlCode >= KbFilter_InternIoCtl_CIL___Tmp20) && (KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__IoControlCode <= KbFilter_InternIoCtl_CIL___Tmp20)) { if ((KbFilter_InternIoCtl_devExt__UpperConnectData__ClassService > 0) || (KbFilter_InternIoCtl_devExt__UpperConnectData__ClassService < 0)) { KbFilter_InternIoCtl_status = -1073741757; TRACER_breaking = 1; } else { if (KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__InputBufferLength < KbFilter_InternIoCtl_sizeof__CONNECT_DATA) { KbFilter_InternIoCtl_status = -1073741811; TRACER_breaking = 1; } } if (TRACER_breaking <= 0) { KbFilter_InternIoCtl_connectData = KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__Type3InputBuffer; } } else { if ((KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__IoControlCode >= KbFilter_InternIoCtl_CIL___Tmp24) && (KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__IoControlCode <= KbFilter_InternIoCtl_CIL___Tmp24)) { KbFilter_InternIoCtl_status = -1073741822; } else { if ((KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__IoControlCode >= KbFilter_InternIoCtl_CIL___Tmp28) && (KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__IoControlCode <= KbFilter_InternIoCtl_CIL___Tmp28)) { if (KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__InputBufferLength < KbFilter_InternIoCtl_sizeof__INTERNAL_I8042_HOOK_KEYBOARD) { KbFilter_InternIoCtl_status = -1073741811; } else { KbFilter_InternIoCtl_hookKeyboard = KbFilter_InternIoCtl_irpStack__Parameters__DeviceIoControl__Type3InputBuffer; KbFilter_InternIoCtl_status = 0; } } } } if (KbFilter_InternIoCtl_status < 0) { KbFilter_InternIoCtl_Irp__IoStatus__Status = KbFilter_InternIoCtl_status; myStatus = KbFilter_InternIoCtl_status; IofCompleteRequest(KbFilter_InternIoCtl_Irp, 0); retres26 = KbFilter_InternIoCtl_status; TRACER_returning = 1; } else { KbFilter_InternIoCtl_tmp = KbFilter_DispatchPassThrough(KbFilter_InternIoCtl_DeviceObject, KbFilter_InternIoCtl_Irp); retres26 = KbFilter_InternIoCtl_tmp; } return (retres26); } }
int KbFilter_InternIoCtl(int DeviceObject , int Irp ) { int Irp__IoStatus__Information ; int irpStack__Parameters__DeviceIoControl__IoControlCode = __VERIFIER_nondet_int() ; int devExt__UpperConnectData__ClassService = __VERIFIER_nondet_int() ; int irpStack__Parameters__DeviceIoControl__InputBufferLength = __VERIFIER_nondet_int() ; int sizeof__CONNECT_DATA = __VERIFIER_nondet_int() ; int irpStack__Parameters__DeviceIoControl__Type3InputBuffer = __VERIFIER_nondet_int() ; int sizeof__INTERNAL_I8042_HOOK_KEYBOARD = __VERIFIER_nondet_int() ; int hookKeyboard__InitializationRoutine = __VERIFIER_nondet_int() ; int hookKeyboard__IsrRoutine = __VERIFIER_nondet_int() ; int Irp__IoStatus__Status ; int hookKeyboard ; int connectData ; int status ; int tmp ; int __cil_tmp17 ; int __cil_tmp18 ; int __cil_tmp19 ; int __cil_tmp20 = __VERIFIER_nondet_int() ; int __cil_tmp21 ; int __cil_tmp22 ; int __cil_tmp23 ; int __cil_tmp24 = __VERIFIER_nondet_int() ; int __cil_tmp25 ; int __cil_tmp26 ; int __cil_tmp27 ; int __cil_tmp28 = __VERIFIER_nondet_int() ; int __cil_tmp29 = __VERIFIER_nondet_int() ; int __cil_tmp30 ; int __cil_tmp31 ; int __cil_tmp32 = __VERIFIER_nondet_int() ; int __cil_tmp33 ; int __cil_tmp34 ; int __cil_tmp35 = __VERIFIER_nondet_int() ; int __cil_tmp36 ; int __cil_tmp37 ; int __cil_tmp38 = __VERIFIER_nondet_int() ; int __cil_tmp39 ; int __cil_tmp40 ; int __cil_tmp41 = __VERIFIER_nondet_int() ; int __cil_tmp42 ; int __cil_tmp43 ; int __cil_tmp44 = __VERIFIER_nondet_int() ; int __cil_tmp45 ; { #line 855 status = 0; #line 856 Irp__IoStatus__Information = 0; { #line 857 //__cil_tmp17 = 128 << 2; #line 857 //__cil_tmp18 = 11 << 16; #line 857 //__cil_tmp19 = __cil_tmp18 | __cil_tmp17; #line 857 //__cil_tmp20 = __cil_tmp19 | 3; #line 857 if (irpStack__Parameters__DeviceIoControl__IoControlCode == __cil_tmp20) { goto switch_7_exp_0; } else { { #line 860 //__cil_tmp21 = 256 << 2; #line 860 //__cil_tmp22 = 11 << 16; #line 860 //__cil_tmp23 = __cil_tmp22 | __cil_tmp21; #line 860 //__cil_tmp24 = __cil_tmp23 | 3; #line 860 if (irpStack__Parameters__DeviceIoControl__IoControlCode == __cil_tmp24) { goto switch_7_exp_1; } else { { #line 863 //__cil_tmp25 = 4080 << 2; #line 863 //__cil_tmp26 = 11 << 16; #line 863 //__cil_tmp27 = __cil_tmp26 | __cil_tmp25; #line 863 //__cil_tmp28 = __cil_tmp27 | 3; #line 863 if (irpStack__Parameters__DeviceIoControl__IoControlCode == __cil_tmp28) { goto switch_7_exp_2; } else { { #line 866 //__cil_tmp29 = 11 << 16; #line 866 if (irpStack__Parameters__DeviceIoControl__IoControlCode == __cil_tmp29) { goto switch_7_exp_3; } else { { #line 869 //__cil_tmp30 = 32 << 2; #line 869 //__cil_tmp31 = 11 << 16; #line 869 //__cil_tmp32 = __cil_tmp31 | __cil_tmp30; #line 869 if (irpStack__Parameters__DeviceIoControl__IoControlCode == __cil_tmp32) { goto switch_7_exp_4; } else { { #line 872 //__cil_tmp33 = 16 << 2; #line 872 //__cil_tmp34 = 11 << 16; #line 872 //__cil_tmp35 = __cil_tmp34 | __cil_tmp33; #line 872 if (irpStack__Parameters__DeviceIoControl__IoControlCode == __cil_tmp35) { goto switch_7_exp_5; } else { { #line 875 //__cil_tmp36 = 2 << 2; #line 875 // __cil_tmp37 = 11 << 16; #line 875 //__cil_tmp38 = __cil_tmp37 | __cil_tmp36; #line 875 if (irpStack__Parameters__DeviceIoControl__IoControlCode == __cil_tmp38) { goto switch_7_exp_6; } else { { #line 878 // __cil_tmp39 = 8 << 2; #line 878 // __cil_tmp40 = 11 << 16; #line 878 // __cil_tmp41 = __cil_tmp40 | __cil_tmp39; #line 878 if (irpStack__Parameters__DeviceIoControl__IoControlCode == __cil_tmp41) { goto switch_7_exp_7; } else { { #line 881 // __cil_tmp42 = 1 << 2; #line 881 // __cil_tmp43 = 11 << 16; #line 881 // __cil_tmp44 = __cil_tmp43 | __cil_tmp42; #line 881 if (irpStack__Parameters__DeviceIoControl__IoControlCode == __cil_tmp44) { goto switch_7_exp_8; } else { #line 884 if (0) { switch_7_exp_0: ; #line 886 if (devExt__UpperConnectData__ClassService != 0) { #line 887 status = -1073741757; goto switch_7_break; } else { #line 890 if (irpStack__Parameters__DeviceIoControl__InputBufferLength < sizeof__CONNECT_DATA) { #line 891 status = -1073741811; goto switch_7_break; } } #line 897 connectData = irpStack__Parameters__DeviceIoControl__Type3InputBuffer; goto switch_7_break; switch_7_exp_1: #line 900 status = -1073741822; goto switch_7_break; switch_7_exp_2: ; #line 903 if (irpStack__Parameters__DeviceIoControl__InputBufferLength < sizeof__INTERNAL_I8042_HOOK_KEYBOARD) { #line 904 status = -1073741811; goto switch_7_break; } #line 909 hookKeyboard = irpStack__Parameters__DeviceIoControl__Type3InputBuffer; #line 910 if (hookKeyboard__InitializationRoutine) { } #line 915 if (hookKeyboard__IsrRoutine) { } #line 920 status = 0; goto switch_7_break; switch_7_exp_3: ; switch_7_exp_4: ; switch_7_exp_5: ; switch_7_exp_6: ; switch_7_exp_7: ; switch_7_exp_8: ; goto switch_7_break; } else { switch_7_break: ; } } } } } } } } } } } } } } } } } } } { #line 941 #line 941 if (status < 0) { { #line 943 Irp__IoStatus__Status = status; #line 944 myStatus = status; #line 945 IofCompleteRequest(Irp, 0); } #line 947 return (status); } } { #line 952 tmp = KbFilter_DispatchPassThrough(DeviceObject, Irp); } #line 954 return (tmp); } }