Implement interprocedural analysis for StackMod.
authorMatt Morehouse <mm@cs.wisc.edu>
Wed, 17 Aug 2016 19:05:17 +0000 (14:05 -0500)
committerMatt Morehouse <mm@cs.wisc.edu>
Wed, 17 Aug 2016 19:05:17 +0000 (14:05 -0500)
commitdff30ae88e36c16cc646941bc5bd029cd4320d43
tree34d5df1bcb14d39e1e147b0f1cfa08ff29031ace
parent3112f62de3b9f9fa29f1230a111f5b3c113fdd2f
Implement interprocedural analysis for StackMod.

Sort the call graph topologically, and then generate function
summaries in a bottom-up fashion, plugging in the summaries at
call sites during StackAnalysis.
dataflowAPI/h/stackanalysis.h
dataflowAPI/src/stackanalysis.C
dyninstAPI/h/BPatch_function.h
dyninstAPI/h/BPatch_object.h
dyninstAPI/src/BPatch_object.C
dyninstAPI/src/function.C