Thanks for sharing your awesome project. I am trying to follow your work. However, while reading the source code, I'm having some difficulties. It looks like the tool requires some dataflow analysis of the llvm bitcode and UTopia implements some subclasses of Analyzer. These Analyzers look different from the existing static analyzer, such as Phasar in C or soot in java. Can you please provide some technical details on how to implement static analysis in UTopia, for example what is the function of indCallSolverMgr and LLVMWalker?
Thanks for sharing your awesome project. I am trying to follow your work. However, while reading the source code, I'm having some difficulties. It looks like the tool requires some dataflow analysis of the llvm bitcode and UTopia implements some subclasses of Analyzer. These Analyzers look different from the existing static analyzer, such as Phasar in C or soot in java. Can you please provide some technical details on how to implement static analysis in UTopia, for example what is the function of indCallSolverMgr and LLVMWalker?