Method analyzeProperty

lib/propanalysis/ArrayAnalyzer.cpp:48–55

}

void ArrayAnalyzer::analyzeProperty(llvm::Argument &A) {
  if (updateArgFlow(A))
    return;

  analyzeArray(A);
  assert(Report && "Unexpected Program State");
  Report->add(getOrCreateArgFlow(A));
}

void ArrayAnalyzer::analyzeArray(llvm::Argument &A) {
  std::set<Value *> VisitedNodes;