Project

General

Profile

Actions
Copy link

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

Download all 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
Copy link

Also available in: Atom PDF