[VPD 1241] Certik: Venus Labs - Core Feature Reaudit#673

Open

GitGuru7 wants to merge 14 commits into

fix/vpd-1241-certik-audit

Commits on May 19, 2026

fix: [VLC-27] remove redundant address cast in getCorePoolMarket
GitGuru7
committed
fix: [VLC-22] correct exchangeRateStoredInternal comment
GitGuru7
committed
fix: [VLC-26] standardise MathError local naming in VToken and fix srvTokensNew typo
GitGuru7
committed
fix: [VLC-30] expand sweepTokenAndSync NatSpec to document internalCash resync role
GitGuru7
committed
fix: [VLC-23] document state-mutating lens helpers in VenusLens and SnapshotLens
GitGuru7
committed
fix: [VLC-15] accrue VAI interest before force-VAI liquidation gate check
GitGuru7
committed
fix: [VLC-12] skip zero-balance entered markets in ComptrollerLens solvency calc
GitGuru7
committed
fix: [VLC-06] let per-borrower force-liquidation flags bypass the VAI-first gate too
GitGuru7
committed
fix: [VLC-11] note that maxAssets is no longer used
GitGuru7
committed
fix: [VLC-05] block claimVenusAsCollateral when the user hasn't entered the vXVS market
GitGuru7
committed
fix: [VLC-04] add a curated seizeVenus overload that filters out unlisted markets
GitGuru7
committed
fix: [VLC-11] make maxAssets private and drop its storage-persistence test
GitGuru7
committed

Commits on May 29, 2026