Project

General

Profile

Actions

Bug #2705

open

BLAST knows something about huge integer numbers?

Added by Evgeny Novikov over 12 years ago. Updated over 12 years ago.

Status:
Open
Priority:
Low
Assignee:
-
Category:
-
Target version:
-
Start date:
04/04/2012
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

It turns out that BLAST incorrectly processes very huge integer number in comparison with CPAchecker. An example is in attachment. As usual there is also a real driver where the given error was encountered (it causes false positive).


Files

test2.c (291 Bytes) test2.c Example with huge integer number that causes BLAST false positive Evgeny Novikov, 04/04/2012 07:36 PM
drivers-block-virtio_blk.o.general.i (1.53 MB) drivers-block-virtio_blk.o.general.i Real driver that has the same problem Evgeny Novikov, 04/04/2012 07:36 PM
Actions

Also available in: Atom PDF