Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Patents
  4. Advantageous State Merging During Symbolic Analysis
 
patent

Advantageous State Merging During Symbolic Analysis

Kuznetsov, Volodymyr
•
Kinder, Johannes
•
Bucur, Stefan
Show more
2013

A determination is made regarding whether to merge two symbolic analysis states. A first state corresponds to a first path through a program to a program location and a second state corresponds to a second path through the program to the program location. A set of variables of the program at the program location is determined. For each variable in the set: a) a first value of the variable in the first state is determined; b) a second value of the variable in the second state is determined; and c) a determination is made, based on the first and second values, regarding whether merging the first and second states would be advantageous. A determination is made, responsive to determining that merging the first state and the second state would not be advantageous for at least one variable in the set, not to merge the first state and the second state.

  • Details
  • Metrics
Type
patent
EPO Family ID

49381349

Author(s)
Kuznetsov, Volodymyr
Kinder, Johannes
Bucur, Stefan
Candea, George
Note

Alternative title(s) : (en) Advantageous state merging during symbolic analysis

TTO classification

TTO:6.1014

EPFL units
AVP-R-TTO  
DOICountry codeKind codeDate issued

US9141354

US

B2

2015-09-22

US2013283236

US

A1

2013-10-24

Available on Infoscience
June 13, 2017
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/138274
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés