Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Exception in thread "main" UnsolvedSymbolException{context='null', name='AbstractTestCase', cause='null'} #47

Open
HickeyHsu opened this issue Mar 17, 2021 · 7 comments
Open

Exception in thread "main" UnsolvedSymbolException{context='null', name='AbstractTestCase', cause='null'} #47

HickeyHsu opened this issue Mar 17, 2021 · 7 comments

Comments

@HickeyHsu
Copy link

Exception in thread "main" UnsolvedSymbolException{context='null', name='AbstractTestCase', cause='null'} at com.github.javaparser.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:670) at com.github.javaparser.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:645) at com.github.javaparser.symbolsolver.JavaSymbolSolver.toResolvedType(JavaSymbolSolver.java:271) at com.github.javaparser.ast.type.ClassOrInterfaceType.resolve(ClassOrInterfaceType.java:301) at es.upv.mist.slicing.graphs.ClassGraph.lambda$18(ClassGraph.java:259) at java.base/java.util.ArrayList.forEach(ArrayList.java:1541) at com.github.javaparser.ast.NodeList.forEach(NodeList.java:290) at es.upv.mist.slicing.graphs.ClassGraph.addClassEdges(ClassGraph.java:258) at es.upv.mist.slicing.graphs.ClassGraph$2.visit(ClassGraph.java:221) at es.upv.mist.slicing.graphs.ClassGraph$2.visit(ClassGraph.java:1) at com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.accept(ClassOrInterfaceDeclaration.java:100) at com.github.javaparser.ast.visitor.VoidVisitorAdapter.lambda$visit$43(VoidVisitorAdapter.java:175) at java.base/java.util.ArrayList.forEach(ArrayList.java:1541) at com.github.javaparser.ast.NodeList.forEach(NodeList.java:290) at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:175) at com.github.javaparser.ast.CompilationUnit.accept(CompilationUnit.java:138) at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:623) at com.github.javaparser.ast.NodeList.accept(NodeList.java:282) at es.upv.mist.slicing.graphs.ClassGraph.buildEdges(ClassGraph.java:214) at es.upv.mist.slicing.graphs.ClassGraph.build(ClassGraph.java:121) at es.upv.mist.slicing.graphs.sdg.SDG$Builder.createClassGraph(SDG.java:162) at es.upv.mist.slicing.graphs.sdg.SDG$Builder.build(SDG.java:119) at es.upv.mist.slicing.graphs.sdg.SDG.build(SDG.java:75) at es.upv.mist.slicing.cli.Slicer.slice(Slicer.java:245) at es.upv.mist.slicing.cli.Slicer.main(Slicer.java:301)
@cargaji
Copy link
Collaborator

cargaji commented May 5, 2021

Hi there! The UnsolvedSymbolException is related to missing some classes in part of the analysis. I'd suggest including the libraries' source code with -i <path> or the jars in the classpath (see the readme for an example). In the future we may support these cases without including libraries that you don't want to analyze, but the current design requires that all libraries be present.

If that doesn't solve your problem, I'd need to know more information, like the program and criterion you've inputed into the program.

@diohabara
Copy link

diohabara commented Jun 20, 2023 •
edited
Loading

Hi @cargaji,

I'd suggest including the libraries' source code with -i or the jars in the classpath (see the readme for an example)

I have the same problem and did just like you instructed. However, the problem still persists. What am I doing wrong?

The target of static slicing is gwt/tools/api-checker/src/com/google/gwt/tools/apichecker/ApiAbstractMethod.java from the project root, and the libraries it uses are in gwt-lib/ from the project root too.

 69k gwt-api-checker.jar
182k gwt-codeserver.jar
 45M gwt-dev.jar
 33k gwt-doctool.jar
277k gwt-servlet-deps.jar
9.9M gwt-servlet.jar
 15M gwt-user.jar
 35k requestfactory-apt-src.jar
 90k requestfactory-apt.jar
427k requestfactory-client+src.jar
100k requestfactory-client-src.jar
328k requestfactory-client.jar
1.1M requestfactory-server+src.jar
133k requestfactory-server-src.jar
1.0M requestfactory-server.jar

When I execute the following commands, I get the successive errors. How can I fix it?

with -cp

$ java -cp gwt-lib/gwt-api-checker.jar -jar sdg-cli/target/sdg-cli-1.3.0-jar-with-dependencies.jar -c gwt/tools/api-checker/src/com/google/gwt/tools/apichecker/ApiAbstractMethod.java#147:ret 
Jun 20, 2023 4:45:41 PM es.upv.mist.slicing.cli.Slicer slice
INFO: Configuring JavaParser
Jun 20, 2023 4:45:41 PM es.upv.mist.slicing.cli.Slicer slice
INFO: Parsing files
Jun 20, 2023 4:45:41 PM es.upv.mist.slicing.cli.Slicer slice
INFO: Building the SDG
Exception in thread "main" UnsolvedSymbolException{context='null', name='ApiElement', cause='null'}
        at com.github.javaparser.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:643)
        at com.github.javaparser.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:618)
        at com.github.javaparser.symbolsolver.JavaSymbolSolver.toResolvedType(JavaSymbolSolver.java:281)
        at com.github.javaparser.ast.type.ClassOrInterfaceType.resolve(ClassOrInterfaceType.java:315)
        at es.upv.mist.slicing.graphs.ClassGraph.lambda$addClassEdges$13(ClassGraph.java:447)
        at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
        at com.github.javaparser.ast.NodeList.forEach(NodeList.java:290)
        at es.upv.mist.slicing.graphs.ClassGraph.addClassEdges(ClassGraph.java:446)
        at es.upv.mist.slicing.graphs.ClassGraph$2.visit(ClassGraph.java:396)
        at es.upv.mist.slicing.graphs.ClassGraph$2.visit(ClassGraph.java:389)
        at com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.accept(ClassOrInterfaceDeclaration.java:98)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.lambda$visit$43(VoidVisitorAdapter.java:175)
        at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
        at com.github.javaparser.ast.NodeList.forEach(NodeList.java:290)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:175)
        at com.github.javaparser.ast.CompilationUnit.accept(CompilationUnit.java:133)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:630)
        at com.github.javaparser.ast.NodeList.accept(NodeList.java:282)
        at es.upv.mist.slicing.graphs.ClassGraph.buildEdges(ClassGraph.java:389)
        at es.upv.mist.slicing.graphs.ClassGraph.build(ClassGraph.java:289)
        at es.upv.mist.slicing.graphs.sdg.SDG$Builder.createClassGraph(SDG.java:176)
        at es.upv.mist.slicing.graphs.jsysdg.JSysDG$Builder.createClassGraph(JSysDG.java:49)
        at es.upv.mist.slicing.graphs.sdg.SDG$Builder.build(SDG.java:125)
        at es.upv.mist.slicing.graphs.jsysdg.JSysDG$Builder.build(JSysDG.java:44)
        at es.upv.mist.slicing.graphs.sdg.SDG.build(SDG.java:73)
        at es.upv.mist.slicing.cli.Slicer.slice(Slicer.java:208)
        at es.upv.mist.slicing.cli.Slicer.main(Slicer.java:286)

with -i

$ java -jar sdg-cli/target/sdg-cli-1.3.0-jar-with-dependencies.jar -c gwt/tools/api-checker/src/com/google/gwt/tools/apichecker/ApiAbstractMethod.java#147:ret -i gwt-lib                     
Jun 20, 2023 4:46:40 PM es.upv.mist.slicing.cli.Slicer slice
INFO: Configuring JavaParser
Jun 20, 2023 4:46:40 PM es.upv.mist.slicing.cli.Slicer slice
INFO: Parsing files
Jun 20, 2023 4:46:40 PM es.upv.mist.slicing.cli.Slicer slice
INFO: Building the SDG
Exception in thread "main" UnsolvedSymbolException{context='null', name='ApiElement', cause='null'}
        at com.github.javaparser.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:643)
        at com.github.javaparser.symbolsolver.javaparsermodel.JavaParserFacade.convertToUsage(JavaParserFacade.java:618)
        at com.github.javaparser.symbolsolver.JavaSymbolSolver.toResolvedType(JavaSymbolSolver.java:281)
        at com.github.javaparser.ast.type.ClassOrInterfaceType.resolve(ClassOrInterfaceType.java:315)
        at es.upv.mist.slicing.graphs.ClassGraph.lambda$addClassEdges$13(ClassGraph.java:447)
        at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
        at com.github.javaparser.ast.NodeList.forEach(NodeList.java:290)
        at es.upv.mist.slicing.graphs.ClassGraph.addClassEdges(ClassGraph.java:446)
        at es.upv.mist.slicing.graphs.ClassGraph$2.visit(ClassGraph.java:396)
        at es.upv.mist.slicing.graphs.ClassGraph$2.visit(ClassGraph.java:389)
        at com.github.javaparser.ast.body.ClassOrInterfaceDeclaration.accept(ClassOrInterfaceDeclaration.java:98)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.lambda$visit$43(VoidVisitorAdapter.java:175)
        at java.base/java.util.ArrayList.forEach(ArrayList.java:1511)
        at com.github.javaparser.ast.NodeList.forEach(NodeList.java:290)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:175)
        at com.github.javaparser.ast.CompilationUnit.accept(CompilationUnit.java:133)
        at com.github.javaparser.ast.visitor.VoidVisitorAdapter.visit(VoidVisitorAdapter.java:630)
        at com.github.javaparser.ast.NodeList.accept(NodeList.java:282)
        at es.upv.mist.slicing.graphs.ClassGraph.buildEdges(ClassGraph.java:389)
        at es.upv.mist.slicing.graphs.ClassGraph.build(ClassGraph.java:289)
        at es.upv.mist.slicing.graphs.sdg.SDG$Builder.createClassGraph(SDG.java:176)
        at es.upv.mist.slicing.graphs.jsysdg.JSysDG$Builder.createClassGraph(JSysDG.java:49)
        at es.upv.mist.slicing.graphs.sdg.SDG$Builder.build(SDG.java:125)
        at es.upv.mist.slicing.graphs.jsysdg.JSysDG$Builder.build(JSysDG.java:44)
        at es.upv.mist.slicing.graphs.sdg.SDG.build(SDG.java:73)
        at es.upv.mist.slicing.cli.Slicer.slice(Slicer.java:208)
        at es.upv.mist.slicing.cli.Slicer.main(Slicer.java:286)

I also followed #45 (comment) and set change this to false, but it's still not working.

@cargaji
Copy link
Collaborator

cargaji commented Jun 22, 2023

Hi @diohabara, I can confirm the bug locally. I have had some problems with the symbol solver we're using, to the point of having forked it and placed it as a module to fix a couple bugs. I'll try to figure out a patch, but it may take a week or two.

@cargaji cargaji mentioned this issue Jun 22, 2023
Open
@diohabara
Copy link

@cargaji
Thank you for the response!
Please let me know if I have anything to help you.

@diohabara
Copy link

diohabara commented Jun 27, 2023 •
edited
Loading

@cargaji

Hi, I just tried these commands to confirm that some commits were working well with third libraries.

mvn package -Dmaven.test.skip
java -cp gwt-lib/gwt-api-checker.jar -jar sdg-cli/target/sdg-cli-1.3.0-jar-with-dependencies.jar -c gwt/tools/api-checker/src/com/google/gwt/tools/apichecker/ApiAbstractMethod.java#147:ret
java -jar sdg-cli/target/sdg-cli-1.3.0-jar-with-dependencies.jar -c gwt/tools/api-checker/src/com/google/gwt/tools/apichecker/ApiAbstractMethod.java#147:ret -i gwt-lib

However, I couldn't find any good commits from given tags(https://github.com/mistupv/JavaSlicer/tags).

Do you happen to remember at what commit the feature was working correctly?

In my plan, if we know a initial good commit, we can try git bisect and detect the initial bad commit.

@diohabara diohabara mentioned this issue Jul 7, 2023
Open
@diohabara
Copy link

@cargaji

I'm exeperimenting using this PR.

#51

@felixmaechtle
Copy link

Hey,

Are there any solutions for this problem yet?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@felixmaechtle @diohabara @HickeyHsu @cargaji