A summary unit is either a function or a super block, i.e. any piece of code for which an analysis generates a summary. More...
#include <SummaryUnit.h>
Public Member Functions | |
| virtual Identifier | get_identifier ()=0 |
| virtual bool | is_function ()=0 |
| virtual bool | is_superblock ()=0 |
| virtual BasicBlock * | get_entry_block ()=0 |
| virtual BasicBlock * | get_exit_block ()=0 |
| virtual BasicBlock * | get_exception_block ()=0 |
| bool | is_local (sail::Variable *v) |
Friends | |
| class | boost::serialization::access |
A summary unit is either a function or a super block, i.e. any piece of code for which an analysis generates a summary.
1.6.3