| 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 | |
| analyzeIntraProceduralLock(ICFGGraph icfg) | SVF::LockAnalysis | |
| analyzeLockSpanCxtStmt(ICFGGraph icfg, CGGraph cg) | SVF::LockAnalysis | |
| buildCandidateFuncSetForLock(CGGraph cg) | SVF::LockAnalysis | |
| callsiteContextSuffixIndex | SVF::LockAnalysis | protected |
| CallStrCxtSet typedef | SVF::LockAnalysis | |
| CILockToSpan typedef | SVF::LockAnalysis | |
| ciLockToSpan | SVF::LockAnalysis | protected |
| 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 | |
| ContextSuffixToContexts typedef | 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 | |
| getCallsiteContextsWithSuffix(const ICFGNode *inst, const CallStrCxt &suffix) const | SVF::LockAnalysis | inline |
| getCondIntraLockSet(const ICFGNode *stmt) const | 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 |
| handleReturnAtCallsite(const CxtStmt &exitCxtStmt, const FunObjVar *callee, const ICFGNode *callsite, const std::vector< const ICFGNode * > &successors) | 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 |
| indexCallsiteContext(const ICFGNode *inst, const CallStrCxt &cxt) | SVF::LockAnalysis | inline |
| instCILocksMap | SVF::LockAnalysis | protected |
| InstSet typedef | SVF::LockAnalysis | |
| instToCondCILocksMap | SVF::LockAnalysis | protected |
| InstToContextSuffixMap typedef | SVF::LockAnalysis | |
| 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, const InstSet &unlockSet, InstSet &backwardInsts) | SVF::LockAnalysis | |
| intraForwardTraverse(ICFGGraph icfg, 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 | |
