| addCondIntraLock(const ICFGNode *lockSite, const InstSet &stmts) | SVF::LockAnalysis | inline |
| addCxtLock(const CallStrCxt &cxt, const ICFGNode *inst) | SVF::LockAnalysis | inline |
| addCxtStmtToSpan(const CxtStmt &cts, const CxtLock &cl) | SVF::LockAnalysis | inline |
| addIntraLock(const ICFGNode *lockSite, const InstSet &stmts) | SVF::LockAnalysis | inline |
| alias(const CxtLockSet &lockset1, const CxtLockSet &lockset2) | SVF::LockAnalysis | inline |
| analyze(ICFGGraph icfg, CGGraph cg) | SVF::LockAnalysis | |
| analyzeIntraProcedualLock(ICFGGraph icfg, CGGraph cg) | SVF::LockAnalysis | |
| analyzeLockSpanCxtStmt(ICFGGraph icfg, CGGraph cg) | SVF::LockAnalysis | |
| buildCandidateFuncSetforLock() | SVF::LockAnalysis | |
| ciLocktoSpan | SVF::LockAnalysis | protected |
| CILockToSpan typedef | SVF::LockAnalysis | |
| CISpan typedef | SVF::LockAnalysis | |
| clearFlagMap() | SVF::LockAnalysis | inlineprotected |
| clpList | SVF::LockAnalysis | protected |
| collectCxtLock(ICFGGraph icfg, CGGraph cg) | SVF::LockAnalysis | |
| collectLockUnlocksites(ICFGGraph icfg, CGGraph cg) | SVF::LockAnalysis | |
| CxtLock typedef | SVF::LockAnalysis | |
| CxtLockProc typedef | SVF::LockAnalysis | |
| CxtLockProcSet typedef | SVF::LockAnalysis | |
| CxtLockProcVec typedef | SVF::LockAnalysis | |
| CxtLockSet typedef | SVF::LockAnalysis | |
| cxtLockset | SVF::LockAnalysis | protected |
| CxtLockToLockSet typedef | SVF::LockAnalysis | |
| cxtLocktoSpan | SVF::LockAnalysis | protected |
| CxtLockToSpan typedef | SVF::LockAnalysis | |
| cxtStmtList | SVF::LockAnalysis | protected |
| CxtStmtSet typedef | SVF::LockAnalysis | |
| CxtStmtToCxtLockSet typedef | SVF::LockAnalysis | |
| cxtStmtToCxtLockSet | SVF::LockAnalysis | protected |
| CxtStmtToLockFlagMap typedef | SVF::LockAnalysis | |
| CxtStmtWorkList typedef | SVF::LockAnalysis | |
| Empty enum value | SVF::LockAnalysis | |
| FunSet typedef | SVF::LockAnalysis | |
| getCSTCLS() | SVF::LockAnalysis | inline |
| getCxtLockfromCxtStmt(const CxtStmt &cts) const | SVF::LockAnalysis | inline |
| getCxtLockfromCxtStmt(const CxtStmt &cts) | SVF::LockAnalysis | inline |
| getCxtStmtsFromInst(const ICFGNode *inst) const | SVF::LockAnalysis | inline |
| getIntraLockSet(const ICFGNode *stmt) const | SVF::LockAnalysis | inline |
| getLockVal(const ICFGNode *call) | SVF::LockAnalysis | inlineprotected |
| getNumOfCxtLocks() | SVF::LockAnalysis | inline |
| getSpanfromCxtLock(const CxtLock &cl) | SVF::LockAnalysis | inline |
| getTCG() const | SVF::LockAnalysis | inlineprotected |
| getTCT() | SVF::LockAnalysis | inline |
| handleCall(ICFGGraph icfg, CGGraph cg, const CxtStmt &cts) | SVF::LockAnalysis | protected |
| handleCallRelation(ICFGGraph icfg, CGGraph cg, CxtLockProc &clp, const CallGraphEdge *cgEdge, const CallICFGNode *call) | SVF::LockAnalysis | protected |
| handleFork(ICFGGraph icfg, CGGraph cg, const CxtStmt &cts) | SVF::LockAnalysis | protected |
| handleIntra(ICFGGraph icfg, CGGraph cg, const CxtStmt &cts) | SVF::LockAnalysis | protected |
| handleRet(ICFGGraph icfg, CGGraph cg, const CxtStmt &cts) | SVF::LockAnalysis | protected |
| hasAllCxtInLockSpan(const ICFGNode *I, LockSpan lspan) const | SVF::LockAnalysis | inline |
| hasCxtLock(const CxtLock &cxtLock) const | SVF::LockAnalysis | inline |
| hasCxtLockfromCxtStmt(const CxtStmt &cts) const | SVF::LockAnalysis | inline |
| hasCxtStmtFromInst(const ICFGNode *inst) const | SVF::LockAnalysis | inline |
| hasIntraLockSet(const ICFGNode *stmt) const | SVF::LockAnalysis | inline |
| hasOneCxtInLockSpan(const ICFGNode *I, LockSpan lspan) const | SVF::LockAnalysis | inline |
| hasSpanfromCxtLock(const CxtLock &cl) | SVF::LockAnalysis | inline |
| instCILocksMap | SVF::LockAnalysis | protected |
| InstSet typedef | SVF::LockAnalysis | |
| instTocondCILocksMap | SVF::LockAnalysis | protected |
| InstToCxtStmtSet typedef | SVF::LockAnalysis | |
| instToCxtStmtSet | SVF::LockAnalysis | protected |
| InstToInstSetMap typedef | SVF::LockAnalysis | |
| InstVec typedef | SVF::LockAnalysis | |
| intersect(CxtLockSet &tgrlockset, const CxtLockSet &srclockset) | SVF::LockAnalysis | inlineprotected |
| intersects(const CxtLockSet &lockset1, const CxtLockSet &lockset2) const | SVF::LockAnalysis | inline |
| intraBackwardTraverse(ICFGGraph icfg, CGGraph cg, const InstSet &unlockset, InstSet &backwardInsts) | SVF::LockAnalysis | |
| intraForwardTraverse(ICFGGraph icfg, CGGraph cg, const ICFGNode *lock, InstSet &unlockset, InstSet &forwardInsts) | SVF::LockAnalysis | |
| isAliasedLocks(const CxtLock &cl1, const CxtLock &cl2) | SVF::LockAnalysis | inlineprotected |
| isAliasedLocks(const ICFGNode *i1, const ICFGNode *i2) | SVF::LockAnalysis | protected |
| isCallSite(const ICFGNode *inst) | SVF::LockAnalysis | inlineprotected |
| isContextSuffix(const CallStrCxt &lhs, const CallStrCxt &call) | SVF::LockAnalysis | protected |
| isExtCall(const ICFGNode *inst) | SVF::LockAnalysis | inlineprotected |
| isInSameCISpan(const ICFGNode *i1, const ICFGNode *i2) const | SVF::LockAnalysis | |
| isInSameCSSpan(const ICFGNode *i1, const ICFGNode *i2) const | SVF::LockAnalysis | |
| isInSameCSSpan(const CxtStmt &cxtStmt1, const CxtStmt &cxtStmt2) const | SVF::LockAnalysis | |
| isInSameSpan(const ICFGNode *I1, const ICFGNode *I2) | SVF::LockAnalysis | |
| isInsideCondIntraLock(const ICFGNode *stmt) const | SVF::LockAnalysis | inline |
| isInsideIntraLock(const ICFGNode *stmt) const | SVF::LockAnalysis | inline |
| isIntraLock(const ICFGNode *lock) const | SVF::LockAnalysis | inline |
| isLockCandidateFun(const FunObjVar *fun) const | SVF::LockAnalysis | inline |
| isProtectedByCommonCILock(const ICFGNode *i1, const ICFGNode *i2) | SVF::LockAnalysis | |
| isProtectedByCommonCxtLock(const ICFGNode *i1, const ICFGNode *i2) | SVF::LockAnalysis | |
| isProtectedByCommonCxtLock(const CxtStmt &cxtStmt1, const CxtStmt &cxtStmt2) | SVF::LockAnalysis | |
| isProtectedByCommonLock(const ICFGNode *i1, const ICFGNode *i2) | SVF::LockAnalysis | |
| isTDAcquire(const ICFGNode *call) | SVF::LockAnalysis | inlineprotected |
| isTDFork(const ICFGNode *call) | SVF::LockAnalysis | inlineprotected |
| isTDRelease(const ICFGNode *call) | SVF::LockAnalysis | inlineprotected |
| isVisitedCTPs(const CxtLockProc &clp) const | SVF::LockAnalysis | inlineprotected |
| LockAnalysis(TCT *t) | SVF::LockAnalysis | inline |
| lockcandidateFuncSet | SVF::LockAnalysis | protected |
| lockQueriesTime | SVF::LockAnalysis | |
| LockSet typedef | SVF::LockAnalysis | |
| locksites | SVF::LockAnalysis | protected |
| LockSiteToLockSet typedef | SVF::LockAnalysis | |
| LockSpan typedef | SVF::LockAnalysis | |
| lockTime | SVF::LockAnalysis | |
| markCxtStmtFlag(const CxtStmt &tgr, const CxtStmt &src) | SVF::LockAnalysis | inlineprotected |
| matchCxt(CallStrCxt &cxt, const CallICFGNode *call, const FunObjVar *callee) | SVF::LockAnalysis | protected |
| numOfLockedQueries | SVF::LockAnalysis | |
| numOfTotalQueries | SVF::LockAnalysis | |
| popFromCTPWorkList() | SVF::LockAnalysis | inlineprotected |
| popFromCTSWorkList() | SVF::LockAnalysis | inlineprotected |
| printLocks(const CxtStmt &cts) | SVF::LockAnalysis | |
| pushCxt(CallStrCxt &cxt, const CallICFGNode *call, const FunObjVar *callee) | SVF::LockAnalysis | protected |
| pushToCTPWorkList(const CxtLockProc &clp) | SVF::LockAnalysis | inlineprotected |
| pushToCTSWorkList(const CxtStmt &cs) | SVF::LockAnalysis | inlineprotected |
| removeCxtStmtToSpan(CxtStmt &cts, const CxtLock &cl) | SVF::LockAnalysis | inline |
| tct | SVF::LockAnalysis | protected |
| TDLocked enum value | SVF::LockAnalysis | |
| TDUnlocked enum value | SVF::LockAnalysis | |
| touchCxtStmt(CxtStmt &cts) | SVF::LockAnalysis | inline |
| unlocksites | SVF::LockAnalysis | protected |
| ValDomain enum name | SVF::LockAnalysis | |
| visitedCTPs | SVF::LockAnalysis | protected |
| ~LockAnalysis()=default | SVF::LockAnalysis | |
