Customize multiple entry methods

[slimming-fat]

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

{{The content of 'output/tai-e.log' file}}

Additional Information

No response

[zhangt2333]

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/af7ae19ac4b5fb5f495bcd3aebe584775d7bfb6d/src/test/resources/pta/entrypoint/CustomEntryPoints.java
• analysis plugin: https://github.com/pascal-lab/Tai-e/blob/af7ae19ac4b5fb5f495bcd3aebe584775d7bfb6d/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 af7ae19

  	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");

[slimming-fat]

Thank you very much. I'll try.

[slimming-fat]

I followed the above configuration and the log showed that the cg build was successful, but no cg result was found (eg, source -> target).
tai-e.log

options.yml

[zhangt2333]

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 cg analysis option can be found in

Tai-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

[slimming-fat]

Yes, I have succeeded. Thank you very much for your patience.