PetScan::extract_expr(CallExpr *): extract function summary from function body
commit0f083d956be43c6a8184794598594439c0f29b19
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 21 Mar 2014 10:44:21 +0000 (21 11:44 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 20 Jun 2014 15:31:13 +0000 (20 17:31 +0200)
tree2b17ce8d1626449280ab796ddea992b6e0de3fcd
parente594a9ebc45dcf80385578916b3ed5e1509f5cfc
PetScan::extract_expr(CallExpr *): extract function summary from function body

We want to derive the accesses performed through a function call
from the accesses in the body of the function that is being called.
In order to do so, we abstract the accesses of the function
in a function summary.  In a later commit we will instantiate
the function summary at the location of the function call.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
scan.h