opal-framework

0열

1답변

정적 분석을 구현하기 위해 OPAL 프레임 워크를 사용하고 있습니다. 실행 중에 콘솔에 인쇄 된 프레임 워크의 콘솔 출력을 억제 할 수 있는지 궁금합니다. 다음은 출력의 일부를 보여줍니다. ... [info][OPAL] Bytecod Representation - Development Build (asserstions are enables) [info]

0열

1답변

OPAL- CHA 알고리즘을 사용하여 추상 클래스에 정의 된 메소드 호출의 호출

다음은 CHA를 사용하여 Java 바이트 코드의 콜 그래프를 생성하는 알고리즘과 관련된 질문입니다. 추상 클래스의 메서드에 대한 구체적인 메서드 구현이 없으므로 이러한 메서드에 콜 에지를 추가하는 것은 다소 오도 될 수 있습니다. 예를 들어 junit-4.12.jar을 가져 가십시오. runFailed은 추상 클래스 인 junit.runner.BaseTes

0열

1답변

OPAL : OPAL 프레임 워크에서 주석이 달린 메소드

을 수동으로 작성하면 수동으로 주석 된 메소드를 작성할 수 있습니까? 나는 현재 다음과 같은 코드가 있습니다 Method(0, "signaturePolymorphicMethod", MethodDescriptor(ObjectType("java/lang/Object"), VoidType), Seq()) 을 나는이 방법에 주석 @java.lang.

0열

1답변

OPAL-Framework : 메서드의 예외 예외 가져 오기

OPAL-Framework에서 메서드 나 해당 설명자에서 throw 된 예외를 모두 가져 오는 방법은 무엇입니까? 나는 그 (것)들을 돌려 보내는 어떤 방법도 찾아 낼 수 없었다. 나는 메소드의 throws 선언에 나열된 예외에만 관심이 있습니다.

0열

1답변

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

CHA 알고리즘에서 콜 그래프를 작성하기 위해 (DefaultOneStepAnalysis를 확장하는) 분석을 구현하려고합니다. 3 년 1) method "doAnalyze" to return the "BasicReport" 2) method "analyze" to find call edges for each method in the given projec