Inspections Open source
  Name
     dvbspu.c

  Location
     file [vdr] - .../dvbspu.c

  Problem synopsis