Project

General

Profile

Feature #8282

apply SLV detection heuristic to more than one CGAA path

Added by Sergey Smolov about 3 years ago. Updated about 3 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.

History

#1

Updated by Sergey Smolov about 3 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
#2

Updated by Sergey Smolov about 3 years ago

  • Status changed from New to Open
#3

Updated by Sergey Smolov about 3 years ago

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

Done in a527b394

#4

Updated by Sergey Smolov about 3 years ago

  • Status changed from Resolved to Verified
#5

Updated by Sergey Smolov about 3 years ago

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

Also available in: Atom PDF