|
|
virtual void | getAnalysisUsage (AnalysisUsage &AU) const override |
| |
|
virtual bool | runOnModule (Module &M) override |
| |
| virtual bool | internallyDepends (unsigned TaskAID, unsigned TaskBID) override |
| |
| virtual bool | externallyDepends (unsigned CallerTaskID, unsigned CalleeTaskID) override |
| |
|
virtual bool | runOnFunction (Function &F) override |
| |
| virtual bool | runOnFunction (Function &F, unsigned TaskID) override |
| |
| virtual bool | releaseMemory (Function &F) override |
| |
|
virtual std::string | getName () |
| |
|
virtual SymbolicExprGraphBuilder * | getSEGs () override |
| |
|
virtual CBCallGraph * | getCG () override |
| |
|
virtual DomTreePass * | getDTP () override |
| |
|
virtual TSDataLayout * | getDL () override |
| |
|
virtual DebugInfoAnalysis * | getDIA () override |
| |
|
ExternalMemorySpec * | getMemSpec () override |
| |
|
ExternalIOSpec * | getIOSpec () override |
| |
|
ExternalTaintSpec * | getTaintSpec () override |
| |
|
| BotUpParallelPass (char &ID, unsigned NumTasks) |
| |
|
bool | toCheck (const Function *Func) |
| | return true if the function should be in the dependence graph
|
| |
|
|
class | SailfishFunctionChecker |
| |
◆ externallyDepends()
| bool SailfishChecker::externallyDepends |
( |
unsigned |
CallerTaskID, |
|
|
unsigned |
CalleeTaskID |
|
) |
| |
|
overridevirtual |
override this function to determine the task dependency between caller and callee returns true if CallerTask depends on CalleeTask
Implements BotUpParallelPass.
◆ internallyDepends()
| bool SailfishChecker::internallyDepends |
( |
unsigned |
TaskAID, |
|
|
unsigned |
TaskBID |
|
) |
| |
|
overridevirtual |
override this function to determine the task dependency in a single function returns true if TaskA depends on TaskB
Implements BotUpParallelPass.
◆ releaseMemory()
| bool SailfishChecker::releaseMemory |
( |
Function & |
F | ) |
|
|
overridevirtual |
Release the memory for storing intermediate results produced during the analysis of F This is done automatically when the results are no longer needed.
Implements BotUpParallelPass.
◆ runOnFunction()
| virtual bool SailfishChecker::runOnFunction |
( |
Function & |
F, |
|
|
unsigned |
TaskID |
|
) |
| |
|
overridevirtual |
override this function to define the tasks in each function a simple example is like: assert(TaskID < getNumTasksEachFunction()); switch(TaskID) { case 0: doTask0(); break; case 1: doTask1(); break; ... }
Implements BotUpParallelPass.
The documentation for this class was generated from the following files:
- /builds/prismers/clearblue/include/Checker/Sailfish/SailfishChecker.h
- /builds/prismers/clearblue/lib/Checker/Sailfish/SailfishChecker.cpp
Public Member Functions inherited from BotUpParallelPass