tech-srl/safe

Issues

• Interesting issue with typestate and pointer analysis combination

  #4 opened 7 years ago
  3

• TypeStateDomain with multiple underlying typestate properties

  #3 opened 7 years ago
  0

• Using SAFE for typestate analysis of an object declared in a com.ibm.wala.classLoader.IMethod

  #2 opened 7 years ago
  6