Repository navigation
Customize multiple entry methods #112
Description
Activity
Others have mentioned this in the past, there is an example: #9 (comment)
Here is a new example for you to specify multiple entry methods:
- analyzed program: https://github.com/pascal-lab/Tai-e/blob/e3eadc9a2928655f38c4d69d70d1eb24359612dc/src/test/resources/pta/entrypoint/CustomEntryPoints.java
- analysis plugin: https://github.com/pascal-lab/Tai-e/blob/e3eadc9a2928655f38c4d69d70d1eb24359612dc/src/test/java/pascal/taie/analysis/pta/CustomEntryPointPlugin.java
- analysis driver:
Tai-e/src/test/java/pascal/taie/analysis/pta/CustomEntryPointTest.java
Lines 102 to 107 in e3eadc9
Main.main("-pp", "-cp", "src/test/resources/pta/entrypoint", "--input-classes", "CustomEntryPoints", "-a", "pta=only-app:true;implicit-entries:false;" + "plugins:[pascal.taie.analysis.pta.CustomEntryPointPlugin];", "-a", "cg");
Thank you very much. I'll try.
I guess you want to dump the Call Graph to disk.
To do this, use the following option:
"-a", "cg=dump:true;dump-call-edges:true;"(-a "cg=dump:true;dump-call-edges:true;")For more details, refer to the Tai-e documentation on specific analysis options. The relevant
cganalysis option can be found inTai-e/src/main/resources/tai-e-analyses.yml
Lines 36 to 44 in af7ae19
- description: call graph construction analysisClass: pascal.taie.analysis.graph.callgraph.CallGraphBuilder id: cg requires: [ pta(algorithm=pta) ] options: algorithm: pta # | cha | cha=LIMIT | cha-full dump: false # whether dump call graph in dot file dump-methods: false # whether dump reachable methods dump-call-edges: false # whether dump call edges Reacted by JackYes, I have succeeded. Thank you very much for your patience.


Overall Description
How to specify multiple entry methods when constructing a call graph, is there an actual example, I am new to Tai-e.
Expected Behavior
No
Current Behavior
No
Tai-e Arguments
Click here to see Tai-e Options
{{The content of 'output/options.yml' file}}Click here to see Tai-e Analysis Plan
{{The content of 'output/tai-e-plan.yml' file}}Tai-e Log
Click here to see Tai-e Log
Additional Information
No response