retdec
|
A basic alias analysis. More...
#include <basic_alias_analysis.h>
Public Member Functions | |
virtual void | init (ShPtr< Module > module) override |
Initializes the analysis. More... | |
virtual std::string | getId () const override |
Returns the ID of the analysis. More... | |
![]() | |
virtual | ~AliasAnalysis ()=default |
virtual bool | isInitialized () const |
Returns true if the analysis has been initialized, false otherwise. More... | |
virtual const VarSet & | mayPointTo (ShPtr< Variable > var) const =0 |
Returns the set of variables to which var may point to. More... | |
virtual ShPtr< Variable > | pointsTo (ShPtr< Variable > var) const =0 |
Returns the variable to which var always points. More... | |
virtual bool | mayBePointed (ShPtr< Variable > var) const =0 |
Returns true if a pointer may point to var, false otherwise. More... | |
Static Public Member Functions | |
static ShPtr< AliasAnalysis > | create () |
Creates a new basic alias analysis. More... | |
Private Member Functions | |
BasicAliasAnalysis () | |
Constructs a new analysis. More... | |
Additional Inherited Members | |
![]() | |
AliasAnalysis ()=default | |
![]() | |
ShPtr< Module > | module |
The current module. More... | |
VarSet | globalVars |
A basic alias analysis.
Use create() to create instances. Instances of this class have reference object semantics.
|
private |
Constructs a new analysis.
|
static |
Creates a new basic alias analysis.
|
overridevirtual |
Returns the ID of the analysis.
Implements retdec::llvmir2hll::AliasAnalysis.
Initializes the analysis.
[in] | module | The module to be analyzed. |
This member function has to be called (1) when an instance of this class (or its subclass) is created and (2) whenever the current module is changed in a way that may change the results of the alias analysis.
Reimplemented from retdec::llvmir2hll::AliasAnalysis.