Skip to content

Commit fa1189b

Browse files
authored
Merge pull request #24 from jumormt/main
sync with SVF
2 parents 760b21a + c809e19 commit fa1189b

File tree

4 files changed

+4
-4
lines changed

4 files changed

+4
-4
lines changed

Assignment-1/Tests/test.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
#include "Assignment-1.h"
22

3-
#include "Graphs/PTACallGraph.h"
3+
#include "Graphs/CallGraph.h"
44
#include "SVF-LLVM/LLVMUtil.h"
55
#include "SVF-LLVM/SVFIRBuilder.h"
66
#include "Util/CommandLine.h"

Assignment-2/Tests/test-sse.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ int main(int argc, char** argv) {
4141
SVFIRBuilder builder(svfModule);
4242
SVFIR* svfir = builder.build();
4343

44-
PTACallGraph* callgraph = AndersenWaveDiff::createAndersenWaveDiff(svfir)->getPTACallGraph();
44+
CallGraph* callgraph = AndersenWaveDiff::createAndersenWaveDiff(svfir)->getCallGraph();
4545
builder.updateCallGraph(callgraph);
4646

4747
/// ICFG

Assignment-3/Assignment-3-Helper.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -196,7 +196,7 @@ void AbstractExecution::initWTO() {
196196
// Detect if the call graph has cycles by finding its strongly connected components (SCC)
197197
Andersen::CallGraphSCC* callGraphScc = ander->getCallGraphSCC();
198198
callGraphScc->find();
199-
auto callGraph = ander->getPTACallGraph();
199+
auto callGraph = ander->getCallGraph();
200200

201201
// Iterate through the call graph
202202
for (auto it = callGraph->begin(); it != callGraph->end(); it++) {

Assignment-3/Tests/test-ae.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ int main(int argc, char** argv) {
3333
SVFIRBuilder builder(svfModule);
3434
SVFIR* pag = builder.build();
3535
AndersenWaveDiff* ander = AndersenWaveDiff::createAndersenWaveDiff(pag);
36-
PTACallGraph* callgraph = ander->getPTACallGraph();
36+
CallGraph* callgraph = ander->getCallGraph();
3737
builder.updateCallGraph(callgraph);
3838
pag->getICFG()->updateCallGraph(callgraph);
3939
AbstractExecution* ae = new AbstractExecution();

0 commit comments

Comments
 (0)