|
|
| SummaryMapper (Function *F) |
| |
|
void | index (Instruction *CallSite, std::set< TraceSummary * > &ParamSummarySet) |
| |
|
const std::set< InputSummary * > * | queryInputSummary (Instruction *, bool, size_t) const |
| |
|
const std::set< TransferSummary * > * | queryTransferSummary (Instruction *, bool, size_t) const |
| |
|
const std::set< SourceSummary * > * | querySourceSummary (Instruction *, bool, size_t) const |
| |
|
const std::set< OutputSummary * > * | queryOutputSummary (Instruction *, bool, size_t) const |
| |
|
bool | hasInputSummary (Instruction *, bool, size_t) const |
| |
|
bool | hasTransferSummary (Instruction *, bool, size_t) const |
| |
|
bool | hasSourceSummary (Instruction *, bool, size_t) const |
| |
|
bool | hasOutputSummary (Instruction *, bool, size_t) const |
| |
|
std::map< std::pair< Instruction *, bool >, std::vector< std::set< SourceSummary * > > >::iterator | source_summary_begin () |
| |
|
std::map< std::pair< Instruction *, bool >, std::vector< std::set< SourceSummary * > > >::iterator | source_summary_end () |
| |
The documentation for this class was generated from the following files:
- /builds/prismers/clearblue/include/Checker/Sailfish/SummaryMapper.h
- /builds/prismers/clearblue/lib/Checker/Sailfish/SummaryMapper.cpp
