OpenZeppelin Contracts is a library for secure smart contract development.
This report summarizes scanner evidence for OpenZeppelin/openzeppelin-contracts, a Solidity project with 27,268 GitHub stars. SynthScan examined 64,985 lines of code across 380 source files, recording 76 pattern matches distributed across 9 syntactic categories. The legacy adjusted pattern signal is 5.9 (Moderate pattern signal); it is not an authorship estimate.
Use the findings to ask whether maintainers can explain intent, verify dependencies, simplify unnecessary scaffolding, and focus review effort. Risk Payload v1 adds ownership, supply-chain, over-engineering, and review-effort vectors when available. These are prompts for human verification, not probabilities, security findings, or measured maintenance costs.
Use each vector to guide manual verification of the underlying findings.
Can maintainers explain intent, assumptions, and trade-offs? 38 finding(s).
Are imports declared and package/API names verified? 34 finding(s).
Are wrappers, guards, and repeated structures necessary? 29 finding(s).
Which changes need focused human review? 76 finding(s).
This chart tracks the legacy adjusted pattern score across scan runs. Changes can reflect source changes, scan coverage, or detector/scoring versions; they do not measure AI adoption or prove that a team refactored code. Compare runs only when their scoring versions are compatible. The dashed line tracks the raw pattern-hit count.
Groups findings by configured severity weight. Severity is not a confidence estimate, security rating, or proof that a package is missing. Verify imports against the project's manifests and inspect each finding in its local design context.
This horizontal bar chart shows where configured pattern scores accumulate across directories. Treat the bars as locations to inspect, not as evidence of authorship or code quality. Use the file-level findings to decide whether a directory needs a focused ownership, dependency, complexity, or review check.
The scanner identified 76 distinct pattern matches across 9 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a detector match to inspect in context. Expand any category row to inspect the individual file paths, line numbers, code snippets, and the lexical context (CODE, COMMENT, or STRING) in which each match was detected.
Reading the findings table: The Severity column indicates the configured finding weight (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — legacy comment-context matches receive a ×1.5 score weight. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier under the legacy scoring model.
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| CRITICAL | test/account/extensions/ERC7821.behavior.js | 53 | await expect(this.ethers.predeploy.entrypoint.v09.getNonce(this.mock.target, 0)).to.eventually.equal(0); | CODE |
| CRITICAL | test/account/extensions/ERC7821.behavior.js | 54 | await expect(this.ethers.predeploy.entrypoint.v09.handleOps([operation.packed], this.beneficiary)) | CODE |
| CRITICAL | test/account/extensions/ERC7821.behavior.js | 75 | await expect(this.ethers.predeploy.entrypoint.v09.handleOps([operation.packed], this.beneficiary)).to.revert( | CODE |
| CRITICAL | test/account/extensions/ERC7821.behavior.js | 99 | await expect(this.ethers.predeploy.entrypoint.v09.handleOps([operation.packed], this.beneficiary)) | CODE |
| CRITICAL | test/account/extensions/ERC7821.behavior.js | 112 | this.ethers.predeploy.entrypoint.v09.handleOps([operation.packed], this.beneficiary), | CODE |
| CRITICAL | test/account/extensions/ERC7821.behavior.js | 135 | const tx = this.ethers.predeploy.entrypoint.v09.handleOps([operation.packed], this.beneficiary); | CODE |
| CRITICAL | test/account/paymaster/PaymasterERC20.test.js | 272 | const postOpError = ethers.predeploy.entrypoint.v09.interface.parseError(postOpRevertReason); | CODE |
| CRITICAL⚡ | test/account/paymaster/Paymaster.behavior.js | 45 | await expect(this.ethers.predeploy.entrypoint.v09.getNonce(this.account, 0n)).to.eventually.equal(0n); | CODE |
| CRITICAL⚡ | test/account/paymaster/Paymaster.behavior.js | 46 | await expect(this.ethers.predeploy.entrypoint.v09.balanceOf(this.paymaster)).to.eventually.equal(deposit); | CODE |
| CRITICAL⚡ | test/account/paymaster/Paymaster.behavior.js | 49 | const handleOpsTx = this.ethers.predeploy.entrypoint.v09.handleOps([signedUserOp.packed], this.receiver); | CODE |
| CRITICAL⚡ | test/account/paymaster/Paymaster.behavior.js | 57 | await expect(this.ethers.predeploy.entrypoint.v09.getNonce(this.account, 0n)).to.eventually.equal(1n); | CODE |
| CRITICAL⚡ | test/account/paymaster/Paymaster.behavior.js | 58 | await expect(this.ethers.predeploy.entrypoint.v09.balanceOf(this.paymaster)).to.eventually.be.lessThan(deposit); | CODE |
| CRITICAL | test/account/paymaster/Paymaster.behavior.js | 76 | await expect(this.ethers.predeploy.entrypoint.v09.handleOps([signedUserOp.packed], this.receiver)) | CODE |
| CRITICAL | test/account/paymaster/Paymaster.behavior.js | 105 | await expect(this.ethers.predeploy.entrypoint.v09.handleOps([signedUserOp.packed], this.receiver)) | CODE |
| CRITICAL | test/account/paymaster/Paymaster.behavior.js | 125 | await expect(this.ethers.predeploy.entrypoint.v09.handleOps([signedUserOp.packed], this.receiver)) | CODE |
| CRITICAL⚡ | test/account/paymaster/Paymaster.behavior.js | 152 | await expect(this.ethers.predeploy.entrypoint.v09.balanceOf(this.paymaster)).to.eventually.equal(0n); | CODE |
| CRITICAL⚡ | test/account/paymaster/Paymaster.behavior.js | 160 | await expect(this.ethers.predeploy.entrypoint.v09.balanceOf(this.paymaster)).to.eventually.equal(value); | CODE |
| CRITICAL⚡ | test/account/paymaster/Paymaster.behavior.js | 168 | await expect(this.ethers.predeploy.entrypoint.v09.balanceOf(this.paymaster)).to.eventually.equal(value - 1n); | CODE |
| CRITICAL | test/account/paymaster/Paymaster.behavior.js | 180 | await expect(this.ethers.predeploy.entrypoint.v09.getDepositInfo(this.paymaster)).to.eventually.deep.equal([ | CODE |
| CRITICAL | test/account/paymaster/Paymaster.behavior.js | 195 | await expect(this.ethers.predeploy.entrypoint.v09.getDepositInfo(this.paymaster)).to.eventually.deep.equal([ | CODE |
| CRITICAL | test/account/paymaster/Paymaster.behavior.js | 207 | await expect(this.ethers.predeploy.entrypoint.v09.getDepositInfo(this.paymaster)).to.eventually.deep.equal([ | CODE |
| CRITICAL | test/account/paymaster/Paymaster.behavior.js | 224 | await expect(this.ethers.predeploy.entrypoint.v09.getDepositInfo(this.paymaster)).to.eventually.deep.equal([ | CODE |
| CRITICAL | test/helpers/governance.js | 170 | return this.connection.helpers.time.increaseTo.timestamp(timestamp + offset); | CODE |
| CRITICAL | hardhat/hardhat-transpiler/tasks/transpile.ts | 57 | const mainSources = hre.config.paths.sources.solidity.at(0)!; | CODE |
| CRITICAL | hardhat/hardhat-exposed/tasks/build.ts | 22 | if (!hre.config.paths.sources.solidity.includes(hre.config.exposed.outDir)) { | CODE |
| CRITICAL | hardhat/hardhat-exposed/tasks/build.ts | 23 | hre.config.paths.sources.solidity.push(hre.config.exposed.outDir); | CODE |
| CRITICAL | …hat/hardhat-oz-contracts-helpers/hook-handlers/test.ts | 21 | const hasProxies = fs.existsSync(path.join(context.config.paths.sources.solidity.at(0)!, 'proxy/Proxy.sol')); | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | test/token/ERC1155/ERC1155.behavior.js | 516 | function batchTransferWasSuccessful() { | CODE |
| LOW | …y/transparent/TransparentUpgradeableProxy.behaviour.js | 6 | export function shouldBehaveLikeTransparentUpgradeableProxy() { | CODE |
| LOW | test/access/AccessControl.behavior.js | 11 | export function shouldBehaveLikeAccessControl() { | CODE |
| LOW | test/access/AccessControl.behavior.js | 226 | export function shouldBehaveLikeAccessControlEnumerable() { | CODE |
| LOW | test/access/AccessControl.behavior.js | 263 | export function shouldBehaveLikeAccessControlDefaultAdminRules() { | CODE |
| LOW | test/access/manager/AccessManager.predicate.js | 168 | export function testAsSchedulableOperation({ scheduled: { before, after, expired }, notScheduled }) { | CODE |
| LOW | test/access/manager/AccessManager.predicate.js | 230 | export function testAsRestrictedOperation({ callerIsTheManager: { executing, notExecuting }, callerIsNotTheManager }) { | CODE |
| LOW | test/access/manager/AccessManager.behavior.js | 18 | export function shouldBehaveLikeDelayedAdminOperation() { | CODE |
| LOW | test/access/manager/AccessManager.behavior.js | 57 | export function shouldBehaveLikeNotDelayedAdminOperation() { | CODE |
| LOW | test/access/manager/AccessManager.behavior.js | 96 | export function shouldBehaveLikeRoleAdminOperation(roleAdmin) { | CODE |
| LOW | test/access/manager/AccessManager.behavior.js | 136 | export function shouldBehaveLikeAManagedRestrictedOperation() { | CODE |
| LOW | test/access/manager/AccessManager.behavior.js | 193 | export function shouldBehaveLikeASelfRestrictedOperation() { | CODE |
| LOW | test/utils/Context.behavior.js | 3 | export async function shouldBehaveLikeRegularContext() { | CODE |
| LOW | test/utils/Nonces.behavior.js | 69 | export function shouldBehaveLikeNoncesKeyed() { | CODE |
| LOW | test/account/Account.behavior.js | 6 | export function shouldBehaveLikeAccountCore() { | CODE |
| LOW | test/account/Account.behavior.js | 86 | export function shouldBehaveLikeAccountHolder() { | CODE |
| LOW | test/account/paymaster/Paymaster.behavior.js | 12 | export function shouldBehaveLikePaymaster({ postOp, timeRange }) { | CODE |
| LOW | …dhat/hardhat-solidity-docgen/internal/utils/natspec.ts | 141 | function cleanUpDocstringFromSource(text: string) { | CODE |
| LOW | hardhat/hardhat-exposed/internal/expose.ts | 134 | function getImportPathFromExposedContract( | CODE |
| LOW | hardhat/hardhat-exposed/internal/expose.ts | 165 | function parseApplicableRemappings(remappings: string[], projectSourcePrefixes: string[]): ParsedRemapping[] { | CODE |
| LOW | hardhat/hardhat-exposed/internal/expose.ts | 408 | function areFunctionsFullyImplemented(contract: ContractDefinition, deref: ASTDereferencer): boolean { | CODE |
| LOW | hardhat/hardhat-exposed/internal/expose.ts | 427 | function getFunctionNameQualifiedFromArgs(fn: FunctionDefinition, args: Argument[], onlyConflicting: boolean): string { | CODE |
| LOW | hardhat/hardhat-exposed/internal/expose.ts | 621 | function getAllStorageArgumentsFromCache( | CODE |
| LOW | hardhat/hardhat-exposed/internal/expose.ts | 631 | function getFunctionReturnParameters( | CODE |
| LOW | hardhat/hardhat-exposed/internal/build-info.ts | 3 | export async function compilationJobToAstOnlyBuildInfo(compilationJob: CompilationJob): Promise<SolidityBuildInfo> { | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM⚡ | .github/workflows/release-cycle.yml | 4 | # ┌───────────┐ ┌─────────────┐ ┌────────────────┐ | COMMENT |
| MEDIUM⚡ | .github/workflows/release-cycle.yml | 6 | # └───────────┘ └─┬─────────▲─┘ │ └─┬────────────▲─┘ | COMMENT |
| MEDIUM⚡ | .github/workflows/release-cycle.yml | 10 | # ┌▼─────────┴┐ │ ┌▼────────────┴┐ | COMMENT |
| MEDIUM⚡ | .github/workflows/release-cycle.yml | 12 | # └───────────┘ └──────────────┘ | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | test/access/manager/AccessManager.test.js | 81 | user, | COMMENT |
| LOW | test/utils/cryptography/ERC1271.behavior.js | 101 | it('returns false for a malformed contents descriptor', async function () { | COMMENT |
| LOW | test/account/paymaster/PaymasterERC20Guarantor.test.js | 41 | const paymasterDomain = await getDomain(paymaster); | COMMENT |
| LOW | scripts/list-dependencies.js | 1 | #!/usr/bin/env node | COMMENT |
| LOW | .github/workflows/fv-certora.yml | 61 | # tracked ones: `contracts/<p>`, plus `fv/diff/<p, with / written as _>.patch` applied on | COMMENT |
| LOW | .github/workflows/release-cycle.yml | 1 | # D: Manual Dispatch | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW | test/utils/RLP.test.js | 214 | 'Lorem ipsum dolor sit amet, consectetur adipisicing elit', | CODE |
| LOW | test/utils/RLP.test.js | 214 | 'Lorem ipsum dolor sit amet, consectetur adipisicing elit', | CODE |
| LOW | test/utils/Bytes.test.js | 23 | 'Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna a | CODE |
| LOW | test/utils/Bytes.test.js | 23 | 'Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna a | CODE |
| LOW | test/utils/SlotDerivation.test.js | 50 | { type: 'string', key: 'lorem ipsum', isValueType: false }, | CODE |
| LOW | test/utils/StorageSlot.test.js | 20 | { name: 'String', type: 'string', value: 'lorem ipsum', isValueType: false, zero: '' }, | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW⚡ | test/utils/cryptography/ERC1271.behavior.js | 102 | // Step 1: a malicious actor manages to get the user to sign a message that is not the one the app expects, bu | COMMENT |
| LOW⚡ | test/utils/cryptography/ERC1271.behavior.js | 111 | // Step 2: the malicious actor uses the signature with a contentsHash of its choosing. | COMMENT |
| LOW | test/utils/cryptography/ERC1271.behavior.js | 127 | // Step 3: the malicious actor submits the signature to the verifier, which must reject it. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| LOW⚡ | test/utils/cryptography/ERC1271.behavior.js | 102 | // Step 1: a malicious actor manages to get the user to sign a message that is not the one the app expects, bu | COMMENT |
| LOW⚡ | test/utils/cryptography/ERC1271.behavior.js | 111 | // Step 2: the malicious actor uses the signature with a contentsHash of its choosing. | COMMENT |
| LOW | test/utils/cryptography/ERC1271.behavior.js | 127 | // Step 3: the malicious actor submits the signature to the verifier, which must reject it. | COMMENT |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| HIGH | scripts/gen-nav.js | 76 | print( | CODE |
| Severity | File | Line | Snippet | Context |
|---|---|---|---|---|
| MEDIUM | .github/workflows/fv-certora.yml | 60 | # A harness imports `../patched/<p>`, and `make -C fv apply` builds that file out of two | COMMENT |