Project

General

Profile

Actions
Copy link

Feature #1685

open

Make BLAST understand and verify recursion

Added by Pavel Shved about 13 years ago. Updated about 13 years ago.

Status:
New
Priority:
Low
Assignee:
Pavel Shved
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 open — 1 closed)

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

Actions
Actions
Copy link
 #1

Updated by Pavel Shved about 13 years ago

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

Also available in: Atom PDF