在Java中跟踪控制结构进行静态代码分析（可用表达式）

Question

我正在Java中编写一个程序，该程序在给定的Java程序上进行可用的表达分析。我设法提取生成和杀死集。为了使它变得简单，我正在使用一个约束，该约束只会分析一行声明一个变量的程序（REGEX表达式可用于声明和初始化，但是，重新定义变量的逻辑仍在进行中。这是原因为什么它无法正确检测到杀戮集）。

我现在面临的问题是如何跟踪循环？有条件的陈述？所有控制结构？就像while，for for for和if-else语句。

有人可以帮忙吗？该用什么？如何跟踪路径？以下是代码文件。

您可以提供的任何帮助将不胜感激。谢谢你！

readfile.java

   // Import the File class
import java.io.File; 
 
// Import this class to handle errors
import java.io.FileNotFoundException;
import java.util.ArrayList;
// Import the Scanner class to read text files
import java.util.Scanner; 
import java.util.Stack;
import java.util.regex.Matcher;
import java.util.regex.Pattern;

public class ReadFile 
{
    public static void main(String[] args) {
        try {
        // Creating an object of the file for reading the stmt
        File myObj = new File("./Files/Test.txt");  
    
        ArrayList<State> stmts = new ArrayList<State>();

        String gen="{ }";
        String kill="{ }";
        Scanner myReader = new Scanner(myObj);
        int i=0;
        while (myReader.hasNextLine()) 
        {
            String stmt = myReader.nextLine();
            boolean def=true;

            if(stmt.contains("class") || stmt.contains("{") || stmt.contains("}") || stmt.contains("args[]") || stmt.startsWith("//"))
            {
                continue;
            }
             
                    
            Pattern p = Pattern.compile("^(int|long|float|double)\\s(([\\_\\w\\d])+)");
            
            Matcher m = p.matcher(stmt.trim());


            while(m.find())
            {
                kill = m.group(3);
            }

            if(stmt.contains("="))
            {
                String[] exp = stmt.split("=");
                
                
                for(int l=0; l<exp.length;l++)
                {
                    
                    if(exp[l].contains("+") || exp[l].contains("-") || exp[l].contains("*") || exp[l].contains("/"))
                    {
                        gen = exp[l];       
                    }
                }
                
            stmts.add(new State(new ArrayList<String>(), i, false, kill,gen,stmt));
            gen = "{ }";
            kill = "{ }";
            i++;
        }
        myReader.close();
        
        for (int j = 0; j < stmts.size(); j++)
        {
            System.out.println("Line Number " + stmts.get(j).lineNo);
            System.out.println("Statement " + stmts.get(j).statement);
            System.out.println("Generated " + stmts.get(j).genSet);
            System.out.println("Kill " + stmts.get(j).killSet);

        }


        
        } catch (FileNotFoundException e) {
        System.out.println("An error occurred.");
        e.printStackTrace();
        }
        
    }

}

state.java

import java.util.ArrayList;

public class State 
{
    //Elements
    public ArrayList<String> variables = new ArrayList<String>();
    public int lineNo;
    public boolean isDef;
    public String killSet;
    public String genSet;
    public String statement;
    
    //Constructor
    public State(ArrayList<String> al, int ln, boolean def, String kill, String gen, String stmt) 
    {
        for(int i=0;i<al.size();i++)
        {
            variables.add(al.get(i));
        }
        lineNo = ln;
        isDef = def;
        killSet = kill;
        genSet = gen;
        statement = stmt;
    }
    
}