Project

General

Profile

2.6

closed

09/16/2011

Version 2.6, developed in ISPRAS

100%

17 issues   (17 closed — 0 open)

Issues by
Bug

16/16
Feature

1/1
Related issues
Bug #330: Coverage check is flawed for lattice-based regions! Actions
Bug #334: Bool-to-int casting in function call assignments doesn't work Actions
Bug #338: CIL can't preprocess__padding or __builtin_offsetof in rules 60_1 and 68_1 Actions
Bug #418: Smt Solver error on driver usblp.o.i with double locks model Actions
Bug #511: SMTlib interface spends too much time generating predicates Actions
Bug #514: BLAST's useful blocks generation algorithm is suboptimal for SMT solvers Actions
Bug #544: CVC3 is too slow and greedy in memory consumption Actions
Bug #545: CVC3 wastes some time after it has already given an answer Actions
Bug #600: BLAST compatibility with Ocaml 3.11 Actions
Bug #911: Cil doesn't eat the correct construction Actions
Bug #915: may-aliases do not care of function calls with result assignment Actions
Bug #920: BLAST fails with Exception in Simplemem.simplemem Actions
Bug #1450: Compatibility with Ocaml 3.12 Actions
Bug #1652: Commit ocamltune into blast Actions
Bug #1684: BLAST incorrectly updates lvalue indexes when converting to SSA with recursion enabled! Actions
Bug #1732: BLAST's alias analyzer doesn't propagate aliases over return-s from functions Actions
Feature #546: Could CVC3 runtime be improved by decreasing precision? Actions