Various summaries generated for each function in pipelined PSA checker. More...
#include <SummaryMapper.h>
Collaboration diagram for SailfishSummary:
Data Fields | |
| std::set< TraceSummary * > | ParamSummarySet |
| Recording value-flow summaries starting from a function parameter. | |
| std::set< TraceSummary * > | ErSrcSummarySet |
| Recording value-flow summaries starting from an error-specific source. | |
| std::set< TraceSummary * > | SrcWpSummarySet |
| std::set< TraceSummary * > | CSOutSummarySet |
| Recording value-flow summaries starting from a call-site output. | |
| std::map< const SEGReturnNode *, SymbolicSummary * > | RetValSummaryMap |
| Recording the symbolic summary of each return node. | |
| SummaryMapper * | SailfishSummaryMapper = nullptr |
Detailed Description
Various summaries generated for each function in pipelined PSA checker.
Field Documentation
◆ SailfishSummaryMapper
| SummaryMapper* SailfishSummary::SailfishSummaryMapper = nullptr |
Mapping the summaries (in ParamSummarySet) of the callee functions to each call site in current function
◆ SrcWpSummarySet
| std::set<TraceSummary *> SailfishSummary::SrcWpSummarySet |
Recording value-flow summaries starting from a wrapper of error-specific source
The documentation for this struct was generated from the following file:
- /builds/prismers/clearblue/include/Checker/Sailfish/SummaryMapper.h
