Skip to content

Commit 2dda9f3

Browse files
committed
add helper function for Assignment-1
1 parent 0c55a1d commit 2dda9f3

File tree

2 files changed

+4
-0
lines changed

2 files changed

+4
-0
lines changed

2.SVFIR-control-flows.pdf

-2.25 MB
Binary file not shown.

Assignment-1/Assignment-1.h

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -62,6 +62,10 @@ class AndersenPTA : public SVF::AndersenBase {
6262
else
6363
return false;
6464
}
65+
/// Return the field object (GepObjVar) given a struct object and a field index
66+
inline NodeID getGepObjVar(NodeID id, const APOffset& apOffset) {
67+
return consCG->getGepObjVar(id,apOffset);
68+
}
6569
};
6670

6771
class ICFGTraversal {

0 commit comments

Comments
 (0)