Replace the behavior of some variables in java with our design statements with Tai-e about tai-e HOT 3 CLOSED

Tai-e's IR is immutable, but you can intercept IR in pointer analysis.

One way to do this is to modify DefaultSolver.addCSMethod() to intercept the result of method.getIR().getStmts() and replace it by your modified IR. In this way, the core pointer analysis solver (see class StmtProcessor) analyzes the modified IR, but other plugins still analyze the original IR, so you may need to be careful.

from tai-e.

In order to achieve my goal, I want to use tai-e as an analysis tool.
My current question is: how should I use tai-e to obtain the memory size of all variables in a java and on which line are they assigned, read and written? What tools of tai-e should I use or where to start to create my own analysis
Thanks a lot for your reply!

from tai-e.

In order to achieve my goal, I want to use tai-e as an analysis tool. My current question is: how should I use tai-e to obtain the memory size of all variables in a java and on which line are they assigned, read and written?

Please see Stmt.java, which provides APIs to get variables read (used)/written (defined) by each Stmt and its line number.

What tools of tai-e should I use or where to start to create my own analysis Thanks a lot for your reply!

Please refer to How to Develop A New Analysis on Tai‐e?

from tai-e.