https://asplos.dev/wordpress/2022/04/24/program-analysis-livevariableanalysis-in-soot/
[Program Analysis] LiveVariableAnalysis in Soot