Project

General

Profile

Actions

Feature #1685

open

Make BLAST understand and verify recursion

Added by Pavel Shved over 12 years ago. Updated over 12 years ago.

Status:
New
Priority:
Low
Assignee:
Category:
-
Target version:
-
Start date:
08/24/2011
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

As said in bug #1684, BLAST has a nearly complete support for recursive calls (perhaps, it was implemented for context-free verification mode).
The lval_maps should be push-ed and pop-ed on recursive calls (actually, more work on this matter is required).

We might want to consider this possibility and to explore if it helps us and if it's actually that easy.


Related issues 1 (0 open1 closed)

Related to BLAST - Bug #1684: BLAST incorrectly updates lvalue indexes when converting to SSA with recursion enabled!ClosedPavel Shved08/24/2011

Actions
Actions #1

Updated by Pavel Shved over 12 years ago

  • Project changed from Linux Driver Verification to BLAST
  • Category deleted (BLAST)
Actions

Also available in: Atom PDF