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);
}
}
