sqc 0.4.84

rule,idx,project,file,line,verdict,reason,provenance,confidence
DCL13-C,0,sqlite,src/vdbe.c,91,TP,"updateMaxBlobsize reads p->flags and p->n only; never mutates p, const Mem* compiles",,
PRE00-C,1,sqlite,src/vdbe.c,103,TP,function-like macro evaluates DB twice; inline function would be safer per CERT,,
PRE12-C,2,sqlite,src/vdbe.c,103,TP,HAS_UPDATE_HOOK(DB) expands DB twice ((DB)->xPreUpdateCallback||(DB)->xUpdateCallback); genuine multiple evaluation,,
CON07-C,3,sqlite,src/vdbe.c,143,FP,"static u64 n is a SQLITE_DEBUG-only single-threaded trace counter, not real shared concurrent state",,
DCL13-C,4,sqlite,src/vdbe.c,143,FP,pOp param is (void)pOp cast-unused in a debug breakpoint stub; const adds nothing and signature is fixed,,
CON03-C,5,sqlite,src/vdbe.c,144,FP,n is a debug trace counter in single-threaded VDBE exec context; no concurrency,,
ERR05-C,6,sqlite,src/vdbe.c,149,FP,"abort() is intentional dead-code guard (n==LARGEST_UINT64) to suppress unused-variable warning, never reached",,
DCL03-C,7,sqlite,src/vdbe.c,196,FP,"assert(I<=2) tests runtime parameter I, not a compile-time constant",,
DCL03-C,8,sqlite,src/vdbe.c,197,FP,"assert(M<=4) tests runtime parameter M, not a compile-time constant",,
DCL03-C,9,sqlite,src/vdbe.c,198,FP,"assert(I<M) compares two runtime parameters, not compile-time constants",,
INT32-C,10,sqlite,src/vdbe.c,200,FP,"1<<I with I<=2 (asserted); result <=4, no signed overflow",,
INT34-C,11,sqlite,src/vdbe.c,200,FP,"1<<I after assert(I<=2); shift amount bounded [0,2], no UB",,
PRE00-C,12,sqlite,src/vdbe.c,242,TP,function-like macro evaluates P multiple times; genuine instance,,
PRE02-C,13,sqlite,src/vdbe.c,242,FP,"macro body is a statement (if/goto), not an expression; parenthesizing the replacement list does not apply",,
PRE10-C,14,sqlite,src/vdbe.c,242,TP,multistatement if(){goto} macro not wrapped in do{}while(0); breaks if used in an if/else without braces,,
PRE12-C,15,sqlite,src/vdbe.c,242,TP,Deephemeralize(P) evaluates P twice ((P)->flags and sqlite3VdbeMemMakeWriteable(P)),,
INT32-C,16,sqlite,src/vdbe.c,277,FP,p->nMem-iCur are bounded register/cursor indices in VDBE alloc,,
MEM30-C,17,sqlite,src/vdbe.c,287,FP,"sqlite3VdbeFreeCursorNN frees old cursor at L287; 'p' is the live Vdbe (allocator arg), not the freed object",,
MEM30-C,18,sqlite,src/vdbe.c,302,FP,"L300 frees pMem->zMalloc; L302 reads pMem->db (live connection handle, never freed) to malloc new buffer",,
MEM30-C,19,sqlite,src/vdbe.c,303,FP,pMem->zMalloc reassigned to fresh sqlite3DbMallocRaw at L302; L303 reads the new pointer (free-then-reassign),,
MEM30-C,20,sqlite,src/vdbe.c,310,FP,L310 reads freshly-malloc'd pMem->zMalloc (reassigned L302); old freed buffer not used,,
EXP34-C,21,sqlite,src/vdbe.c,311,FP,pCx=pMem->zMalloc which was just checked ==0 -> return 0 at lines 303-306; non-null here,,
MEM30-C,22,sqlite,src/vdbe.c,317,FP,pMem->z reassigned to fresh malloc at L302; L317 reads new buffer (free-then-reassign),,
DCL30-C,23,sqlite,src/vdbe.c,320,FP,"pCx points into pMem->zMalloc (heap), not automatic storage; no dangling return",,
DCL13-C,24,sqlite,src/vdbe.c,329,TP,"alsoAnInt reads pRec->z/->n/->enc only; never mutates pRec, const Mem* compiles",,
EXP34-C,25,sqlite,src/vdbe.c,336,FP,pRec is a precondition-non-null internal Mem (asserts upstream); VDBE register pointer,,
EXP34-C,26,sqlite,src/vdbe.c,357,FP,applyNumericAffinity caller passes valid Mem; assert at 357 documents invariant,,
EXP34-C,27,sqlite,src/vdbe.c,405,FP,"applyAffinity pRec is a valid register pointer; internal invariant, not user input",,
API00-C,28,sqlite,src/vdbe.c,436,FP,sqlite3_value_numeric_type relies on documented precondition + assert(pMem->db!=0); VDBE/API invariant,,
API00-C,29,sqlite,src/vdbe.c,453,FP,sqlite3ValueApplyAffinity is a thin wrapper delegating to applyAffinity; relies on caller invariant,,
EXP34-C,30,sqlite,src/vdbe.c,470,FP,computeNumericType pMem guarded by asserts; internal caller invariant,,
EXP34-C,31,sqlite,src/vdbe.c,499,FP,numericType pMem guarded by asserts; internal caller invariant,,
MSC07-C,32,sqlite,src/vdbe.c,511,TP,return 0; at line 511 is genuinely unreachable after return computeNumericType(pMem) at 510,,
API00-C,33,sqlite,src/vdbe.c,519,FP,debug-only pretty-printer relies on caller passing a valid Mem; internal invariant,,
DCL13-C,34,sqlite,src/vdbe.c,519,TP,"sqlite3VdbeMemPrettyPrint reads pMem fields only (flags,n,z,u.nZero,enc); const Mem* compiles",,
EXP34-C,35,sqlite,src/vdbe.c,520,FP,debug print helper; caller (memTracePrint) passes a valid Mem register,,
ARR02-C,36,sqlite,src/vdbe.c,521,FP,"static const initialized string array; size inferred from 4 initializers, no OOB",,
INT13-C,37,sqlite,src/vdbe.c,522,FP,f&MEM_Blob is bitmask flag test on Mem->flags (debug pretty-print),,
INT13-C,38,sqlite,src/vdbe.c,525,FP,"f&MEM_Dyn flag-bit test, not arithmetic bitwise",,
INT13-C,39,sqlite,src/vdbe.c,527,FP,f&(MEM_Static|MEM_Ephem) assert flag mask,,
INT13-C,40,sqlite,src/vdbe.c,528,FP,f&MEM_Static flag-bit test,,
INT13-C,41,sqlite,src/vdbe.c,530,FP,f&(MEM_Dyn|MEM_Ephem) assert flag mask,,
INT13-C,42,sqlite,src/vdbe.c,531,FP,f&MEM_Ephem flag-bit test,,
INT13-C,43,sqlite,src/vdbe.c,533,FP,f&(MEM_Static|MEM_Dyn) assert flag mask,,
INT13-C,44,sqlite,src/vdbe.c,547,FP,f&MEM_Zero flag-bit test,,
INT13-C,45,sqlite,src/vdbe.c,550,FP,f&MEM_Str flag-bit test,,
INT13-C,46,sqlite,src/vdbe.c,553,FP,f&MEM_Dyn flag-bit test,,
INT13-C,47,sqlite,src/vdbe.c,555,FP,f&(MEM_Static|MEM_Ephem) assert mask,,
INT13-C,48,sqlite,src/vdbe.c,556,FP,f&MEM_Static flag-bit test,,
INT13-C,49,sqlite,src/vdbe.c,558,FP,f&(MEM_Dyn|MEM_Ephem) assert mask,,
INT13-C,50,sqlite,src/vdbe.c,559,FP,f&MEM_Ephem flag-bit test,,
INT13-C,51,sqlite,src/vdbe.c,561,FP,f&(MEM_Static|MEM_Dyn) assert mask,,
INT13-C,52,sqlite,src/vdbe.c,571,FP,f&MEM_Term flag-bit test,,
FIO30-C,53,sqlite,src/vdbe.c,586,FP,"format string is a ternary of two string literals (NULL-nochng / NULL), not user input",,
INT00-C,54,sqlite,src/vdbe.c,588,FP,%lld is correct for i64 p->u.i in debug trace printf,,
INT00-C,55,sqlite,src/vdbe.c,590,FP,%lld correct for i64 IntReal value,,
INT00-C,56,sqlite,src/vdbe.c,592,FP,%lld correct for i64 MEM_Int value,,
INT32-C,57,sqlite,src/vdbe.c,613,FP,-iReg is small register index used in pointer arith; not INT_MIN,,
API00-C,58,sqlite,src/vdbe.c,618,FP,sqlite3PrintMem is a SQLITE_DEBUG print helper relying on a valid Mem; internal invariant,,
ERR33-C,59,sqlite,src/vdbe.c,621,FP,fflush(stdout) in a debug-only print helper; no meaningful recovery and return value irrelevant,,
API00-C,60,sqlite,src/vdbe.c,630,FP,debug register-dump relies on a valid Vdbe; internal invariant,,
DCL13-C,61,sqlite,src/vdbe.c,630,TP,"sqlite3VdbeRegisterDump reads v->nMem and v->aMem only; v never mutated, const Vdbe* compiles",,
CON07-C,62,sqlite,src/vdbe.c,654,FP,"n is a local int (int n=0 at line 655), not a shared static; misidentified",,
DCL13-C,63,sqlite,src/vdbe.c,654,TP,checkSavepointCount only walks db->pSavepoint and reads counters; const sqlite3* compiles,,
DCL13-C,64,sqlite,src/vdbe.c,672,TP,out2Prerelease reads pOp->p2 only and never mutates pOp; const VdbeOp* compiles (only p is mutated),,
DCL30-C,65,sqlite,src/vdbe.c,682,FP,"pOut=&p->aMem[pOp->p2] points into the Vdbe register array, not automatic storage",,
DCL00-C,66,sqlite,src/vdbe.c,692,FP,h is mutated in the loop (h += ...); not const-qualifiable,,
ARR00-C,67,sqlite,src/vdbe.c,695,FP,"mx initialized in for-init clause (mx=i+pOp->p4.i), not uninitialized; p4 asserted P4_INT32",,
EXP33-C,68,sqlite,src/vdbe.c,695,FP,i is assigned in the for-init (i=pOp->p3) before any use,,
INT14-C,69,sqlite,src/vdbe.c,697,FP,p->flags & (MEM_Int|MEM_IntReal) bitmask flag test (mislabeled var),,
INT14-C,70,sqlite,src/vdbe.c,701,FP,p->flags & MEM_Real bitmask flag test,,
INT32-C,71,sqlite,src/vdbe.c,705,FP,"4093 + (u16 flags & mask); operand bounded small, no overflow",,
DCL13-C,72,sqlite,src/vdbe.c,801,TP,"sqlite3VdbeLogAbort reads p->pFrame/zSql/zErrMsg only; never mutates p, const Vdbe* compiles",,
DCL13-C,73,sqlite,src/vdbe.c,803,TP,"pOp used only in pOp-aOp pointer arithmetic; never mutated, const Op* compiles",,
DCL13-C,74,sqlite,src/vdbe.c,804,TP,"aOp read-only (aOp[0].opcode, aOp[0].p4.z, pOp-aOp); const Op* compiles",,
EXP33-C,75,sqlite,src/vdbe.c,817,FP,sqlite3_snprintf writes zXtra before zPrefix=zXtra reads it,,
ARR36-C,76,sqlite,src/vdbe.c,823,FP,pOp and aOp both index same opcode array (aOp=p->aOp); pc=pOp-aOp is valid in-array offset,,
ARR02-C,77,sqlite,src/vdbe.c,832,FP,static const initialized array of 5 type-name strings; indexed by value_type-1 (1..5),,
INT32-C,78,sqlite,src/vdbe.c,839,FP,sqlite3_value_type()-1 yields index 0..4 into azTypes[]; bounded,,
API00-C,79,sqlite,src/vdbe.c,846,FP,sqlite3VdbeExec is the core step routine; relies on documented precondition that p is valid,,
CON07-C,80,sqlite,src/vdbe.c,846,FP,"aFlag/aMask are static const lookup tables (lines 3203,2820); read-only, no concurrency hazard",,
MSC04-C,81,sqlite,src/vdbe.c,846,FP,"indirect recursion via OP_Program subprograms is intentional VDBE design, not a defect",,
MSC37-C,82,sqlite,src/vdbe.c,846,FP,all paths return via return rc at 9293 or goto error labels that funnel to a return; no fall-off-end,,
INT33-C,83,sqlite,src/vdbe.c,885,FP,modulo by db->nProgressOps which is asserted >0 (line 884),,
INT14-C,84,sqlite,src/vdbe.c,895,FP,p->rc & 0xff bitmask on error code,,
ARR37-C,85,sqlite,src/vdbe.c,931,FP,main dispatch loop pOp++ over aOp[]; bounded by assert(pOp>=aOp && pOp<&aOp[p->nOp]),,
ARR36-C,86,sqlite,src/vdbe.c,936,FP,aOp is local copy of p->aOp (line 849); same array,,
ARR36-C,87,sqlite,src/vdbe.c,955,FP,aOp==p->aOp (line 849); pOp-aOp is in-array pc offset,,
INT14-C,88,sqlite,src/vdbe.c,955,FP,"(int)(pOp-aOp) op index, SQLITE_DEBUG trace; bounded by nOp",,
ARR36-C,89,sqlite,src/vdbe.c,956,FP,aOp==p->aOp (line 849); pOp-aOp is in-array pc offset,,
ARR36-C,90,sqlite,src/vdbe.c,1070,FP,aOp==p->aOp; pOp-aOp guarded by assert(pOp->p2 < pOp-aOp),,
ARR37-C,91,sqlite,src/vdbe.c,1073,FP,"pOp[1] is preceding-set ReleaseReg opcode within aOp[]; reached via pOp=&aOp[p2-2], asserted",,
ARR36-C,92,sqlite,src/vdbe.c,1125,FP,aOp==p->aOp; (int)(pOp-aOp) is valid pc offset,,
INT14-C,93,sqlite,src/vdbe.c,1154,FP,pIn1->flags & MEM_Int bitmask flag test,,
INT32-C,94,sqlite,src/vdbe.c,1211,FP,(int)(pOp-p->aOp)-1 op index bounded by nOp; no overflow,,
INT32-C,95,sqlite,src/vdbe.c,1212,FP,"pCaller->p2-1; p2 asserted in [0,nOp); bounded",,
ARR36-C,96,sqlite,src/vdbe.c,1235,FP,aOp==p->aOp; (int)(pOp-aOp) is valid pc offset,,
EXP34-C,97,sqlite,src/vdbe.c,1312,FP,pFrame=p->pFrame inside if(p->pFrame && ...); guarded non-null,,
EXP34-C,98,sqlite,src/vdbe.c,1337,FP,zErr passed as a %s argument (format is literal); sqlite3 printf handles NULL %s safely,,
ARR02-C,99,sqlite,src/vdbe.c,1339,FP,static const initialized type-name array,,
MEM30-C,100,sqlite,src/vdbe.c,1430,FP,"pOp->p4 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,101,sqlite,src/vdbe.c,1433,FP,"pOp->p4 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,102,sqlite,src/vdbe.c,1437,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,103,sqlite,src/vdbe.c,1459,FP,"pOp->p4.z is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT14-C,104,sqlite,src/vdbe.c,1461,FP,pOut->flags = MEM_Str|MEM_Static|MEM_Term flag-mask assignment,,
MEM30-C,105,sqlite,src/vdbe.c,1462,FP,"pOp->p4.z is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,106,sqlite,src/vdbe.c,1463,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,107,sqlite,src/vdbe.c,1467,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,108,sqlite,src/vdbe.c,1468,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,109,sqlite,src/vdbe.c,1471,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,110,sqlite,src/vdbe.c,1516,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,111,sqlite,src/vdbe.c,1517,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,112,sqlite,src/vdbe.c,1518,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR37-C,113,sqlite,src/vdbe.c,1524,FP,pOut++ walks aMem[] register file; cnt=p3-p2 bounded by assert p3<=nMem,,
MEM30-C,114,sqlite,src/vdbe.c,1543,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT14-C,115,sqlite,src/vdbe.c,1545,FP,(flags&~mask)|MEM_Null flag-mask manipulation,,
MEM30-C,116,sqlite,src/vdbe.c,1557,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,117,sqlite,src/vdbe.c,1559,FP,"pOp->p4.z is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,118,sqlite,src/vdbe.c,1560,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,119,sqlite,src/vdbe.c,1563,FP,"pOp->p4.z is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,120,sqlite,src/vdbe.c,1578,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,121,sqlite,src/vdbe.c,1606,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,122,sqlite,src/vdbe.c,1607,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,123,sqlite,src/vdbe.c,1608,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR37-C,124,sqlite,src/vdbe.c,1633,FP,pIn1++ walks aMem[]; n bounded by validated register range,,
ARR37-C,125,sqlite,src/vdbe.c,1634,FP,pOut++ walks aMem[]; bounded by validated register count,,
MEM30-C,126,sqlite,src/vdbe.c,1655,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,127,sqlite,src/vdbe.c,1663,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,128,sqlite,src/vdbe.c,1669,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR37-C,129,sqlite,src/vdbe.c,1671,FP,"pOut++ (OP_Copy) over aMem[]; n=p3 register count, p1/p2 validated",,
ARR37-C,130,sqlite,src/vdbe.c,1672,FP,pIn1++ (OP_Copy) over aMem[]; bounded by n=p3,,
MEM30-C,131,sqlite,src/vdbe.c,1747,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,132,sqlite,src/vdbe.c,1748,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,133,sqlite,src/vdbe.c,1749,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,134,sqlite,src/vdbe.c,1757,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR37-C,135,sqlite,src/vdbe.c,1758,FP,"pMem[i]=pResultRow[i]=aMem[p1+i]; i<p2, p1/p2 validated register range (debug-only loop)",,
ARR37-C,136,sqlite,src/vdbe.c,1759,FP,pMem[i] over result registers aMem[p1+i]; i<p2 validated,,
INT14-C,137,sqlite,src/vdbe.c,1759,FP,pOp->p1+i register index arithmetic in REGISTER_TRACE (mislabel),,
MEM30-C,138,sqlite,src/vdbe.c,1759,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR37-C,139,sqlite,src/vdbe.c,1765,FP,pMem[i] over result registers aMem[p1+i]; i<p2 validated,,
ARR36-C,140,sqlite,src/vdbe.c,1773,FP,aOp==p->aOp; (int)(pOp-aOp) valid pc offset,,
INT32-C,141,sqlite,src/vdbe.c,1773,FP,(int)(pOp-aOp)+1 op index bounded by nOp,,
INT14-C,142,sqlite,src/vdbe.c,1824,FP,"nByte is i64 concat size; += arithmetic, no bitwise misuse",,
INT32-C,143,sqlite,src/vdbe.c,1831,FP,(int)nByte+2 cast guarded by SQLITE_LIMIT_LENGTH / 2147483645 checks (lines 1825-1829),,
EXP43-C,144,sqlite,src/vdbe.c,1836,FP,memcpy guarded by if(pOut!=pIn2) at line 1835; source and dest provably distinct,,
MEM30-C,145,sqlite,src/vdbe.c,1912,FP,"pOp->opcode is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT33-C,146,sqlite,src/vdbe.c,1919,FP,iB/=iA guarded by if(iA==0) at line 1917; divisor non-zero,,
INT33-C,147,sqlite,src/vdbe.c,1925,FP,iB%=iA guarded by if(iA==0) at 1923 and iA==-1 at 1924,,
MEM30-C,148,sqlite,src/vdbe.c,1940,FP,"pOp->opcode is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
FLP00-C,149,sqlite,src/vdbe.c,1946,FP,comparison to exactly 0.0 guards division; legitimate exact-zero test,,
FLP02-C,150,sqlite,src/vdbe.c,1946,FP,"rA==(double)0 is the canonical exact-zero divide-by-zero guard, not an equality miscompare",,
FLP34-C,151,sqlite,src/vdbe.c,1946,FP,(double)0 is a literal-zero cast; no range loss possible,,
INT33-C,152,sqlite,src/vdbe.c,1947,FP,"rB/=rA is float division, guarded by rA==0 check at 1946",,
FLP34-C,153,sqlite,src/vdbe.c,1955,FP,(double)(iB%iA): i64 remainder is within double range (FLP34 is range not precision); intended MEM_Real path,,
INT10-C,154,sqlite,src/vdbe.c,1955,FP,"iB%iA SQL modulo; iA==-1 forced to 1 (1954), iA==0 guarded (1953); defined",,
INT33-C,155,sqlite,src/vdbe.c,1955,FP,iB%iA guarded by if(iA==0) at line 1953,,
MSC07-C,156,sqlite,src/vdbe.c,1972,FP,arithmetic_result_is_null: is a goto-label target reachable from several goto statements,,
MEM30-C,157,sqlite,src/vdbe.c,1993,FP,"pOp->p4type is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,158,sqlite,src/vdbe.c,1994,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,159,sqlite,src/vdbe.c,2048,FP,"pOp->opcode is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT32-C,160,sqlite,src/vdbe.c,2059,FP,2*OP_ShiftLeft+1-op on small opcode constants; no overflow,,
INT34-C,161,sqlite,src/vdbe.c,2072,FP,"<<(64-iB) inside else branch where iB<64 (line 2065); shift width in (0,64) on u64",,
MEM30-C,162,sqlite,src/vdbe.c,2094,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,163,sqlite,src/vdbe.c,2111,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,164,sqlite,src/vdbe.c,2140,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,165,sqlite,src/vdbe.c,2163,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,166,sqlite,src/vdbe.c,2164,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,167,sqlite,src/vdbe.c,2165,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,168,sqlite,src/vdbe.c,2166,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,169,sqlite,src/vdbe.c,2167,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,170,sqlite,src/vdbe.c,2168,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,171,sqlite,src/vdbe.c,2173,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,172,sqlite,src/vdbe.c,2176,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,173,sqlite,src/vdbe.c,2292,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,174,sqlite,src/vdbe.c,2299,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,175,sqlite,src/vdbe.c,2306,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,176,sqlite,src/vdbe.c,2312,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,177,sqlite,src/vdbe.c,2317,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,178,sqlite,src/vdbe.c,2323,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,179,sqlite,src/vdbe.c,2324,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,180,sqlite,src/vdbe.c,2338,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,181,sqlite,src/vdbe.c,2348,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,182,sqlite,src/vdbe.c,2383,FP,"pOp->p4type is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,183,sqlite,src/vdbe.c,2384,FP,"pOp->p4.pColl is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,184,sqlite,src/vdbe.c,2411,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR36-C,185,sqlite,src/vdbe.c,2436,FP,aOp==p->aOp; pOp-aOp valid pc offset,,
INT32-C,186,sqlite,src/vdbe.c,2436,FP,"(int)(pOp-aOp)-1 op index, SQLITE_DEBUG; bounded by nOp",,
MEM30-C,187,sqlite,src/vdbe.c,2461,FP,"pOp->p4type is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,188,sqlite,src/vdbe.c,2462,FP,"pOp->p4.ai is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR37-C,189,sqlite,src/vdbe.c,2463,FP,"pOp[1] is the mandatory following OP_Compare; asserted, within aOp[]",,
ARR37-C,190,sqlite,src/vdbe.c,2464,FP,pOp[1].p5 of mandatory following OP_Compare; within aOp[],,
MEM30-C,191,sqlite,src/vdbe.c,2501,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR36-C,192,sqlite,src/vdbe.c,2504,FP,aOp==p->aOp; comparison pOp>aOp guards the pOp[-1] access below,,
ARR00-C,193,sqlite,src/vdbe.c,2505,FP,"pOp[-1] not a real -1 buffer index; guarded by assert(pOp>aOp), accesses prior aOp[] entry",,
ARR37-C,194,sqlite,src/vdbe.c,2505,FP,pOp[-1] guarded by assert(pOp>aOp) at 2504; preceding OP_Permutation within aOp[],,
ARR00-C,195,sqlite,src/vdbe.c,2506,FP,pOp[-1] guarded by assert(pOp>aOp); prior opcode in aOp[],,
ARR37-C,196,sqlite,src/vdbe.c,2506,FP,pOp[-1] guarded by assert(pOp>aOp); prior opcode in aOp[],,
ARR00-C,197,sqlite,src/vdbe.c,2507,FP,pOp[-1].p4.ai guarded by assert(pOp>aOp); prior opcode in aOp[],,
ARR37-C,198,sqlite,src/vdbe.c,2507,FP,pOp[-1].p4 guarded by assert(pOp>aOp); prior opcode in aOp[],,
MEM30-C,199,sqlite,src/vdbe.c,2510,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,200,sqlite,src/vdbe.c,2511,FP,"pOp->p4.pKeyInfo is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
EXP34-C,201,sqlite,src/vdbe.c,2514,FP,pKeyInfo deref inside assert; assert(pKeyInfo!=0) precedes at line 2513,,
MEM30-C,202,sqlite,src/vdbe.c,2515,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,203,sqlite,src/vdbe.c,2516,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR36-C,204,sqlite,src/vdbe.c,2528,FP,compares integer fields pOp[-1].p1 and pOp->p5 (misclassified as pointers); not pointer arithmetic,,
INT14-C,205,sqlite,src/vdbe.c,2530,FP,aMem[..].flags & MEM_Null bitmask flag test,,
INT14-C,206,sqlite,src/vdbe.c,2541,FP,flags & MEM_Null bitmask flag test,,
INT32-C,207,sqlite,src/vdbe.c,2543,FP,-iCompare is memcmp result (-1/0/1); never INT_MIN,,
INT32-C,208,sqlite,src/vdbe.c,2545,FP,"-iCompare memcmp result; bounded, not INT_MIN",,
ARR37-C,209,sqlite,src/vdbe.c,2549,FP,"pOp[1] is mandatory following OP_Jump; asserted, within aOp[]",,
ARR00-C,210,sqlite,src/vdbe.c,2562,FP,pOp[-1] guarded by assert(pOp>aOp) at 2562; prior OP_Compare in aOp[],,
ARR36-C,211,sqlite,src/vdbe.c,2562,FP,aOp==p->aOp; pOp>aOp comparison is in-array bound check,,
ARR37-C,212,sqlite,src/vdbe.c,2562,FP,pOp[-1] guarded by assert(pOp>aOp); prior OP_Compare in aOp[],,
MEM30-C,213,sqlite,src/vdbe.c,2601,FP,"pOp->opcode is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR02-C,214,sqlite,src/vdbe.c,2602,FP,"static const lookup array, initialized, fixed size",,
INT32-C,215,sqlite,src/vdbe.c,2603,FP,"v1*3+v2 with v1,v2 in {0,1,2}; max 8, table index",,
ARR02-C,216,sqlite,src/vdbe.c,2605,FP,"static const lookup array, initialized, fixed size",,
INT32-C,217,sqlite,src/vdbe.c,2606,FP,"v1*3+v2 with v1,v2 in {0,1,2}; bounded",,
MEM30-C,218,sqlite,src/vdbe.c,2639,FP,"pOp->p4type is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,219,sqlite,src/vdbe.c,2640,FP,"pOp->p4.i is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,220,sqlite,src/vdbe.c,2641,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,221,sqlite,src/vdbe.c,2643,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT14-C,222,sqlite,src/vdbe.c,2711,FP,aOnce[iAddr/8] & (1<<(iAddr&7)) bitset test; intentional,,
MEM30-C,223,sqlite,src/vdbe.c,2717,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,224,sqlite,src/vdbe.c,2735,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,225,sqlite,src/vdbe.c,2749,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,226,sqlite,src/vdbe.c,2805,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,227,sqlite,src/vdbe.c,2806,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,228,sqlite,src/vdbe.c,2807,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,229,sqlite,src/vdbe.c,2810,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,230,sqlite,src/vdbe.c,2811,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR02-C,231,sqlite,src/vdbe.c,2820,FP,static const initialized mask array,,
INT32-C,232,sqlite,src/vdbe.c,2839,FP,"1<<(p4.i-1); p4.i is SQL type code 1..5, shift 0..4",,
INT34-C,233,sqlite,src/vdbe.c,2839,FP,shift width (p4.i-1) is 0..4 (SQL type code); bounded,,
MEM30-C,234,sqlite,src/vdbe.c,2839,FP,"pOp->p4.i is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT14-C,235,sqlite,src/vdbe.c,2848,FP,value_type()-1 used as shift count; arithmetic only (mislabel),,
INT32-C,236,sqlite,src/vdbe.c,2848,FP,1<<(value_type()-1); shift 0..4 into typeMask; bounded,,
INT34-C,237,sqlite,src/vdbe.c,2848,FP,shift width value_type()-1 is 0..4; bounded,,
MEM30-C,238,sqlite,src/vdbe.c,2855,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,239,sqlite,src/vdbe.c,2856,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,240,sqlite,src/vdbe.c,2873,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,241,sqlite,src/vdbe.c,2875,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,242,sqlite,src/vdbe.c,2906,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,243,sqlite,src/vdbe.c,2909,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,244,sqlite,src/vdbe.c,2933,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,245,sqlite,src/vdbe.c,2991,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,246,sqlite,src/vdbe.c,2992,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,247,sqlite,src/vdbe.c,2994,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
EXP34-C,248,sqlite,src/vdbe.c,3012,FP,pReg=&aMem[pC->seekResult] is a valid register pointer; deref is inside an assert,,
ARR36-C,249,sqlite,src/vdbe.c,3124,FP,zHdr/zEndHdr both point into zData (=pC->aRow or sMem.z); same record buffer; pOut->z misidentified,,
EXP45-C,250,sqlite,src/vdbe.c,3126,FP,(pC->aType[i]=t=zHdr[0])<0x80 is an intentional assign-then-compare; result explicitly compared with <0x80,,
INT14-C,251,sqlite,src/vdbe.c,3128,FP,offset64 i64 accumulator; &0xffffffff is intentional truncation mask,,
ARR36-C,252,sqlite,src/vdbe.c,3135,FP,"compares integer fields (pOp[-1].p1, pIn2->u.i); not pointer subtraction",,
ARR36-C,253,sqlite,src/vdbe.c,3142,FP,zHdr/zEndHdr both into zData record buffer; loop bounded by zHdr<zEndHdr; pOut->z misread,,
ARR36-C,254,sqlite,src/vdbe.c,3155,FP,zHdr-zData both into same record buffer; valid in-buffer offset,,
MEM30-C,255,sqlite,src/vdbe.c,3168,FP,"pOp->p4type is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,256,sqlite,src/vdbe.c,3169,FP,"pOp->p4.pMem is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR02-C,257,sqlite,src/vdbe.c,3203,FP,static const initialized flag array,,
INT14-C,258,sqlite,src/vdbe.c,3204,FP,(t-12)/2 serial-type length arithmetic; no bitwise misuse,,
EXP05-C,259,sqlite,src/vdbe.c,3213,FP,"len is an int, not a pointer; no const qualifier is being cast away",,
EXP34-C,260,sqlite,src/vdbe.c,3213,FP,zData was established as a valid in-page payload pointer earlier in OP_Column,,
EXP30-C,261,sqlite,src/vdbe.c,3223,FP,"p5 assigned then read across the && operator, which is a sequence point; no UB",,
MEM30-C,262,sqlite,src/vdbe.c,3223,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,263,sqlite,src/vdbe.c,3257,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MSC07-C,264,sqlite,src/vdbe.c,3260,FP,op_column_corrupt: is a goto-label target reachable via goto,,
MEM30-C,265,sqlite,src/vdbe.c,3311,FP,"pOp->p4type is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,266,sqlite,src/vdbe.c,3312,FP,"pOp->p4.pTab is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
EXP34-C,267,sqlite,src/vdbe.c,3313,FP,pTab=pOp->p4.pTab with P4_TABLE invariant; deref inside assert,,
INT14-C,268,sqlite,src/vdbe.c,3313,FP,pTab->tabFlags & TF_Strict bitmask flag test,,
MEM30-C,269,sqlite,src/vdbe.c,3314,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,270,sqlite,src/vdbe.c,3317,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,271,sqlite,src/vdbe.c,3318,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,272,sqlite,src/vdbe.c,3322,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT32-C,273,sqlite,src/vdbe.c,3323,FP,i+1 where i=p3-2 bounded by nCol; bounded,,
INT14-C,274,sqlite,src/vdbe.c,3325,FP,aCol[i].colFlags & COLFLAG_VIRTUAL bitmask flag test,,
MEM30-C,275,sqlite,src/vdbe.c,3326,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR36-C,276,sqlite,src/vdbe.c,3328,FP,compares integer register-index fields pOp[-1].p1 and pOp->p3; not pointers,,
MEM30-C,277,sqlite,src/vdbe.c,3329,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR37-C,278,sqlite,src/vdbe.c,3331,FP,pIn1++ over aMem[]; bounded by assert(pIn1<&aMem[p1+p2]) at 3333 and final assert 3384,,
MEM30-C,279,sqlite,src/vdbe.c,3331,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
FLP34-C,280,sqlite,src/vdbe.c,3366,FP,(double)pIn1->u.i is the out-of-range else branch intentionally producing MEM_Real; in-range values keep exact IntReal,,
ARR36-C,281,sqlite,src/vdbe.c,3381,FP,aMem is local copy of p->aMem (line 865); same array,,
ARR37-C,282,sqlite,src/vdbe.c,3382,FP,pIn1++ over aMem[]; bounded by assert pIn1<&aMem[p1+p2],,
MSC07-C,283,sqlite,src/vdbe.c,3387,FP,vdbe_type_error: is a goto-label target reachable via goto,,
MEM30-C,284,sqlite,src/vdbe.c,3407,FP,"pOp->p4.z is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,285,sqlite,src/vdbe.c,3409,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
FLP34-C,286,sqlite,src/vdbe.c,3429,FP,(double)pIn1->u.i in the explicit out-of-2^47-range else branch; intentional REAL conversion,,
ARR36-C,287,sqlite,src/vdbe.c,3434,FP,aMem==p->aMem; (int)(pIn1-aMem) valid register offset,,
ARR37-C,288,sqlite,src/vdbe.c,3437,FP,pIn1++ (OP_Affinity) over aMem[]; bounded by assert pIn1<=&aMem[nMem] (3413) and zAffinity NUL,,
MEM30-C,289,sqlite,src/vdbe.c,3503,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,290,sqlite,src/vdbe.c,3504,FP,"pOp->p4.z is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,291,sqlite,src/vdbe.c,3505,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,292,sqlite,src/vdbe.c,3507,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR37-C,293,sqlite,src/vdbe.c,3508,FP,"pData0[nField-1]=&aMem[p1+p2-1]; bounded by assert p2+p1<=nMem (3505), assert pData0<=pLast (3517)",,
INT32-C,294,sqlite,src/vdbe.c,3508,FP,nField-1 where nField=pOp->p2 bounded by register count,,
MEM30-C,295,sqlite,src/vdbe.c,3511,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR36-C,296,sqlite,src/vdbe.c,3517,FP,"aMem==p->aMem; pData0=&aMem[nField], same array",,
INT14-C,297,sqlite,src/vdbe.c,3522,FP,pRec->flags & MEM_Int bitmask flag test,,
ARR36-C,298,sqlite,src/vdbe.c,3526,FP,aMem==p->aMem; (int)(pRec-aMem) valid register offset,,
ARR37-C,299,sqlite,src/vdbe.c,3528,FP,pRec++ over aMem[]; bounded by assert(zAffinity[0]==0 || pRec<=pLast) at 3529,,
ARR36-C,300,sqlite,src/vdbe.c,3529,FP,aMem==p->aMem; pData0/pLast both index aMem[],,
MEM30-C,301,sqlite,src/vdbe.c,3539,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,302,sqlite,src/vdbe.c,3540,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR37-C,303,sqlite,src/vdbe.c,3541,FP,pLast-- (NULL trim) over aMem[]; bounded by nField>pOp->p5 loop guard,,
MEM30-C,304,sqlite,src/vdbe.c,3585,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT13-C,305,sqlite,src/vdbe.c,3599,FP,~i where i is i64 SQL value; intentional for serial-type sizing,,
INT13-C,306,sqlite,src/vdbe.c,3610,FP,i&1 parity test on i64 SQL value; intentional,,
FLP34-C,307,sqlite,src/vdbe.c,3634,FP,(double)pRec->u.i for an IntReal value chosen to be stored as 8-byte float; intentional,,
INT32-C,308,sqlite,src/vdbe.c,3661,FP,nHdr += VarintLen(1..9) per field; bounded by column count; nByte checked vs LIMIT_LENGTH at 3697,,
ARR37-C,309,sqlite,src/vdbe.c,3665,FP,pRec-- over aMem[] header pass; bounded by loop structure / pData0,,
INT32-C,310,sqlite,src/vdbe.c,3676,FP,nHdr += 1 per field; bounded by column count,,
INT32-C,311,sqlite,src/vdbe.c,3680,FP,"nHdr += nVarint; rare large-header path, bounded by field count",,
ARR36-C,312,sqlite,src/vdbe.c,3720,FP,aMem==p->aMem; pData0<=pLast both in aMem[],,
DCL03-C,313,sqlite,src/vdbe.c,3735,TP,assert(sizeof(v)==sizeof(pRec->u.r)) compares compile-time sizeof values; static_assert candidate,,
EXP05-C,314,sqlite,src/vdbe.c,3736,FP,"&v is u64* (non-const local); no const qualification cast away in memcpy(&v,...)",,
ARR30-C,315,sqlite,src/vdbe.c,3744,FP,zPayload=pOut->z+nHdr; pOut->z resized to nByte=nHdr+nData (3700); writes bounded by len<=8; 'size 0' is misread of dynamic alloc,,
ARR30-C,316,sqlite,src/vdbe.c,3745,FP,zPayload into pOut->z sized for full payload; len-bounded write; 'size 0' false,,
ARR30-C,317,sqlite,src/vdbe.c,3748,FP,zPayload into pOut->z sized for full payload; len-bounded write,,
STR31-C,318,sqlite,src/vdbe.c,3754,FP,zPayload is a binary record-serialization buffer written byte-by-byte; not a NUL-terminated string,,
ARR00-C,319,sqlite,src/vdbe.c,3756,FP,zPayload is not a 0-size array; points into pOut->z dynamically resized to nByte,,
STR31-C,320,sqlite,src/vdbe.c,3756,FP,"zPayload byte writes are binary integer serialization, not C-string copy; no NUL-terminator requirement",,
EXP43-C,321,sqlite,src/vdbe.c,3764,FP,"memcpy dest is output payload buffer, src is pRec->z input cell; distinct buffers, asserts guard src",,
EXP43-C,322,sqlite,src/vdbe.c,3772,FP,memcpy dest zPayload vs src pRec->z are distinct buffers (output record vs input register),,
ARR37-C,323,sqlite,src/vdbe.c,3777,FP,pRec++ (record write) over aMem[]; bounded by pRec==pLast break,,
MEM30-C,324,sqlite,src/vdbe.c,3782,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,325,sqlite,src/vdbe.c,3783,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,326,sqlite,src/vdbe.c,3804,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,327,sqlite,src/vdbe.c,3833,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,328,sqlite,src/vdbe.c,3834,FP,"pOp->p4.z is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT32-C,329,sqlite,src/vdbe.c,3862,FP,nStatement+nSavepoint bounded by transaction nesting depth,,
INT30-C,330,sqlite,src/vdbe.c,3867,FP,"sizeof(Savepoint)+nName; nName=Strlen30<=0x3fffffff, size_t arith on 64-bit",,
INT32-C,331,sqlite,src/vdbe.c,3867,FP,size computed in size_t; nName bounded by Strlen30 cap (0x3fffffff),,
ARR38-C,332,sqlite,src/vdbe.c,3870,FP,"memcpy nName+1 into pNew->zName; pNew allocated sizeof(Savepoint)+nName+1, zName has strlen nName",,
INT31-C,333,sqlite,src/vdbe.c,3870,FP,memcpy size nName+1; nName=Strlen30(zName)>=0 bounded; matches zName length,,
INT32-C,334,sqlite,src/vdbe.c,3870,FP,"nName+1 from Strlen30 (capped 0x3fffffff); no overflow, matches source len",,
EXP34-C,335,sqlite,src/vdbe.c,3897,FP,pSavepoint deref guarded by short-circuit (pSavepoint && sqlite3StrICmp(...)) in the for-condition,,
ARR36-C,336,sqlite,src/vdbe.c,3924,FP,aMem... aOp==p->aOp; (int)(pOp-aOp) valid pc,,
INT32-C,337,sqlite,src/vdbe.c,3937,FP,nSavepoint-iSavepoint-1; both bounded savepoint counters,,
ARR00-C,338,sqlite,src/vdbe.c,3940,FP,"ii initialized in for-init (ii=0), not uninitialized; bound db->nDb indexes db->aDb[] not registers",,
EXP34-C,339,sqlite,src/vdbe.c,3968,FP,pTmp=db->pSavepoint inside while(db->pSavepoint!=pSavepoint); list non-empty so pTmp non-null,,
MEM30-C,340,sqlite,src/vdbe.c,3969,FP,"sqlite3DbFree(db, pTmp/pSavepoint) frees distinct savepoint objects in loop/branch; 'db' is allocator arg, never freed",,
MEM30-C,341,sqlite,src/vdbe.c,3980,FP,"sqlite3DbFree(db, pTmp/pSavepoint) frees distinct savepoint objects in loop/branch; 'db' is allocator arg, never freed",,
MEM30-C,342,sqlite,src/vdbe.c,4017,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,343,sqlite,src/vdbe.c,4018,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
ARR36-C,344,sqlite,src/vdbe.c,4043,FP,aOp==p->aOp; pOp-aOp valid pc offset,,
INT32-C,345,sqlite,src/vdbe.c,4044,FP,1-desiredAutoCommit where desiredAutoCommit is 0/1,,
DCL03-C,346,sqlite,src/vdbe.c,4064,FP,"assert(0) is the NOTREACHED runtime idiom, not a compile-time fact for static_assert",,
MEM30-C,347,sqlite,src/vdbe.c,4108,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,348,sqlite,src/vdbe.c,4109,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,349,sqlite,src/vdbe.c,4110,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,350,sqlite,src/vdbe.c,4111,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,351,sqlite,src/vdbe.c,4113,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,352,sqlite,src/vdbe.c,4128,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT13-C,353,sqlite,src/vdbe.c,4132,FP,rc & 0xff bitmask on SQLite error code,,
ARR36-C,354,sqlite,src/vdbe.c,4133,FP,aOp==p->aOp; pOp-aOp valid pc offset,,
MEM30-C,355,sqlite,src/vdbe.c,4141,FP,"pOp->p2 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
INT32-C,356,sqlite,src/vdbe.c,4148,FP,nSavepoint+nStatement bounded counters (asserted >=0 at 4146),,
INT32-C,357,sqlite,src/vdbe.c,4151,FP,iStatement-1; iStatement just set to bounded counter sum,,
MEM30-C,358,sqlite,src/vdbe.c,4163,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,359,sqlite,src/vdbe.c,4165,FP,"pOp->p5 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,360,sqlite,src/vdbe.c,4166,FP,"pOp->p3 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,361,sqlite,src/vdbe.c,4173,FP,"sqlite3DbFree(db, p->zErrMsg) frees zErrMsg then reassigns L4174; 'db' is allocator arg, never freed (no double-free)",,
MEM30-C,362,sqlite,src/vdbe.c,4189,FP,"pOp->p1 is opcode-array/operand field (program counter), live for VM execution; no heap free precedes this read",,
MEM30-C,363,sqlite,src/vdbe.c,4220,FP,FP: p is the live Vdbe struct for the running VM; this field read/assert is never preceded by a free of p; no free->use pair,,
MEM30-C,364,sqlite,src/vdbe.c,4221,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,365,sqlite,src/vdbe.c,4222,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,366,sqlite,src/vdbe.c,4223,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,367,sqlite,src/vdbe.c,4226,FP,FP: p is the live Vdbe struct for the running VM; this field read/assert is never preceded by a free of p; no free->use pair,,
MEM30-C,368,sqlite,src/vdbe.c,4253,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,369,sqlite,src/vdbe.c,4254,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,370,sqlite,src/vdbe.c,4255,FP,FP: p is the live Vdbe struct for the running VM; this field read/assert is never preceded by a free of p; no free->use pair,,
MEM30-C,371,sqlite,src/vdbe.c,4256,FP,FP: p is the live Vdbe struct for the running VM; this field read/assert is never preceded by a free of p; no free->use pair,,
MEM30-C,372,sqlite,src/vdbe.c,4259,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,373,sqlite,src/vdbe.c,4261,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,374,sqlite,src/vdbe.c,4262,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,375,sqlite,src/vdbe.c,4264,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,376,sqlite,src/vdbe.c,4266,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,377,sqlite,src/vdbe.c,4267,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,378,sqlite,src/vdbe.c,4269,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,379,sqlite,src/vdbe.c,4271,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,380,sqlite,src/vdbe.c,4375,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,381,sqlite,src/vdbe.c,4376,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,382,sqlite,src/vdbe.c,4377,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,383,sqlite,src/vdbe.c,4378,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,384,sqlite,src/vdbe.c,4379,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,385,sqlite,src/vdbe.c,4389,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,386,sqlite,src/vdbe.c,4390,FP,FP: p is the live Vdbe struct for the running VM; this field read/assert is never preceded by a free of p; no free->use pair,,
MEM30-C,387,sqlite,src/vdbe.c,4391,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,388,sqlite,src/vdbe.c,4392,FP,FP: p is the live Vdbe struct for the running VM; this field read/assert is never preceded by a free of p; no free->use pair,,
MEM30-C,389,sqlite,src/vdbe.c,4401,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,390,sqlite,src/vdbe.c,4402,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,391,sqlite,src/vdbe.c,4404,FP,FP: p is the live Vdbe struct for the running VM; this field read/assert is never preceded by a free of p; no free->use pair,,
MEM30-C,392,sqlite,src/vdbe.c,4408,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
DCL03-C,393,sqlite,src/vdbe.c,4409,TP,assert(OPFLAG_FORDELETE==BTREE_FORDELETE) compares two compile-time constants; static_assert candidate,,
MEM30-C,394,sqlite,src/vdbe.c,4410,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,395,sqlite,src/vdbe.c,4412,FP,FP: p is the live Vdbe struct for the running VM; this field read/assert is never preceded by a free of p; no free->use pair,,
MEM30-C,396,sqlite,src/vdbe.c,4415,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,397,sqlite,src/vdbe.c,4417,FP,FP: p is the live Vdbe struct for the running VM; this field read/assert is never preceded by a free of p; no free->use pair,,
MEM30-C,398,sqlite,src/vdbe.c,4431,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,399,sqlite,src/vdbe.c,4433,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,400,sqlite,src/vdbe.c,4434,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,401,sqlite,src/vdbe.c,4438,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,402,sqlite,src/vdbe.c,4439,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,403,sqlite,src/vdbe.c,4441,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,404,sqlite,src/vdbe.c,4444,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,405,sqlite,src/vdbe.c,4459,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
DCL03-C,406,sqlite,src/vdbe.c,4462,TP,assert(OPFLAG_BULKCSR==BTREE_BULKLOAD) compile-time constant equality; static_assert candidate,,
DCL03-C,407,sqlite,src/vdbe.c,4463,TP,assert(OPFLAG_SEEKEQ==BTREE_SEEK_EQ) compile-time constant equality; static_assert candidate,,
MEM30-C,408,sqlite,src/vdbe.c,4464,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,409,sqlite,src/vdbe.c,4465,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,410,sqlite,src/vdbe.c,4467,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,411,sqlite,src/vdbe.c,4484,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,412,sqlite,src/vdbe.c,4488,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,413,sqlite,src/vdbe.c,4553,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,414,sqlite,src/vdbe.c,4554,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,415,sqlite,src/vdbe.c,4555,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,416,sqlite,src/vdbe.c,4558,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,417,sqlite,src/vdbe.c,4559,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,418,sqlite,src/vdbe.c,4564,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,419,sqlite,src/vdbe.c,4565,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,420,sqlite,src/vdbe.c,4574,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,421,sqlite,src/vdbe.c,4578,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
EXP45-C,422,sqlite,src/vdbe.c,4588,FP,(pCx->pKeyInfo=pKeyInfo=pOp->p4.pKeyInfo)!=0 is an intentional double-assign with explicit !=0 test,,
MEM30-C,423,sqlite,src/vdbe.c,4588,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,424,sqlite,src/vdbe.c,4589,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,425,sqlite,src/vdbe.c,4591,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,426,sqlite,src/vdbe.c,4607,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,427,sqlite,src/vdbe.c,4608,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,428,sqlite,src/vdbe.c,4612,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,429,sqlite,src/vdbe.c,4636,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,430,sqlite,src/vdbe.c,4637,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,431,sqlite,src/vdbe.c,4638,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,432,sqlite,src/vdbe.c,4640,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,433,sqlite,src/vdbe.c,4643,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,434,sqlite,src/vdbe.c,4657,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,435,sqlite,src/vdbe.c,4658,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,436,sqlite,src/vdbe.c,4686,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,437,sqlite,src/vdbe.c,4687,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,438,sqlite,src/vdbe.c,4688,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,439,sqlite,src/vdbe.c,4691,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,440,sqlite,src/vdbe.c,4698,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,441,sqlite,src/vdbe.c,4708,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,442,sqlite,src/vdbe.c,4709,FP,"FP: sqlite3VdbeFreeCursor(p, p->apCsr[pOp->p1]) frees a cursor element then NULLs it; p (the Vdbe) is not freed, no double-free",,
MEM30-C,443,sqlite,src/vdbe.c,4710,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,444,sqlite,src/vdbe.c,4727,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,445,sqlite,src/vdbe.c,4729,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,446,sqlite,src/vdbe.c,4836,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,447,sqlite,src/vdbe.c,4837,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,448,sqlite,src/vdbe.c,4838,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
INT14-C,449,sqlite,src/vdbe.c,4841,FP,OP_Seek* opcode arithmetic in assert (mislabel); compile-time constants,,
MEM30-C,450,sqlite,src/vdbe.c,4846,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,451,sqlite,src/vdbe.c,4850,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
INT14-C,452,sqlite,src/vdbe.c,4897,FP,OP_SeekGT opcode constant in assert,,
INT14-C,453,sqlite,src/vdbe.c,4898,FP,OP_SeekLE opcode constant in assert,,
INT13-C,454,sqlite,src/vdbe.c,4900,FP,oc & 0x0001 opcode parity test; oc bounded opcode value,,
INT14-C,455,sqlite,src/vdbe.c,4907,FP,OP_SeekGE opcode constant in assert,,
INT13-C,456,sqlite,src/vdbe.c,4909,FP,oc & 0x0001 opcode parity test,,
MEM30-C,457,sqlite,src/vdbe.c,4925,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
ARR37-C,458,sqlite,src/vdbe.c,4926,FP,pOp[1] is mandatory following OP_IdxLT/IdxGT (asserted); within aOp[],,
ARR37-C,459,sqlite,src/vdbe.c,4927,FP,"pOp[1] following paired opcode; asserted, within aOp[]",,
MEM30-C,460,sqlite,src/vdbe.c,4927,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
ARR37-C,461,sqlite,src/vdbe.c,4928,FP,"pOp[1] following paired opcode; asserted, within aOp[]",,
MEM30-C,462,sqlite,src/vdbe.c,4928,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
ARR37-C,463,sqlite,src/vdbe.c,4929,FP,pOp[1].p1 of paired following opcode; within aOp[],,
ARR37-C,464,sqlite,src/vdbe.c,4930,FP,pOp[1].p2 of paired following opcode; within aOp[],,
ARR37-C,465,sqlite,src/vdbe.c,4931,FP,pOp[1].p3 of paired following opcode; within aOp[],,
ARR37-C,466,sqlite,src/vdbe.c,4932,FP,pOp[1].p4 of paired following opcode; within aOp[],,
MEM30-C,467,sqlite,src/vdbe.c,4935,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,468,sqlite,src/vdbe.c,4936,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
INT13-C,469,sqlite,src/vdbe.c,4948,FP,"oc - OP_SeekLT then &1; small opcode offset, parity",,
INT32-C,470,sqlite,src/vdbe.c,4948,FP,oc-OP_SeekLT yields small bounded opcode offset (0..3),,
MEM30-C,471,sqlite,src/vdbe.c,4960,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,472,sqlite,src/vdbe.c,5013,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
ARR37-C,473,sqlite,src/vdbe.c,5018,FP,pOp[1] is mandatory following OP_IdxLT/GT (asserted); skipped via pOp++,,
ARR37-C,474,sqlite,src/vdbe.c,5019,FP,pOp++ skips known following opcode within aOp[],,
ARR37-C,475,sqlite,src/vdbe.c,5099,FP,pOp[1] is mandatory following OP_SeekGE (asserted at 5099); within aOp[],,
ARR36-C,476,sqlite,src/vdbe.c,5104,FP,aOp==p->aOp; assert pOp->p2>=(pOp-aOp)+2 is in-array check,,
MEM30-C,477,sqlite,src/vdbe.c,5104,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,478,sqlite,src/vdbe.c,5106,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
ARR37-C,479,sqlite,src/vdbe.c,5108,FP,pOp[1] following OP_SeekGE; within aOp[]; debug-only assert,,
MEM30-C,480,sqlite,src/vdbe.c,5108,FP,"FP: aOp is p->aOp opcode array, live for entire VM execution; pOp-aOp is PC index arithmetic, never heap-freed by this access; no free->use pair",,
ARR37-C,481,sqlite,src/vdbe.c,5109,FP,pOp[1] following OP_SeekGE; within aOp[],,
MEM30-C,482,sqlite,src/vdbe.c,5109,FP,"FP: aOp is p->aOp opcode array, live for entire VM execution; pOp-aOp is PC index arithmetic, never heap-freed by this access; no free->use pair",,
ARR37-C,483,sqlite,src/vdbe.c,5110,FP,pOp[1] following OP_SeekGE; within aOp[],,
MEM30-C,484,sqlite,src/vdbe.c,5110,FP,"FP: aOp is p->aOp opcode array, live for entire VM execution; pOp-aOp is PC index arithmetic, never heap-freed by this access; no free->use pair",,
MEM30-C,485,sqlite,src/vdbe.c,5111,FP,"FP: aOp is p->aOp opcode array, live for entire VM execution; pOp-aOp is PC index arithmetic, never heap-freed by this access; no free->use pair",,
MEM30-C,486,sqlite,src/vdbe.c,5112,FP,"FP: aOp is p->aOp opcode array, live for entire VM execution; pOp-aOp is PC index arithmetic, never heap-freed by this access; no free->use pair",,
MEM30-C,487,sqlite,src/vdbe.c,5113,FP,"FP: aOp is p->aOp opcode array, live for entire VM execution; pOp-aOp is PC index arithmetic, never heap-freed by this access; no free->use pair",,
ARR36-C,488,sqlite,src/vdbe.c,5116,FP,aOp==p->aOp; pOp-aOp valid pc offset,,
MEM30-C,489,sqlite,src/vdbe.c,5116,FP,"FP: aOp is p->aOp opcode array, live for entire VM execution; pOp-aOp is PC index arithmetic, never heap-freed by this access; no free->use pair",,
MEM30-C,490,sqlite,src/vdbe.c,5117,FP,"FP: aOp is p->aOp opcode array, live for entire VM execution; pOp-aOp is PC index arithmetic, never heap-freed by this access; no free->use pair",,
MEM30-C,491,sqlite,src/vdbe.c,5121,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
ARR37-C,492,sqlite,src/vdbe.c,5122,FP,pOp[1].p1 of following OP_SeekGE used to index apCsr (validated cursor); within aOp[],,
MEM30-C,493,sqlite,src/vdbe.c,5122,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,494,sqlite,src/vdbe.c,5134,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
ARR37-C,495,sqlite,src/vdbe.c,5137,FP,pOp[1].p4 of following OP_SeekGE; within aOp[],,
ARR37-C,496,sqlite,src/vdbe.c,5139,FP,pOp[1].p3 of following OP_SeekGE; within aOp[],,
ARR37-C,497,sqlite,src/vdbe.c,5145,FP,pOp[1].p3 debug REGISTER_TRACE; within aOp[],,
MEM30-C,498,sqlite,src/vdbe.c,5153,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,499,sqlite,src/vdbe.c,5158,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
ARR37-C,500,sqlite,src/vdbe.c,5162,FP,pOp++ skips known following OP_SeekGE within aOp[],,
MEM30-C,501,sqlite,src/vdbe.c,5169,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MSC07-C,502,sqlite,src/vdbe.c,5174,TP,break; at line 5174 is unreachable after the unconditional goto jump_to_p2 at 5173,,
MEM30-C,503,sqlite,src/vdbe.c,5179,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,504,sqlite,src/vdbe.c,5218,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,505,sqlite,src/vdbe.c,5219,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,506,sqlite,src/vdbe.c,5221,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,507,sqlite,src/vdbe.c,5222,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,508,sqlite,src/vdbe.c,5225,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,509,sqlite,src/vdbe.c,5228,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,510,sqlite,src/vdbe.c,5229,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,511,sqlite,src/vdbe.c,5232,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,512,sqlite,src/vdbe.c,5235,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,513,sqlite,src/vdbe.c,5249,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,514,sqlite,src/vdbe.c,5250,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,515,sqlite,src/vdbe.c,5350,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,516,sqlite,src/vdbe.c,5351,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,517,sqlite,src/vdbe.c,5358,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,518,sqlite,src/vdbe.c,5372,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,519,sqlite,src/vdbe.c,5375,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,520,sqlite,src/vdbe.c,5376,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,521,sqlite,src/vdbe.c,5377,FP,"FP: p->apCsr cursor array lives for VM execution; element read/alloc here, never heap-freed by this access; no free->use pair",,
MEM30-C,522,sqlite,src/vdbe.c,5380,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,523,sqlite,src/vdbe.c,5386,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,524,sqlite,src/vdbe.c,5396,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,525,sqlite,src/vdbe.c,5403,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,526,sqlite,src/vdbe.c,5412,FP,"FP: sqlite3DbFreeNN(db, pIdxKey) frees pIdxKey (single free) using db as allocator handle; db is not freed, no double-free",,
INT32-C,527,sqlite,src/vdbe.c,5418,FP,1-alreadyExists where alreadyExists is 0/1,,
MEM30-C,528,sqlite,src/vdbe.c,5421,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,529,sqlite,src/vdbe.c,5429,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,530,sqlite,src/vdbe.c,5441,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,531,sqlite,src/vdbe.c,5442,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
ARR37-C,532,sqlite,src/vdbe.c,5512,FP,"pIn3[0] is plain deref of pIn3=&aMem[p3]; validated register, [0] in-bounds",,
MEM30-C,533,sqlite,src/vdbe.c,5522,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,534,sqlite,src/vdbe.c,5523,FP,"FP: pOp is the live program-counter opcode pointer; this field is a read of opcode operands, never heap-freed by this access; no free->use pair",,
MEM30-C,535,sqlite,src/vdbe.c,5526,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,536,sqlite,src/vdbe.c,5529,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,537,sqlite,src/vdbe.c,5546,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,538,sqlite,src/vdbe.c,5565,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,539,sqlite,src/vdbe.c,5566,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,540,sqlite,src/vdbe.c,5567,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,541,sqlite,src/vdbe.c,5569,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,542,sqlite,src/vdbe.c,5602,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,543,sqlite,src/vdbe.c,5603,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,544,sqlite,src/vdbe.c,5653,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,545,sqlite,src/vdbe.c,5655,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,546,sqlite,src/vdbe.c,5656,FP,"FP: 'p->pFrame' is the live VdbeFrame chain (read-only walk), never freed by this access -> no free->use pair",,
MEM30-C,547,sqlite,src/vdbe.c,5657,FP,"FP: 'p->pFrame' is the live VdbeFrame chain (read-only walk), never freed by this access -> no free->use pair",,
MEM30-C,548,sqlite,src/vdbe.c,5659,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,549,sqlite,src/vdbe.c,5663,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,550,sqlite,src/vdbe.c,5669,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
INT14-C,551,sqlite,src/vdbe.c,5671,FP,pMem->flags & MEM_Int bitmask flag test,,
MEM30-C,552,sqlite,src/vdbe.c,5687,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,553,sqlite,src/vdbe.c,5758,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,554,sqlite,src/vdbe.c,5760,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,555,sqlite,src/vdbe.c,5765,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,556,sqlite,src/vdbe.c,5766,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,557,sqlite,src/vdbe.c,5767,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,558,sqlite,src/vdbe.c,5773,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,559,sqlite,src/vdbe.c,5776,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,560,sqlite,src/vdbe.c,5779,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,561,sqlite,src/vdbe.c,5780,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,562,sqlite,src/vdbe.c,5789,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,563,sqlite,src/vdbe.c,5790,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,564,sqlite,src/vdbe.c,5797,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,565,sqlite,src/vdbe.c,5800,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,566,sqlite,src/vdbe.c,5801,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,567,sqlite,src/vdbe.c,5802,FP,"FP: 'p->nChange' is a scalar field of the live Vdbe struct (incremented), not a heap pointer -> no free->use pair",,
MEM30-C,568,sqlite,src/vdbe.c,5803,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,569,sqlite,src/vdbe.c,5808,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
DCL03-C,570,sqlite,src/vdbe.c,5815,TP,assert(BTREE_PREFORMAT==OPFLAG_PREFORMAT) compile-time constant equality; static_assert candidate,,
MEM30-C,571,sqlite,src/vdbe.c,5817,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,572,sqlite,src/vdbe.c,5830,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
ARR37-C,573,sqlite,src/vdbe.c,5851,FP,pOp[1] following paired opcode within aOp[],,
ARR37-C,574,sqlite,src/vdbe.c,5852,FP,pOp[1] following paired opcode within aOp[],,
MEM30-C,575,sqlite,src/vdbe.c,5852,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
ARR37-C,576,sqlite,src/vdbe.c,5853,FP,pOp[1] following paired opcode within aOp[],,
MEM30-C,577,sqlite,src/vdbe.c,5853,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
ARR37-C,578,sqlite,src/vdbe.c,5854,FP,pOp[1] following paired opcode within aOp[],,
MEM30-C,579,sqlite,src/vdbe.c,5855,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,580,sqlite,src/vdbe.c,5856,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,581,sqlite,src/vdbe.c,5857,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,582,sqlite,src/vdbe.c,5909,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,583,sqlite,src/vdbe.c,5910,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,584,sqlite,src/vdbe.c,5911,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,585,sqlite,src/vdbe.c,5919,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,586,sqlite,src/vdbe.c,5920,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,587,sqlite,src/vdbe.c,5921,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,588,sqlite,src/vdbe.c,5937,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,589,sqlite,src/vdbe.c,5939,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,590,sqlite,src/vdbe.c,5941,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,591,sqlite,src/vdbe.c,5942,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,592,sqlite,src/vdbe.c,5952,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
INT13-C,593,sqlite,src/vdbe.c,5954,FP,opflags & OPFLAG_ISUPDATE bitmask flag test,,
INT13-C,594,sqlite,src/vdbe.c,5959,FP,opflags & OPFLAG_ISUPDATE bitmask flag test,,
MEM30-C,595,sqlite,src/vdbe.c,5961,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
INT13-C,596,sqlite,src/vdbe.c,5964,FP,opflags & OPFLAG_ISNOOP bitmask flag test,,
MEM30-C,597,sqlite,src/vdbe.c,5968,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
DCL03-C,598,sqlite,src/vdbe.c,5969,TP,assert(OPFLAG_SAVEPOSITION==BTREE_SAVEPOSITION) compile-time constant equality; static_assert candidate,,
DCL03-C,599,sqlite,src/vdbe.c,5970,TP,assert(OPFLAG_AUXDELETE==BTREE_AUXDELETE) compile-time constant equality; static_assert candidate,,
MEM30-C,600,sqlite,src/vdbe.c,5973,FP,"FP: 'p->pFrame' is the live VdbeFrame chain (read-only walk), never freed by this access -> no free->use pair",,
MEM30-C,601,sqlite,src/vdbe.c,5975,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,602,sqlite,src/vdbe.c,5980,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,603,sqlite,src/vdbe.c,5986,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
INT13-C,604,sqlite,src/vdbe.c,5993,FP,opflags & OPFLAG_NCHANGE bitmask flag test,,
MEM30-C,605,sqlite,src/vdbe.c,5994,FP,"FP: 'p->nChange' is a scalar field of the live Vdbe struct (incremented), not a heap pointer -> no free->use pair",,
MEM30-C,606,sqlite,src/vdbe.c,6012,FP,"FP: 'p->nChange' is a scalar field of the live Vdbe struct (incremented), not a heap pointer -> no free->use pair",,
MEM30-C,607,sqlite,src/vdbe.c,6037,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,608,sqlite,src/vdbe.c,6039,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,609,sqlite,src/vdbe.c,6041,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,610,sqlite,src/vdbe.c,6066,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,611,sqlite,src/vdbe.c,6070,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,612,sqlite,src/vdbe.c,6072,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,613,sqlite,src/vdbe.c,6111,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,614,sqlite,src/vdbe.c,6112,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,615,sqlite,src/vdbe.c,6138,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,616,sqlite,src/vdbe.c,6140,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,617,sqlite,src/vdbe.c,6161,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,618,sqlite,src/vdbe.c,6162,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
EXP34-C,619,sqlite,src/vdbe.c,6174,FP,pVtab=pC->uc.pVCur->pVtab with assert(pVCur!=0); vtab cursors always carry pVtab (internal invariant),,
EXP34-C,620,sqlite,src/vdbe.c,6175,FP,pModule=pVtab->pModule deref inside assert(pModule->xRowid); internal invariant,,
MEM30-C,621,sqlite,src/vdbe.c,6207,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,622,sqlite,src/vdbe.c,6208,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,623,sqlite,src/vdbe.c,6212,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,624,sqlite,src/vdbe.c,6259,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,625,sqlite,src/vdbe.c,6260,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,626,sqlite,src/vdbe.c,6267,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,627,sqlite,src/vdbe.c,6269,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,628,sqlite,src/vdbe.c,6270,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,629,sqlite,src/vdbe.c,6281,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,630,sqlite,src/vdbe.c,6302,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,631,sqlite,src/vdbe.c,6303,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,632,sqlite,src/vdbe.c,6304,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,633,sqlite,src/vdbe.c,6305,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,634,sqlite,src/vdbe.c,6306,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,635,sqlite,src/vdbe.c,6319,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,636,sqlite,src/vdbe.c,6353,FP,"FP: 'p->aCounter' is a fixed array in the live Vdbe struct (incremented), not heap-freed -> no free->use pair",,
MEM30-C,637,sqlite,src/vdbe.c,6377,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,638,sqlite,src/vdbe.c,6378,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,639,sqlite,src/vdbe.c,6379,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,640,sqlite,src/vdbe.c,6381,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,641,sqlite,src/vdbe.c,6383,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,642,sqlite,src/vdbe.c,6400,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,643,sqlite,src/vdbe.c,6418,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,644,sqlite,src/vdbe.c,6419,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,645,sqlite,src/vdbe.c,6421,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,646,sqlite,src/vdbe.c,6490,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MSC07-C,647,sqlite,src/vdbe.c,6495,FP,"case OP_Prev: is a switch case label reachable via opcode dispatch, not dead code after goto",,
MEM30-C,648,sqlite,src/vdbe.c,6496,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,649,sqlite,src/vdbe.c,6497,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,650,sqlite,src/vdbe.c,6498,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,651,sqlite,src/vdbe.c,6499,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,652,sqlite,src/vdbe.c,6500,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,653,sqlite,src/vdbe.c,6507,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,654,sqlite,src/vdbe.c,6511,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,655,sqlite,src/vdbe.c,6512,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,656,sqlite,src/vdbe.c,6513,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,657,sqlite,src/vdbe.c,6514,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,658,sqlite,src/vdbe.c,6515,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,659,sqlite,src/vdbe.c,6523,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,660,sqlite,src/vdbe.c,6530,FP,"FP: 'p->aCounter' is a fixed array in the live Vdbe struct (incremented), not heap-freed -> no free->use pair",,
MEM30-C,661,sqlite,src/vdbe.c,6574,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,662,sqlite,src/vdbe.c,6575,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,663,sqlite,src/vdbe.c,6580,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,664,sqlite,src/vdbe.c,6581,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,665,sqlite,src/vdbe.c,6588,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,666,sqlite,src/vdbe.c,6589,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,667,sqlite,src/vdbe.c,6591,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,668,sqlite,src/vdbe.c,6592,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,669,sqlite,src/vdbe.c,6610,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,670,sqlite,src/vdbe.c,6611,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,671,sqlite,src/vdbe.c,6641,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,672,sqlite,src/vdbe.c,6642,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,673,sqlite,src/vdbe.c,6643,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,674,sqlite,src/vdbe.c,6644,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,675,sqlite,src/vdbe.c,6651,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,676,sqlite,src/vdbe.c,6703,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,677,sqlite,src/vdbe.c,6704,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,678,sqlite,src/vdbe.c,6710,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,679,sqlite,src/vdbe.c,6727,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,680,sqlite,src/vdbe.c,6728,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,681,sqlite,src/vdbe.c,6729,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
EXP34-C,682,sqlite,src/vdbe.c,6731,FP,pTabCur deref inside assert; assert(pTabCur!=0) precedes at line 6730,,
MEM30-C,683,sqlite,src/vdbe.c,6738,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,684,sqlite,src/vdbe.c,6740,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,685,sqlite,src/vdbe.c,6748,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,686,sqlite,src/vdbe.c,6763,FP,"FP: 'pOp' is the live program counter (current VdbeOp); reads pOp->* fields, never heap-freed in this opcode dispatch -> no free->use pair",,
MEM30-C,687,sqlite,src/vdbe.c,6764,FP,"FP: 'p->apCsr' is the Vdbe-owned cursor array, live for VM execution; indexed read here, not freed -> no free->use pair",,
MEM30-C,688,sqlite,src/vdbe.c,6824,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,689,sqlite,src/vdbe.c,6825,FP,"p->apCsr is the VM cursor array (Vdbe-lifetime), live during execution; no free of it precedes this access",,
MEM30-C,690,sqlite,src/vdbe.c,6831,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,691,sqlite,src/vdbe.c,6833,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,692,sqlite,src/vdbe.c,6834,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,693,sqlite,src/vdbe.c,6835,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,694,sqlite,src/vdbe.c,6838,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,695,sqlite,src/vdbe.c,6847,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,696,sqlite,src/vdbe.c,6877,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,697,sqlite,src/vdbe.c,6878,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
INT32-C,698,sqlite,src/vdbe.c,6879,FP,-res where res is btree compare result; bounded small,,
MEM30-C,699,sqlite,src/vdbe.c,6881,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,700,sqlite,src/vdbe.c,6922,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,701,sqlite,src/vdbe.c,6923,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,702,sqlite,src/vdbe.c,6931,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,703,sqlite,src/vdbe.c,6932,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,704,sqlite,src/vdbe.c,6934,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,705,sqlite,src/vdbe.c,6940,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
INT32-C,706,sqlite,src/vdbe.c,6943,FP,iDb+1; iDb is database index < nDb (small),,
MEM30-C,707,sqlite,src/vdbe.c,6972,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,708,sqlite,src/vdbe.c,6973,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,709,sqlite,src/vdbe.c,6974,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,710,sqlite,src/vdbe.c,6975,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,711,sqlite,src/vdbe.c,6977,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,712,sqlite,src/vdbe.c,6998,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,713,sqlite,src/vdbe.c,6999,FP,"p->apCsr is the VM cursor array (Vdbe-lifetime), live during execution; no free of it precedes this access",,
MEM30-C,714,sqlite,src/vdbe.c,7028,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,715,sqlite,src/vdbe.c,7029,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,716,sqlite,src/vdbe.c,7030,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,717,sqlite,src/vdbe.c,7031,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,718,sqlite,src/vdbe.c,7034,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,719,sqlite,src/vdbe.c,7069,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,720,sqlite,src/vdbe.c,7075,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,721,sqlite,src/vdbe.c,7076,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,722,sqlite,src/vdbe.c,7078,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
EXP34-C,723,sqlite,src/vdbe.c,7086,FP,zErr passed as %s argument (literal format); sqlite3 printf handles NULL %s safely,,
MEM30-C,724,sqlite,src/vdbe.c,7119,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,725,sqlite,src/vdbe.c,7126,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,726,sqlite,src/vdbe.c,7129,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,727,sqlite,src/vdbe.c,7138,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,728,sqlite,src/vdbe.c,7143,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,729,sqlite,src/vdbe.c,7182,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,730,sqlite,src/vdbe.c,7183,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,731,sqlite,src/vdbe.c,7199,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,732,sqlite,src/vdbe.c,7213,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,733,sqlite,src/vdbe.c,7227,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,734,sqlite,src/vdbe.c,7259,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,735,sqlite,src/vdbe.c,7260,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,736,sqlite,src/vdbe.c,7261,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,737,sqlite,src/vdbe.c,7262,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,738,sqlite,src/vdbe.c,7266,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
INT14-C,739,sqlite,src/vdbe.c,7268,FP,pnErr->flags & MEM_Int bitmask flag test,,
MEM30-C,740,sqlite,src/vdbe.c,7271,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,741,sqlite,src/vdbe.c,7272,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
INT32-C,742,sqlite,src/vdbe.c,7274,FP,(int)pnErr->u.i+1 is bounded max-error-count register passed to integrity check,,
INT32-C,743,sqlite,src/vdbe.c,7282,FP,"nErr-1; nErr is integrity-check error count, bounded",,
MEM30-C,744,sqlite,src/vdbe.c,7368,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,745,sqlite,src/vdbe.c,7378,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,746,sqlite,src/vdbe.c,7421,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,747,sqlite,src/vdbe.c,7436,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,748,sqlite,src/vdbe.c,7438,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,749,sqlite,src/vdbe.c,7442,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
INT32-C,750,sqlite,src/vdbe.c,7458,FP,nMem+nCsr from compiled SubProgram; bounded by compile limits,,
ARR39-C,751,sqlite,src/vdbe.c,7461,FP,"nMem*sizeof(Mem) frame-alloc size; nMem asserted >0; nByte is i64, standard scaled malloc size",,
INT30-C,752,sqlite,src/vdbe.c,7462,FP,nMem*sizeof(Mem) computed in i64 nByte expr; nMem bounded; 64-bit,,
INT30-C,753,sqlite,src/vdbe.c,7463,FP,nCsr*sizeof(VdbeCursor*) in i64 nByte expr; bounded; 64-bit,,
INT32-C,754,sqlite,src/vdbe.c,7464,FP,7+(i64)nOp explicitly widened to i64; no overflow,,
ARR36-C,755,sqlite,src/vdbe.c,7478,FP,aOp==p->aOp; (int)(pOp-aOp) valid pc stored in frame,,
MEM30-C,756,sqlite,src/vdbe.c,7479,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,757,sqlite,src/vdbe.c,7480,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,758,sqlite,src/vdbe.c,7481,FP,"p->apCsr is the VM cursor array (Vdbe-lifetime), live during execution; no free of it precedes this access",,
MEM30-C,759,sqlite,src/vdbe.c,7482,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,760,sqlite,src/vdbe.c,7483,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,761,sqlite,src/vdbe.c,7484,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
ARR37-C,762,sqlite,src/vdbe.c,7491,FP,pMem++ over new frame's Mem cells; bounded by pEnd=&FrameMem[nChildMem],,
ARR36-C,763,sqlite,src/vdbe.c,7501,FP,aOp==p->aOp; assert (pOp-aOp)==pFrame->pc,,
MEM30-C,764,sqlite,src/vdbe.c,7504,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,765,sqlite,src/vdbe.c,7505,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,766,sqlite,src/vdbe.c,7508,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,767,sqlite,src/vdbe.c,7510,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,768,sqlite,src/vdbe.c,7518,FP,"p->apCsr is the VM cursor array (Vdbe-lifetime), live during execution; no free of it precedes this access",,
ARR38-C,769,sqlite,src/vdbe.c,7519,FP,memset (nOp+7)/8 bytes into pFrame->aOnce; aOnce region sized in nByte alloc (line 7464),,
INT32-C,770,sqlite,src/vdbe.c,7519,FP,(nOp+7)/8 memset size; nOp bounded by compiled program size,,
MEM30-C,771,sqlite,src/vdbe.c,7527,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
ARR00-C,772,sqlite,src/vdbe.c,7533,TP,pOp=&aOp[-1] forms a pointer before the array start (UB per C11 6.5.6p8) in live dispatch-sentinel code; genuine technical violation,,
MEM30-C,773,sqlite,src/vdbe.c,7533,FP,"aOp points into pProgram->aOp (live SubProgram opcode array); reassigned at 7520 to live frame, not freed",,
MEM30-C,774,sqlite,src/vdbe.c,7552,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,775,sqlite,src/vdbe.c,7553,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,776,sqlite,src/vdbe.c,7571,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,777,sqlite,src/vdbe.c,7572,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,778,sqlite,src/vdbe.c,7575,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,779,sqlite,src/vdbe.c,7577,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,780,sqlite,src/vdbe.c,7596,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,781,sqlite,src/vdbe.c,7600,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,782,sqlite,src/vdbe.c,7601,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,783,sqlite,src/vdbe.c,7621,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,784,sqlite,src/vdbe.c,7622,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,785,sqlite,src/vdbe.c,7653,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,786,sqlite,src/vdbe.c,7681,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,787,sqlite,src/vdbe.c,7780,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,788,sqlite,src/vdbe.c,7781,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,789,sqlite,src/vdbe.c,7782,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,790,sqlite,src/vdbe.c,7783,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,791,sqlite,src/vdbe.c,7784,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,792,sqlite,src/vdbe.c,7793,FP,"n is an int (= pOp->p5) passed by value to ROUND8P/SZ_CONTEXT macros; not a pointer, no free",,
MEM30-C,793,sqlite,src/vdbe.c,7801,FP,"pCtx is malloc(7794) and stored into pOp->p4.pCtx (7809) so it persists across executions; pOp->p4 read is live, no free",,
ARR36-C,794,sqlite,src/vdbe.c,7802,FP,aOp==p->aOp; (int)(pOp-aOp) valid pc stored in pCtx->iOp,,
MEM30-C,795,sqlite,src/vdbe.c,7802,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,796,sqlite,src/vdbe.c,7809,FP,"pCtx is malloc(7794) and stored into pOp->p4.pCtx (7809) so it persists across executions; pOp->p4 read is live, no free",,
MEM30-C,797,sqlite,src/vdbe.c,7812,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,798,sqlite,src/vdbe.c,7823,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,799,sqlite,src/vdbe.c,7824,FP,"pCtx is malloc(7794) and stored into pOp->p4.pCtx (7809) so it persists across executions; pOp->p4 read is live, no free",,
MEM30-C,800,sqlite,src/vdbe.c,7828,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,801,sqlite,src/vdbe.c,7850,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,802,sqlite,src/vdbe.c,7859,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
ARR00-C,803,sqlite,src/vdbe.c,7871,FP,"pOp[-1] guarded by assert(pOp[-1].opcode==OP_CollSeq); preceding opcode in aOp[], not -1 buffer",,
ARR37-C,804,sqlite,src/vdbe.c,7871,FP,pOp[-1].opcode of preceding OP_CollSeq (asserted); within aOp[],,
MEM30-C,805,sqlite,src/vdbe.c,7871,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
ARR00-C,806,sqlite,src/vdbe.c,7872,FP,"pOp[-1] preceding opcode in aOp[], not negative buffer index",,
ARR37-C,807,sqlite,src/vdbe.c,7872,FP,pOp[-1].p1 of preceding OP_CollSeq; within aOp[]; i then validated before aMem[i],,
MEM30-C,808,sqlite,src/vdbe.c,7872,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,809,sqlite,src/vdbe.c,7915,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,810,sqlite,src/vdbe.c,7916,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,811,sqlite,src/vdbe.c,7920,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,812,sqlite,src/vdbe.c,7922,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,813,sqlite,src/vdbe.c,7927,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
ARR36-C,814,sqlite,src/vdbe.c,7936,FP,aMem==p->aMem; (int)(pMem-aMem) valid register offset,,
MEM30-C,815,sqlite,src/vdbe.c,7957,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,816,sqlite,src/vdbe.c,7960,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,817,sqlite,src/vdbe.c,7961,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,818,sqlite,src/vdbe.c,7962,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,819,sqlite,src/vdbe.c,7963,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,820,sqlite,src/vdbe.c,7964,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,821,sqlite,src/vdbe.c,7966,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
ARR37-C,822,sqlite,src/vdbe.c,7972,FP,pMem++ writes aMem[p3..p3+2] per documented OP_Checkpoint contract; p3 validated register,,
MEM30-C,823,sqlite,src/vdbe.c,8000,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,824,sqlite,src/vdbe.c,8001,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,825,sqlite,src/vdbe.c,8010,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,826,sqlite,src/vdbe.c,8011,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,827,sqlite,src/vdbe.c,8053,FP,"eNew is an int journal-mode enum passed by value to PagerSetJournalMode; not a pointer, no free",,
MEM30-C,828,sqlite,src/vdbe.c,8073,FP,"eNew is an int journal-mode enum passed by value to PagerSetJournalMode; not a pointer, no free",,
MEM30-C,829,sqlite,src/vdbe.c,8076,FP,"eNew is an int journal-mode enum passed by value to PagerSetJournalMode; not a pointer, no free",,
MEM30-C,830,sqlite,src/vdbe.c,8096,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,831,sqlite,src/vdbe.c,8097,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,832,sqlite,src/vdbe.c,8098,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,833,sqlite,src/vdbe.c,8114,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,834,sqlite,src/vdbe.c,8115,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,835,sqlite,src/vdbe.c,8116,FP,p->* is a field of the live Vdbe struct; not heap-freed before this access,,
MEM30-C,836,sqlite,src/vdbe.c,8146,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,837,sqlite,src/vdbe.c,8147,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,838,sqlite,src/vdbe.c,8148,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,839,sqlite,src/vdbe.c,8150,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
MEM30-C,840,sqlite,src/vdbe.c,8162,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,841,sqlite,src/vdbe.c,8163,FP,"p->apCsr is the VM cursor array (Vdbe-lifetime), live during execution; no free of it precedes this access",,
MEM30-C,842,sqlite,src/vdbe.c,8177,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,843,sqlite,src/vdbe.c,8178,FP,"p->apCsr is the VM cursor array (Vdbe-lifetime), live during execution; no free of it precedes this access",,
MEM30-C,844,sqlite,src/vdbe.c,8202,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,845,sqlite,src/vdbe.c,8204,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,846,sqlite,src/vdbe.c,8206,FP,p1 is a local int (=pOp->p1) passed to sqlite3BtreeLockTable; not a freed pointer,,
MEM30-C,847,sqlite,src/vdbe.c,8208,FP,pOp is the program counter into p->aOp (Vdbe-lifetime opcode array); never heap-freed by this opcode body,,
INT13-C,848,sqlite,src/vdbe.c,8210,FP,rc & 0xFF bitmask on SQLite error code,,
MEM30-C,849,sqlite,src/vdbe.c,8211,FP,pOp->* reads the live opcode operand from p->aOp (Vdbe-lifetime); no preceding free of pOp,,
MEM30-C,850,sqlite,src/vdbe.c,8212,FP,"z=pOp->p4.z is a const program-string ptr (P4 operand), never freed; no free->use pair",,
MEM30-C,851,sqlite,src/vdbe.c,8233,FP,pVTab=pOp->p4.pVtab live VM operand; sqlite3VtabBegin does not free it; no free->use pair,,
MEM30-C,852,sqlite,src/vdbe.c,8234,FP,pVTab=pOp->p4.pVtab live VM operand; sqlite3VtabBegin does not free it; no free->use pair,,
MEM30-C,853,sqlite,src/vdbe.c,8235,FP,pVTab=pOp->p4.pVtab live VM operand; sqlite3VtabBegin does not free it; no free->use pair,,
MEM30-C,854,sqlite,src/vdbe.c,8262,FP,pOp is live program-counter ptr into p->aOp; never heap-freed; no free->use pair,,
MEM30-C,855,sqlite,src/vdbe.c,8278,FP,pOp live PC ptr; sqlite3VtabCallDestroy frees the vtab not pOp; no free->use of pOp,,
MEM30-C,856,sqlite,src/vdbe.c,8280,FP,p->errorAction is a field of live Vdbe p; never freed; no free->use pair,,
MEM30-C,857,sqlite,src/vdbe.c,8299,FP,p->bIsReader field of live Vdbe; never freed,,
MEM30-C,858,sqlite,src/vdbe.c,8300,FP,p->apCsr cursor array of live Vdbe; never freed by this access,,
MEM30-C,859,sqlite,src/vdbe.c,8303,FP,pOp->p4.pVtab->pVtab live VM operand chain; never freed,,
MEM30-C,860,sqlite,src/vdbe.c,8309,FP,pOp->p4.pVtab->pVtab live VM operand chain; never freed,,
MEM30-C,861,sqlite,src/vdbe.c,8310,FP,pVtab=pOp->p4.pVtab->pVtab live operand; not freed before deref,,
MEM30-C,862,sqlite,src/vdbe.c,8314,FP,pVtab=pOp->p4.pVtab->pVtab live operand; not freed before deref,,
MEM30-C,863,sqlite,src/vdbe.c,8315,FP,pVtab live operand passed to xOpen/ImportErrmsg; not freed,,
MEM30-C,864,sqlite,src/vdbe.c,8316,FP,pVtab live operand passed to xOpen/ImportErrmsg; not freed,,
MEM30-C,865,sqlite,src/vdbe.c,8323,FP,pOp live PC ptr passed to allocateCursor; not freed,,
MEM30-C,866,sqlite,src/vdbe.c,8325,FP,"pCur freshly allocateCursor()'d, live; not freed",,
MEM30-C,867,sqlite,src/vdbe.c,8326,FP,"pVtab live operand; nRef increment, not freed",,
MEM30-C,868,sqlite,src/vdbe.c,8329,FP,"pModule=pVtab->pModule live; xClose on error path, pModule not freed",,
MEM30-C,869,sqlite,src/vdbe.c,8354,FP,pOp->p4type field of live PC ptr; never freed,,
MEM30-C,870,sqlite,src/vdbe.c,8355,FP,pOp->p4.pTab live P4 Table operand; not freed,,
MEM30-C,871,sqlite,src/vdbe.c,8362,FP,pVtab=pTab->u.vtab.p->pVtab live; not freed,,
MEM30-C,872,sqlite,src/vdbe.c,8364,FP,pModule=pVtab->pModule live const module ptr; never freed,,
MEM30-C,873,sqlite,src/vdbe.c,8365,FP,pModule=pVtab->pModule live const module ptr; never freed,,
MEM30-C,874,sqlite,src/vdbe.c,8367,FP,pOp->p1 field of live PC ptr; never freed,,
MEM30-C,875,sqlite,src/vdbe.c,8368,FP,pVtab live operand passed to xIntegrity; not freed (zErr freed only on error after),,
MEM30-C,876,sqlite,src/vdbe.c,8369,FP,pOp->p3 field of live PC ptr; never freed,,
MEM30-C,877,sqlite,src/vdbe.c,8397,FP,p->apCsr cursor array of live Vdbe; not freed,,
MEM30-C,878,sqlite,src/vdbe.c,8402,FP,pOp live PC ptr passed to out2Prerelease; not freed,,
STR30-C,879,sqlite,src/vdbe.c,8404,FP,"\ValueList\"" literal is stored as a const char* type tag; sqlite3VdbeMemSetPointer does not modify it""",,
ARR37-C,880,sqlite,src/vdbe.c,8444,FP,"pQuery[1]=pArgc=&aMem[p3+1]; validated register, in-bounds",,
MEM30-C,881,sqlite,src/vdbe.c,8445,FP,p->apCsr cursor array of live Vdbe; not freed,,
MEM30-C,882,sqlite,src/vdbe.c,8447,FP,pOp live PC ptr in REGISTER_TRACE; not freed,,
MEM30-C,883,sqlite,src/vdbe.c,8449,FP,pCur=p->apCsr[p1] live cursor; not freed,,
MEM30-C,884,sqlite,src/vdbe.c,8450,FP,pCur=p->apCsr[p1] live cursor; not freed,,
MEM30-C,885,sqlite,src/vdbe.c,8452,FP,pVtab=pVCur->pVtab live; not freed,,
MEM30-C,886,sqlite,src/vdbe.c,8460,FP,p->apArg arg-buffer of live Vdbe; not freed,,
MEM30-C,887,sqlite,src/vdbe.c,8461,FP,p->napArg field of live Vdbe; not freed,,
ARR36-C,888,sqlite,src/vdbe.c,8462,FP,compares integer fields pOp[-1].p1 and pOp->p2; not pointers,,
ARR37-C,889,sqlite,src/vdbe.c,8463,FP,"OP_VFilter apArg: nArg is the codegen-emitted arg count (register), apArg/aMem co-sized at prepare time — trusted-bytecode invariant, not external input",,
INT32-C,890,sqlite,src/vdbe.c,8463,FP,i+1 where i bounded by nArg (asserted <= napArg),,
MEM30-C,891,sqlite,src/vdbe.c,8465,FP,pOp->p4.z const P4 string passed to xFilter; not freed,,
MEM30-C,892,sqlite,src/vdbe.c,8466,FP,pVtab live operand passed to ImportErrmsg; not freed,,
MEM30-C,893,sqlite,src/vdbe.c,8468,FP,pModule live const module ptr (xEof); not freed,,
MEM30-C,894,sqlite,src/vdbe.c,8498,FP,p->apCsr cursor array of live Vdbe; not freed,,
MEM30-C,895,sqlite,src/vdbe.c,8500,FP,pOp->p3 field of live PC ptr in assert; not freed,,
MEM30-C,896,sqlite,src/vdbe.c,8509,FP,pVtab=pCur->uc.pVCur->pVtab live; not freed,,
MEM30-C,897,sqlite,src/vdbe.c,8510,FP,pModule live const module ptr (xColumn assert); not freed,,
MEM30-C,898,sqlite,src/vdbe.c,8517,FP,pOp->p5 field of live PC ptr; never freed,,
MEM30-C,899,sqlite,src/vdbe.c,8518,FP,pOp->p5 field of live PC ptr; never freed,,
MEM30-C,900,sqlite,src/vdbe.c,8525,FP,"pOp live PC ptr; pModule->xColumn(...,pOp->p2); not freed",,
MEM30-C,901,sqlite,src/vdbe.c,8526,FP,pVtab live operand passed to ImportErrmsg; not freed,,
MEM30-C,902,sqlite,src/vdbe.c,8532,FP,pOp live PC ptr in REGISTER_TRACE; not freed,,
MEM30-C,903,sqlite,src/vdbe.c,8553,FP,p->apCsr cursor array of live Vdbe; not freed,,
MEM30-C,904,sqlite,src/vdbe.c,8560,FP,pVtab=pCur->uc.pVCur->pVtab live; not freed,,
MEM30-C,905,sqlite,src/vdbe.c,8561,FP,pModule live const module ptr; not freed,,
MEM30-C,906,sqlite,src/vdbe.c,8569,FP,pModule live const module ptr (xNext); not freed,,
MEM30-C,907,sqlite,src/vdbe.c,8570,FP,pVtab live operand passed to ImportErrmsg; not freed,,
MEM30-C,908,sqlite,src/vdbe.c,8572,FP,pModule live const module ptr (xEof); not freed,,
MEM30-C,909,sqlite,src/vdbe.c,8596,FP,pOp->p4.pVtab->pVtab live operand chain; not freed,,
MEM30-C,910,sqlite,src/vdbe.c,8598,FP,pVtab live operand (xRename assert); not freed,,
MEM30-C,911,sqlite,src/vdbe.c,8600,FP,p->readOnly field of live Vdbe in assert; not freed,,
MEM30-C,912,sqlite,src/vdbe.c,8601,FP,pOp->p1 field of live PC ptr in REGISTER_TRACE; not freed,,
MEM30-C,913,sqlite,src/vdbe.c,8608,FP,pVtab live operand passed to xRename/ImportErrmsg; not freed,,
MEM30-C,914,sqlite,src/vdbe.c,8610,FP,pVtab live operand passed to xRename/ImportErrmsg; not freed,,
MEM30-C,915,sqlite,src/vdbe.c,8654,FP,pOp->p2 field of live PC ptr in assert; not freed,,
MEM30-C,916,sqlite,src/vdbe.c,8655,FP,pOp->p5 field of live PC ptr in assert; not freed,,
MEM30-C,917,sqlite,src/vdbe.c,8657,FP,p->readOnly field of live Vdbe in assert; not freed,,
MEM30-C,918,sqlite,src/vdbe.c,8660,FP,pOp->p4.pVtab->pVtab live operand chain; not freed,,
MEM30-C,919,sqlite,src/vdbe.c,8661,FP,pVtab=pOp->p4.pVtab->pVtab live operand; not freed,,
MEM30-C,920,sqlite,src/vdbe.c,8665,FP,pVtab=pOp->p4.pVtab->pVtab live operand; not freed,,
MEM30-C,921,sqlite,src/vdbe.c,8666,FP,pOp->p2 field of live PC ptr; not freed,,
MEM30-C,922,sqlite,src/vdbe.c,8667,FP,pOp->p4type field of live PC ptr in assert; not freed,,
MEM30-C,923,sqlite,src/vdbe.c,8668,FP,pModule live const module ptr (xUpdate guard); not freed,,
MEM30-C,924,sqlite,src/vdbe.c,8670,FP,p->apArg arg-buffer of live Vdbe; not freed,,
MEM30-C,925,sqlite,src/vdbe.c,8672,FP,p->napArg field of live Vdbe in assert; not freed,,
ARR36-C,926,sqlite,src/vdbe.c,8673,FP,compares integer fields pOp[-1].p1 and pOp->p2; not pointers,,
ARR37-C,927,sqlite,src/vdbe.c,8677,FP,"pX++ over aMem[p3..]; nArg=p2 bounded by assert nArg<=napArg, memIsValid each",,
MEM30-C,928,sqlite,src/vdbe.c,8679,FP,pOp->p5 field of live PC ptr; not freed,,
MEM30-C,929,sqlite,src/vdbe.c,8680,FP,pVtab live operand passed to xUpdate/ImportErrmsg; not freed,,
MEM30-C,930,sqlite,src/vdbe.c,8682,FP,pVtab live operand passed to xUpdate/ImportErrmsg; not freed,,
MEM30-C,931,sqlite,src/vdbe.c,8683,FP,pOp->p1 field of live PC ptr; not freed,,
INT13-C,932,sqlite,src/vdbe.c,8687,FP,rc & 0xff bitmask on SQLite error code,,
MEM30-C,933,sqlite,src/vdbe.c,8687,FP,pOp->p4.pVtab->bConstraint live operand field; not freed,,
MEM30-C,934,sqlite,src/vdbe.c,8688,FP,pOp->p5 field of live PC ptr; not freed,,
MEM30-C,935,sqlite,src/vdbe.c,8691,FP,pOp->p5 field of live PC ptr; not freed,,
MEM30-C,936,sqlite,src/vdbe.c,8708,FP,pOp live PC ptr passed to out2Prerelease; not freed,,
MEM30-C,937,sqlite,src/vdbe.c,8728,FP,pOp live PC ptr passed to out2Prerelease; not freed,,
MEM30-C,938,sqlite,src/vdbe.c,8731,FP,pOp->p3 field of live PC ptr; not freed,,
MEM30-C,939,sqlite,src/vdbe.c,8733,FP,pOp->p3 field of live PC ptr; not freed,,
MEM30-C,940,sqlite,src/vdbe.c,8791,FP,pOp->p4type field of live PC ptr in assert; not freed,,
MEM30-C,941,sqlite,src/vdbe.c,8792,FP,pOp->p4.pCtx live P4 FuncCtx operand; not freed,,
MEM30-C,942,sqlite,src/vdbe.c,8811,FP,pOp->p2 in REGISTER_TRACE arithmetic; pOp live PC ptr; not freed,,
MEM30-C,943,sqlite,src/vdbe.c,8824,FP,pOp->p1 passed to VdbeDeleteAuxData; pOp live PC ptr; auxdata freed not pOp,,
MEM30-C,944,sqlite,src/vdbe.c,8834,FP,pOp->p3 in REGISTER_TRACE; pOp live PC ptr; not freed,,
DCL02-C,945,sqlite,src/vdbe.c,8893,FP,local u64 h is not visually confusable with n; heuristic false positive,,
MEM30-C,946,sqlite,src/vdbe.c,8895,FP,pOp->p1 field of live PC ptr in assert; not freed,,
MEM30-C,947,sqlite,src/vdbe.c,8899,FP,pOp passed to filterHash; live PC ptr; not freed,,
MEM30-C,948,sqlite,src/vdbe.c,8903,FP,pOp->p3/p4.i in trace loop; pOp live PC ptr; not freed,,
DCL11-C,949,sqlite,src/vdbe.c,8906,FP,%llu matches u64 which defaults to unsigned long long int (sqlite_uint64); debug-only printf,,
INT00-C,950,sqlite,src/vdbe.c,8906,FP,%llu correct for u64 h in SQLITE_DEBUG trace printf,,
INT14-C,951,sqlite,src/vdbe.c,8906,FP,h u64; h%n arithmetic and h&7 bitwise; intentional bloom indexing,,
INT33-C,952,sqlite,src/vdbe.c,8906,FP,h%pIn1->n; pIn1->n asserted >0 at line 8898,,
INT33-C,953,sqlite,src/vdbe.c,8909,FP,h%=(pIn1->n*8); pIn1->n asserted >0; divisor non-zero,,
DCL02-C,954,sqlite,src/vdbe.c,8929,FP,local u64 h is not visually confusable with n; heuristic false positive,,
MEM30-C,955,sqlite,src/vdbe.c,8931,FP,pOp->p1 field of live PC ptr in assert; not freed,,
MEM30-C,956,sqlite,src/vdbe.c,8935,FP,pOp passed to filterHash; live PC ptr; not freed,,
MEM30-C,957,sqlite,src/vdbe.c,8939,FP,pOp->p3/p4.i in trace loop; pOp live PC ptr; not freed,,
DCL11-C,958,sqlite,src/vdbe.c,8942,FP,%llu matches u64 (unsigned long long int by default); debug-only printf,,
INT00-C,959,sqlite,src/vdbe.c,8942,FP,%llu correct for u64 h in debug printf,,
INT33-C,960,sqlite,src/vdbe.c,8942,FP,h%pIn1->n; pIn1->n asserted >=1 at line 8934,,
INT33-C,961,sqlite,src/vdbe.c,8945,FP,h%=(pIn1->n*8); pIn1->n asserted >=1; divisor non-zero,,
MEM30-C,962,sqlite,src/vdbe.c,8948,FP,p->aCounter array of live Vdbe; not freed,,
MEM30-C,963,sqlite,src/vdbe.c,8951,FP,p->aCounter array of live Vdbe; not freed,,
MEM30-C,964,sqlite,src/vdbe.c,8998,FP,pOp->p4.z const SQL comment string in assert; not freed,,
MEM30-C,965,sqlite,src/vdbe.c,9001,FP,p->aOp opcode array of live Vdbe in assert; not freed,,
MEM30-C,966,sqlite,src/vdbe.c,9005,FP,p->minWriteFileFormat field of live Vdbe; not freed,,
MEM30-C,967,sqlite,src/vdbe.c,9006,FP,pOp->p4.z const P4 string assigned to zTrace; not freed,,
MEM30-C,968,sqlite,src/vdbe.c,9011,FP,"z=sqlite3VdbeExpandSql result, used at xLegacy before its own free at 9012; not yet freed",,
MEM30-C,969,sqlite,src/vdbe.c,9012,FP,z freed once here (sqlite3_free); the 9018 free is a DIFFERENT block-scoped z in the else-if branch,,
MEM30-C,970,sqlite,src/vdbe.c,9017,FP,"z=sqlite3MPrintf result (distinct local), used at xV2 before its free at 9018; not yet freed",,
MEM30-C,971,sqlite,src/vdbe.c,9018,FP,z freed once here (sqlite3DbFree); distinct from the 9012 z in the mutually-exclusive if branch,,
MEM30-C,972,sqlite,src/vdbe.c,9024,FP,pOp->p4.z const P4 string assigned to zTrace (FCNTL block); not freed,,
MEM30-C,973,sqlite,src/vdbe.c,9028,FP,p->btreeMask field of live Vdbe in DbMaskTest; not freed,,
MEM30-C,974,sqlite,src/vdbe.c,9035,FP,pOp->p4.z const P4 string (SQLITE_DEBUG trace); not freed,,
MEM30-C,975,sqlite,src/vdbe.c,9041,FP,pOp->p2 field of live PC ptr in assert; not freed,,
MEM30-C,976,sqlite,src/vdbe.c,9042,FP,pOp->p1 field of live PC ptr; not freed,,
MEM30-C,977,sqlite,src/vdbe.c,9043,FP,pOp->opcode field of live PC ptr; not freed,,
MEM30-C,978,sqlite,src/vdbe.c,9044,FP,p->nOp field of live Vdbe in loop bound; not freed,,
MEM30-C,979,sqlite,src/vdbe.c,9045,FP,p->aOp[i].opcode of live Vdbe opcode array; not freed,,
MEM30-C,980,sqlite,src/vdbe.c,9050,FP,p->aCounter array of live Vdbe; not freed,,
MEM30-C,981,sqlite,src/vdbe.c,9065,FP,p->nCursor field of live Vdbe in assert; not freed,,
MEM30-C,982,sqlite,src/vdbe.c,9066,FP,pOp->p4type field of live PC ptr in assert; not freed,,
MEM30-C,983,sqlite,src/vdbe.c,9067,FP,p->apCsr cursor array of live Vdbe; not freed,,
MEM30-C,984,sqlite,src/vdbe.c,9071,FP,pOp->p4.pExpr live P4 Expr operand; not freed,,
MEM30-C,985,sqlite,src/vdbe.c,9129,FP,pOp->p2 field of live PC ptr in assert; not freed,,
MEM30-C,986,sqlite,src/vdbe.c,9131,FP,pOp->p3 assigned to constMask; live PC ptr; not freed,,
ARR37-C,987,sqlite,src/vdbe.c,9132,FP,pMem++ over aMem[p1..]; bounded by assert p1+p2<=nMem (9129),,
MEM30-C,988,sqlite,src/vdbe.c,9132,FP,pOp->p2 loop bound; live PC ptr; not freed,,
MEM30-C,989,sqlite,src/vdbe.c,9135,FP,pOp->p5 field of live PC ptr; not freed,,
MEM30-C,990,sqlite,src/vdbe.c,9169,FP,pOp->opcode field of live PC ptr in assert; not freed,,
ARR00-C,991,sqlite,src/vdbe.c,9198,FP,&aOp[-1] formed only inside an #ifndef NDEBUG assert comparison; compiled out of the release engine,,
MEM30-C,992,sqlite,src/vdbe.c,9198,FP,"aOp is the live program array (function param), bounds assert; never freed in exec",,
MEM30-C,993,sqlite,src/vdbe.c,9203,FP,rc is an 'int' local (not a pointer); cannot be a freed pointer; misclassified,,
MEM30-C,994,sqlite,src/vdbe.c,9230,FP,rc is an 'int' local (not a pointer); cannot be a freed pointer; misclassified,,
MEM30-C,995,sqlite,src/vdbe.c,9233,FP,p->zSql field of live Vdbe (debug trace); not freed,,
MEM30-C,996,sqlite,src/vdbe.c,9235,FP,aOp[0].opcode/p4.z of live program array; not freed,,
MEM30-C,997,sqlite,src/vdbe.c,9236,FP,aOp[0].opcode/p4.z of live program array; not freed,,
MEM30-C,998,sqlite,src/vdbe.c,9240,FP,rc is an 'int' local (not a pointer); cannot be a freed pointer; misclassified,,
MEM30-C,999,sqlite,src/vdbe.c,9243,FP,"p->zErrMsg field of live Vdbe; VdbeError reassigns it, no use-after-free of a freed object",,
MEM30-C,1000,sqlite,src/vdbe.c,9244,FP,rc is an 'int' local (not a pointer); cannot be a freed pointer; misclassified,,
MEM30-C,1001,sqlite,src/vdbe.c,9247,FP,rc is an 'int' local (not a pointer); cannot be a freed pointer; misclassified,,
MEM30-C,1002,sqlite,src/vdbe.c,9249,FP,rc is an 'int' local (not a pointer); cannot be a freed pointer; misclassified,,
MEM30-C,1003,sqlite,src/vdbe.c,9250,FP,p->eVdbeState field of live Vdbe; VdbeHalt operates on live p; not freed,,
MEM30-C,1004,sqlite,src/vdbe.c,9286,FP,p->aCounter array of live Vdbe (cleanup); not freed,,
MEM30-C,1005,sqlite,src/vdbe.c,9287,FP,p->lockMask field of live Vdbe in DbMaskNonZero; not freed,,
MEM30-C,1006,sqlite,src/vdbe.c,9291,FP,p->zSql field of live Vdbe in final assert; not freed,,
MEM30-C,1007,sqlite,src/vdbe.c,9293,FP,rc is an 'int' local (not a pointer); cannot be a freed pointer; misclassified,,
MSC07-C,1008,sqlite,src/vdbe.c,9298,FP,"too_big: is a goto-label target after return rc; reachable via goto, not dead code",,