Project

General

Profile

Actions

Feature #8282

closed

apply SLV detection heuristic to more than one CGAA path

Added by Sergey Smolov over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Engine
Target version:
Start date:
07/10/2017
Due date:
% Done:

100%

Estimated time:
Published in build:
1.0.1-beta-170912

Description

To keep the idea of the selected state-like variable (SLV) detection heuristic, the following should be implemented:

1. An auxiliary graph of connections between phase variable values should be stored inside the CGAA model. Every edge in the graph comes from the fact that src value of phase variable can be changed to dst value through the same execution path.

2. SLV detector should use the graph that is specified above to check the variables through several CGAA paths.

Actions

Also available in: Atom PDF