Vyper semantics
Use source or matching compiler semantics and retain effective analysis health.
Open-source CLI
Scan locally, preserve structured evidence, and enforce new-finding policy in CI without uploading source code.
$ vyper-guard analyze contracts/ --detectors recommendedUse source or matching compiler semantics and retain effective analysis health.
Run supported defaults and opt into experimental review rules deliberately.
Separate existing reviewed findings from risk introduced by a change.
Generate terminal, JSON, SARIF, Markdown, and standalone HTML.
Preview eligible corrections without hiding the original finding context.
Inspect state, functions, calls, complexity, and project relationships.
Terminal triage, GitHub annotations, automation, and audit evidence retain the same source and analysis context.
@externaldef set_fee(new_fee: uint256): assert new_fee <= MAX_FEE log FeeUpdated(old_fee, new_fee) self.fee = new_feeReviewers can now trace every fee-policy change on-chain.