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
 #1

Updated by Sergey Smolov over 7 years ago

  • Subject changed from apply SLV detection heirustic to more than one CGAA path to apply SLV detection heuristic to more than one CGAA path
Actions
Copy link
 #2

Updated by Sergey Smolov over 7 years ago

  • Status changed from New to Open
Actions
Copy link
 #3

Updated by Sergey Smolov over 7 years ago

  • Status changed from Open to Resolved
  • % Done changed from 0 to 100

Done in a527b394

Actions
Copy link
 #4

Updated by Sergey Smolov about 7 years ago

  • Status changed from Resolved to Verified
Actions
Copy link
 #5

Updated by Sergey Smolov about 7 years ago

  • Status changed from Verified to Closed
  • Published in build set to 1.0.1-beta-170912
Actions
Copy link

Also available in: Atom PDF