Inspections Open source
  Name
     dvbplayer.c

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

  Problem synopsis