Showing error 28

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: ntdrivers/diskperf.i.cil.c
Line in file: 1982
Project: SV-COMP 2012
Tools: Manual Work
Entered: 2012-11-19 13:47:39 UTC


Source:

1952  struct _GUID  const  MSRedbook_DriverInformationGuid  =    {3104133351U,
1953    44554, 4561, {165, 113, 0, 192, 79, 163, 71, 48}};
1954  struct _GUID  const  MSRedbook_PerformanceGuid  =    {3104133352U,
1955    44554, 4561, {165, 113, 0, 192, 79, 163, 71, 48}};
1956  struct _GUID  const  RegisteredGuids_GUID  =    {3823105981U, 14613, 4562, {145, 3, 0, 192, 79, 185, 152, 162}};
1957  struct _GUID  const  DiskPerfGuid  =    {3185075665U, 55233, 4560, {165, 1, 0, 160, 201, 6, 41, 16}};
1958  struct _GUID  const  THERMAL_ZONE_GUID  =    {2713458880U, 42952, 4561, {191, 60, 0, 160, 201, 6, 41, 16}};
1959  struct _GUID  const  GlobalLoggerGuid  =    {3901786812U, 43652, 4562, {154, 147, 0, 128, 95, 133, 215, 198}};
1960  struct _GUID  const  GenericMessageGuid  =    {2369794079U, 43850, 4562, {154, 147, 0, 128, 95, 133, 215, 198}};
1961  struct _GUID  const  ProcessGuid  =    {1030727888, 65029, 4560, {157, 218, 0, 192, 79, 215, 186, 124}};
1962  struct _GUID  const  ThreadGuid  =    {1030727889, 65029, 4560, {157, 218, 0, 192, 79, 215, 186, 124}};
1963  struct _GUID  const  HardFaultGuid  =    {1030727890, 65029, 4560, {157, 218, 0, 192, 79, 215, 186, 124}};
1964  struct _GUID  const  PageFaultGuid  =    {1030727891, 65029, 4560, {157, 218, 0, 192, 79, 215, 186, 124}};
1965  struct _GUID  const  DiskIoGuid  =    {1030727892, 65029, 4560, {157, 218, 0, 192, 79, 215, 186, 124}};
1966  struct _GUID  const  FileIoGuid  =    {2429279289U, 19006, 4561, {132, 244, 0, 0, 248, 4, 100, 227}};
1967  struct _GUID  const  TcpIpGuid  =    {2586315456U, 51424, 4561, {132, 226, 0, 192, 79, 185, 152, 162}};
1968  struct _GUID  const  UdpIpGuid  =    {3208270021U, 43465, 18824, {160, 5, 45, 240, 183, 200, 15, 128}};
1969  struct _GUID  const  ImageLoadGuid  =    {749821213, 24513, 4562, {171, 225, 0, 160, 201, 17, 245, 24}};
1970  struct _GUID  const  RegistryGuid  =    {2924704302U, 51299, 4562, {134, 89, 0, 192, 79, 163, 33, 161}};
1971  struct _GUID  const  TraceErrorGuid  =    {964792796, 11687, 4563, {139, 152, 0, 128, 95, 133, 215, 198}};
1972#pragma once
1973extern NTSTATUS WmiCompleteRequest(PDEVICE_OBJECT DeviceObject , PIRP Irp , NTSTATUS Status ,
1974                                   ULONG BufferUsed , CCHAR PriorityBoost ) ;
1975NTSTATUS WmiSystemControl(PWMILIB_CONTEXT WmiLibInfo , PDEVICE_OBJECT DeviceObject ,
1976                          PIRP Irp , PSYSCTL_IRP_DISPOSITION IrpDisposition ) ;
1977int __BLAST_NONDET  ;
1978void errorFn(void) 
1979{ 
1980
1981  {
1982  ERROR: 
1983  goto ERROR;
1984}
1985}
1986int s  ;
1987int UNLOADED  ;
1988int NP  ;
1989int DC  ;
1990int SKIP1  ;
1991int SKIP2  ;
1992int MPR1  ;
Show full sources