Actions
Bug #5523
openInvestigate unknowns caused by case ranges
Start date:
12/23/2014
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
The fix of #5430 Leads to Unknown verdicts
- drivers/media/pci/ivtv/ivtv.ko (08_1a,32_7a, 39_7a,... from Safe)
- drivers/vfio/pci/vfio-pci.ko (08_1a from Unsafe; 32_7a, 39_7a,... from Safe)
- sound/soc/codecs/snd-soc-uda1380.ko (08_1a, 32_7a, 39_7a,... from Safe)
It looks like case ranges make verifier's work harder.
TODO: investigate how they are translated by CIL and represented in verification tools
No data to display
Actions