Static Value-Flow Analysis
|
#include <LLVMLoopAnalysis.h>
Public Member Functions | |
LLVMLoopAnalysis ()=default | |
Constructor. More... | |
virtual | ~LLVMLoopAnalysis ()=default |
Destructor. More... | |
virtual void | buildLLVMLoops (SVFModule *mod, ICFG *icfg) |
Build llvm loops based on LoopInfo analysis. More... | |
virtual void | build (ICFG *icfg) |
Start from here. More... | |
virtual void | buildSVFLoops (ICFG *icfg, std::vector< const Loop * > &llvmLoops) |
Build SVF loops based on llvm loops. More... | |
Definition at line 39 of file LLVMLoopAnalysis.h.
|
default |
Constructor.
|
virtualdefault |
Destructor.
|
virtual |
Start from here.
We start from here
icfg | ICFG |
Definition at line 90 of file LLVMLoopAnalysis.cpp.
Build llvm loops based on LoopInfo analysis.
Build llvm loops based on LoopInfo analysis
mod | SVF module |
llvmLoops | output llvm loops |
Definition at line 49 of file LLVMLoopAnalysis.cpp.
|
virtual |
Build SVF loops based on llvm loops.
Build SVF loops based on llvm loops
icfg | ICFG |
llvmLoops | input llvm loops |
Definition at line 101 of file LLVMLoopAnalysis.cpp.