TeaDSA (intraproc steensgaard with graph merging)

UQ-PAC / BASIL

Apache License 2.0

8 stars 0 forks source link

Open yousifpatti opened 9 months ago

yousifpatti commented 9 months ago

Must implement

[ ] BottomUp Approach to merge callee graphs into call sites (requires a knowledge of where function return value is stored)
[ ] TopDown Approach to merge call sites graph (partial context sensitivity) into callee graph

yousifpatti commented 9 months ago

Refer to branch: yousif-steensgaard-intraproc for intraprocedural steensgaard implementation and stubs for the required functionalities