Project

General

Profile

Actions
Copy link

Feature #8282

closed

apply SLV detection heuristic to more than one CGAA path

Added by Sergey Smolov over 7 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine
Target version:
0.2
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
Copy link

Also available in: Atom PDF