Take long long time when analyzing by Anderson

[ganli2015]

Version: SVF 3.0

Command line:

bin/wpa -ander -ff-eq-base=false -print-aliases libsql_dd.a.bc

Takes long long time about over 10 days. Check running stack:

#545 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#546 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#547 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#548 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#549 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#550 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#551 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#552 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#553 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#554 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#555 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#556 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#557 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#558 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#559 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#560 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#561 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#562 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#563 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#564 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#565 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#566 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#567 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#568 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#569 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#570 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#571 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#572 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#573 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#574 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#575 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#576 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#577 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#578 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#579 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#580 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#581 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#582 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#583 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#584 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#585 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#586 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#587 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#588 0x00000000007bfee4 in SVF::Andersen::collapseField(unsigned int) ()
#589 0x00000000007c0164 in SVF::Andersen::collapseNodePts(unsigned int) ()
#590 0x00000000007c3068 in SVF::Andersen::collapsePWCNode(unsigned int) ()
#591 0x00000000007cd744 in SVF::AndersenWaveDiff::solveWorklist() ()
#592 0x00000000007bb9a4 in SVF::AndersenBase::solveConstraints() ()
#593 0x00000000007bc2f0 in SVF::AndersenBase::analyze() ()
#594 0x000000000077f5c4 in SVF::WPAPass::runPointerAnalysis(SVF::SVFIR*, unsigned int) ()
#595 0x0000000000780588 in SVF::WPAPass::runOnModule(SVF::SVFIR*) ()
#596 0x000000000040871c in main ()

It is in recursive functions.

Sorry, I can't upload bc file. The bc file is named libsql_dd.a.bc from MySql 8.0.25.