"findMethods"가 예상 결과를 반환하지 않습니다.

Question

CHA 알고리즘에서 콜 그래프를 작성하기 위해 (DefaultOneStepAnalysis를 확장하는) 분석을 구현하려고합니다. 3 년

1) method "doAnalyze" to return the "BasicReport" 
2) method "analyze" to find call edges for each method in the given project 
3) class "AnalysisContext" to store the context and methods using in the analysis. 

) 나는 "CHACallGraphExtractor"에서와 동일한 방법의 cbsMethods을 찾는 방법 "callBySignature"을 사용하지만 예상 된 결과를 반환하지 않습니다, 내 코드의 세 부분이 있습니다. 원본 OPAL의 방법을 사용하여 추출기에서 cbsMethod를 가져 오는 동안 결과는 일련의 메서드입니다.

문제점의 위치와 해결 방법을 알려주십시오. 대단히 감사합니다.

감사합니다, 지앙

---- 내 코드의 주요 부분 ----------------------------- -------------------- 마지막으로

object CHACGAnalysis extends DefaultOneStepAnalysis { 
    ... ... 
    override def doAnalyze(
            project: Project[URL], 
            parameters: Seq[String] = List.empty, 
            isInterrupted:() ⇒ Boolean 
           ): BasicReport = { 
    ... ... 
     for { 
      classFile <- project.allProjectClassFiles 
      method <- classFile.methods 
     } { 
     analyze(project, methodToCellCompleter, classFile, method)) 
     } 
    ... ... 
    } 

    def analyze(
       project: Project[URL], 
       methodToCellCompleter: Map[(String,Method), CellCompleter[K, Set[Method]]], 
       classFile: ClassFile, 
       method: Method 
       ): Unit = { 
    … … 
     val context = new AnalysisContext(project, classFile, method) 
     method.body.get.foreach((pc, instruction) ⇒ 
     instruction.opcode match { 
     ... ... 
      case INVOKEINTERFACE.opcode ⇒ 
       val INVOKEINTERFACE(declaringClass, name, descriptor) = instruction 
       context.addCallEdge_VirtualCall(pc, declaringClass, name, descriptor, true,cell1) 
      ... ... 
     } 
… … 
} 

protected[this] class AnalysisContext(
             val project: SomeProject, 
             val classFile: ClassFile, 
             val method: Method 
             ) { 
    val classHierarchy = project.classHierarchy 
    val cbsIndex = project.get(CallBySignatureResolutionKey) 
    val statistics = project.get(IntStatisticsKey) 
    val instantiableClasses = project.get(InstantiableClassesKey) 
    val cache = new CallGraphCache[MethodSignature, scala.collection.Set[Method]](project) 
private[AnalysisContext] def callBySignature(
                declaringClassType: ObjectType, 
                name:    String, 
                descriptor:   MethodDescriptor 
               ): Set[Method] = { 
     val cbsMethods = cbsIndex.findMethods(
     name, 
     descriptor, 
     declaringClassType 
    ) 
     cbsMethods 
    } 
def addCallEdge_VirtualCall(
           pc: PC, 
           declaringClassType: ObjectType, 
           name: String, 
           descriptor: MethodDescriptor, 
           isInterfaceInvocation: Boolean   = false, 
           cell1: CellCompleter[K, Set[Method]] 
           ): Unit = { 

     val cbsCalls = 
     if (isInterfaceInvocation) { 
      callBySignature(declaringClassType, name, descriptor) 
     } 
     else 
      Set.empty[Method] 

… … 
} 
… … 
} 

Answer 1

, 내가 찾은 문제는 내가 'CPA'로 AnalysisMode를 재설정 한 후 "AnalysisMode" 때문이다 질문이 해결되었습니다

알고리즘을 디자인하기 전에 "AnalysisMode"를 사용해야한다는 것을 항상 기억해야한다고 생각합니다.

고맙습니다. Jiang