2.6

Adjusted Signal

2.6

Raw Pattern Score

100%

Time Factor

2026-10-31

Last Push

3.5K

Stars

Rust

Language

597.3K

Lines of Code

1.4K

Files

1.3K

Pattern Hits

2026-10-31

Scan Date

0.02

HC Hit Rate

Risk Review · Payload v1

Use each vector to guide manual verification of the underlying findings.

Payload schema: 1.0.0 · Engine: 2.0.0 · Scoring: heuristic-density-v1 · Scan date: 2026-10-31.

Cognitive Ownership Risk 9.5/100 · LOW

Can maintainers explain intent, assumptions, and trade-offs? 1188 finding(s).

Hallucinated Dependency & Supply Chain Risk 1.8/100 · LOW

Are imports declared and package/API names verified? 25 finding(s).

Agent Over-Engineering Ratio 1.3/100 · LOW

Are wrappers, guards, and repeated structures necessary? 45 finding(s).

PR Review Velocity Impact 12.3/100 · LOW

Which changes need focused human review? 1256 finding(s).

What These Metrics Mean

Adjusted Signal: Legacy pattern score normalized per 1,000 scanned lines and multiplied by the repository-level time factor. It is not an estimate of AI authorship.
Raw Pattern Score: Sum of severity- and context-weighted pattern findings before applying the time factor.
Time Factor: A coarse multiplier based on repository last-push metadata. It does not identify when individual code was written.
Pattern Hits: Count of configured pattern findings. Review each location and surrounding code before acting.
HC Hit Rate: High- and critical-severity findings per scanned file. Severity is a configured detector weight, not proof of a vulnerability or authorship.
Lines / Files: Scan coverage denominators used by the legacy normalized score.

Pattern-Signal History

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.

Severity Breakdown

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.

CRITICAL 21HIGH 1MEDIUM 59LOW 1175

Directory Score Breakdown

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.

Pattern Findings

The scanner identified 1256 distinct pattern matches across 14 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.

Over-Commented Block1141 hits · 1092 pts

Severity	File	Line	Snippet	Context
LOW	tools/vargo/src/util.rs	1	// Some of the code in this file is copied from https://github.com/rust-lang/cargo/blob/cee088b0db01076deb11c037fe8b64b2	COMMENT
LOW	tools/verita/src/main.rs	21	/// Base of the Verus repository	COMMENT
LOW	source/Cargo.toml	101	'cfg(verus_verify_core)',	COMMENT
LOW	source/verusdoc/src/main.rs	61		COMMENT
LOW	source/verusdoc/src/main.rs	81	// </div>	COMMENT
LOW	source/tools/coverage.sh	1	#!/usr/bin/env bash	COMMENT
LOW	source/tools/line_count/src/config.rs	1	#[derive(Clone, Copy, Debug, clap::Parser)]	COMMENT
LOW	source/tools/bump_crate_versions/src/main.rs	21		COMMENT
LOW	source/vstd/simple_pptr.rs	1	use super::layout::*;	COMMENT
LOW	source/vstd/simple_pptr.rs	21	/// to and from the `usize` address. What _really_ matters is the type paramter of the	COMMENT
LOW	source/vstd/simple_pptr.rs	41	/// * [`MemContents::Init(v)`](raw_ptr::MemContents::Init) if the memory points-to the	COMMENT
LOW	source/vstd/simple_pptr.rs	61	/// // ALLOCATE	COMMENT
LOW	source/vstd/simple_pptr.rs	81	///	COMMENT
LOW	source/vstd/simple_pptr.rs	101	///	COMMENT
LOW	source/vstd/simple_pptr.rs	121	/// // ALLOCATE p	COMMENT
LOW	source/vstd/simple_pptr.rs	141	/// * Since `PPtr` is just a pointer (represented by an integer), it can be `Copy`.	COMMENT
LOW	source/vstd/simple_pptr.rs	181	/// Cast a pointer to an integer.	COMMENT
LOW	source/vstd/pervasive.rs	41	type Decrease;	COMMENT
LOW	source/vstd/pervasive.rs	161	/// #[spec(checked)] fn some_predicate(a: nat) -> bool {	COMMENT
LOW	source/vstd/pervasive.rs	221	/// a contradiction.	COMMENT
LOW	source/vstd/pervasive.rs	261	/// `K`, `V`, and `Pred: InvariantPredicate`.	COMMENT
LOW	source/vstd/pervasive.rs	281	/// ( (pub)? $field_name: $type, )*	COMMENT
LOW	source/vstd/pervasive.rs	301	/// struct declaration. The macro uses invariant declarations to fill in the type parameters.	COMMENT
LOW	source/vstd/pervasive.rs	321	///	COMMENT
LOW	source/vstd/pervasive.rs	341	/// from the struct definition) that may be referenced from	COMMENT
LOW	source/vstd/pervasive.rs	361	///	COMMENT
LOW	source/vstd/tokens.rs	21	};	COMMENT
LOW	source/vstd/tokens.rs	61	/// Though the first argument is mutable, the value is not really mutated;	COMMENT
LOW	source/vstd/tokens.rs	101		COMMENT
LOW	source/vstd/tokens.rs	181	/// \| VerusSync Strategy \| Field type \| Token trait \|	COMMENT
LOW	source/vstd/tokens.rs	221	/// Interface for VerusSync tokens created for a field marked with the `bool` or	COMMENT
LOW	source/vstd/layout.rs	21		COMMENT
LOW	source/vstd/layout.rs	121	size_of::<V>() as usize as nat == size_of::<V>(),	COMMENT
LOW	source/vstd/utf8.rs	1	//! Definitions for UTF-8 encoding and decoding of character sequences.	COMMENT
LOW	source/vstd/iset_lib.rs	41	/// we can write either `s.map(\|i: int\| (i, 10 * i))`	COMMENT
LOW	source/vstd/iset_lib.rs	1501	ensures	COMMENT
LOW	source/vstd/cell.rs	21		COMMENT
LOW	source/vstd/cell.rs	41	///	COMMENT
LOW	source/vstd/set_lib.rs	41	/// such that `rev(fwd(a)) == a`.	COMMENT
LOW	source/vstd/set_lib.rs	1401	///	COMMENT
LOW	source/vstd/thread.rs	61	///	COMMENT
LOW	source/vstd/thread.rs	81	///	COMMENT
LOW	source/vstd/vstd.rs	1	//! The "standard library" for [Verus](https://github.com/verus-lang/verus).	COMMENT
LOW	source/vstd/vstd.rs	161	// This allows us to use `$crate::vstd` or `crate::vstd` to refer to vstd	COMMENT
LOW	source/vstd/atomic_ghost.rs	221	/// [`AtomicI64`], [`AtomicI32`], [`AtomicI16`], [`AtomicI8`], and [`AtomicBool`].	COMMENT
LOW	source/vstd/atomic_ghost.rs	241	/// Here, the `$operation_name` is one of `load`, `store`, etc. Meanwhile,	COMMENT
LOW	source/vstd/atomic_ghost.rs	261	/// \| `compare_exchange_weak(x, y)` \| `prev == x && next == y && ret == Ok(prev)` ("success") OR<br> `next == prev && re	COMMENT
LOW	source/vstd/atomic_ghost.rs	281	///	COMMENT
LOW	source/vstd/atomic_ghost.rs	301	/// let result = atomic_with_ghost!(	COMMENT
LOW	source/vstd/imap.rs	1	#![allow(unused_imports)]	COMMENT
LOW	source/vstd/imap.rs	21	/// * [`IMap::empty()`] constructs an empty map.	COMMENT
LOW	source/vstd/imap.rs	381	///	COMMENT
LOW	source/vstd/imap.rs	401	///	COMMENT
LOW	source/vstd/seq.rs	921	///	COMMENT
LOW	source/vstd/seq.rs	1041	/// ## Example	COMMENT
LOW	source/vstd/seq.rs	1061	/// let t = s.update(2, -5);	COMMENT
LOW	source/vstd/seq.rs	1101	#[verifier::inline]	COMMENT
LOW	source/vstd/function.rs	1	use super::prelude::*;	COMMENT
LOW	source/vstd/multiset.rs	21	///	COMMENT
LOW	source/vstd/multiset.rs	41	// (1) representing multiplicity by an ordinal or cardinal or something	COMMENT
1081 more matches not shown…

Hallucination Indicators21 hits · 210 pts

Severity	File	Line	Snippet	Context
CRITICAL	source/vir/src/ast_simplify.rs	1250	typ: function.x.outer_ret.x.typ.clone(),	CODE
CRITICAL	source/vir/src/ast_simplify.rs	1274	name: function.x.outer_ret.x.name.clone(),	CODE
CRITICAL	source/vir/src/ast_simplify.rs	1275	a: function.x.outer_ret.x.typ.clone(),	CODE
CRITICAL	source/vir/src/ast_to_sst_func.rs	259	let future_typ = function.x.outer_ret.x.typ.clone();	CODE
CRITICAL	source/vir/src/ast_to_sst_func.rs	260	let output_typ = function.x.inner_ret.x.typ.clone();	CODE
CRITICAL	source/vir/src/ast_to_sst_func.rs	280	ExprX::Var(function.x.outer_ret.x.name.clone()),	CODE
CRITICAL	source/vir/src/ast_to_sst_func.rs	305	ExprX::Var(function.x.outer_ret.x.name.clone()),	CODE
CRITICAL	source/vir/src/ast_to_sst_func.rs	320	function.x.inner_ret.x.name.clone(),	CODE
CRITICAL	source/vir/src/ast_to_sst_func.rs	611	trait_function.x.outer_ret.x.name.clone(),	CODE
CRITICAL	source/vir/src/ast_to_sst_func.rs	612	function.x.outer_ret.x.name.clone(),	CODE
CRITICAL	source/vir/src/ast_to_sst_func.rs	924	let non_default_ensure = &lo_inheritance.function.x.ensure.0.clone();	CODE
CRITICAL	source/vir/src/ast_to_sst_func.rs	938	for expr in lo_current.function.x.ensure.0.iter().chain(lo_current.function.x.ensure.1.iter()) {	CODE
CRITICAL	source/state_machines_macros/src/lemmas.rs	110	if l.func.sig.generics.params.len() > 0 {	CODE
CRITICAL	source/rustc_mir_build/src/builder/mod.rs	270	let ids = (id.0.owner.def_id.local_def_index.as_usize(), id.0.local_id);	CODE
CRITICAL	source/rustc_mir_build/src/builder/mod.rs	275	dbg!(real_id.0.owner.def_id.local_def_index.as_usize());	CODE
CRITICAL	source/rust_verify/src/test_observer.rs	162	f.x.name.path.segments.last().map(\|s\| s.friendly_name()).unwrap_or_default()	CODE
CRITICAL	source/rust_verify/src/rust_to_vir_trait.rs	652	f.function.x.name.path.segments.last().expect("method name last").to_string();	CODE
CRITICAL	source/rust_verify/src/rust_to_vir_trait.rs	666	f.function.x.name.path.segments.last().expect("method name last").to_string();	CODE
CRITICAL	…build_additional_files/verus_time_travel_prevention.rs	1214	let v_id = v.0.owner.def_id.local_def_index.as_usize();	CODE
CRITICAL	…build_additional_files/verus_time_travel_prevention.rs	1226	let v_id = v.0.owner.def_id.local_def_index.as_usize();	CODE
CRITICAL	…build_additional_files/verus_time_travel_prevention.rs	1245	v.0.owner.def_id.local_def_index.as_usize() + mod_idx,	CODE

Decorative Section Separators43 hits · 154 pts

Severity	File	Line	Snippet	Context
MEDIUM	tools/verita/scripts/summarize.py	124	# ── Single-run output ──────────────────────────────────────────────────────────	COMMENT
MEDIUM	tools/verita/scripts/summarize.py	195	# ── Single-run Markdown output ────────────────────────────────────────────────	COMMENT
MEDIUM	tools/verita/scripts/summarize.py	250	# ── Error summary (Markdown only) ─────────────────────────────────────────────	COMMENT
MEDIUM	tools/verita/scripts/summarize.py	295	# ── Two-run comparison output ──────────────────────────────────────────────────	COMMENT
MEDIUM	tools/verita/scripts/summarize.py	500	# ── Two-run comparison Markdown output ────────────────────────────────────────	COMMENT
MEDIUM	tools/verita/scripts/summarize.py	619	# ── Main ───────────────────────────────────────────────────────────────────────	COMMENT
MEDIUM	tools/verita/src/dependencies.rs	99	// ── String form ──────────────────────────────────────────────────────────	COMMENT
MEDIUM	tools/verita/src/dependencies.rs	112	// ── Table form ───────────────────────────────────────────────────────────	COMMENT
MEDIUM	source/vstd/atomic.rs	754	/// ├──────────────────────────────┤●├─────────────────────────┤	COMMENT
MEDIUM	source/docs/guide/custom-admonitions.py	9	# ---------------------------------------------------------------------------	COMMENT
MEDIUM	source/docs/guide/custom-admonitions.py	11	# ---------------------------------------------------------------------------	COMMENT
MEDIUM	source/docs/guide/verus-grammar.py	67	# ---------------------------------------------------------------------------	COMMENT
MEDIUM	source/docs/guide/verus-grammar.py	69	# ---------------------------------------------------------------------------	COMMENT
MEDIUM	source/docs/guide/verus-grammar.py	188	# ---------------------------------------------------------------------------	COMMENT
MEDIUM	source/docs/guide/verus-grammar.py	190	# ---------------------------------------------------------------------------	COMMENT
MEDIUM	source/docs/guide/verus-grammar.py	299	# ---------------------------------------------------------------------------	COMMENT
MEDIUM	source/docs/guide/verus-grammar.py	301	# ---------------------------------------------------------------------------	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	111	// ┌─────────────────────────────────┐	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	114	// │ ┌───────────────────────────┐ │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	116	// │ └───────────────────────────┘ │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	117	// │ ┌───────────────────────────┐ │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	120	// │ │ ┌─────────────────────┐ │ │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	122	// │ │ └─────────────────────┘ │ │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	126	// │ │ ┌─────────────────────┐ │ │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	128	// │ │ └─────────────────────┘ │ │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	129	// │ └───────────────────────────┘ │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	130	// └─────────────────────────────────┘	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	134	// ┌────────▼───────┐	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	136	// └────────┬───────┘	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	137	// │ ┌────────────────┐	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	138	// ┌────────▼───────┐ │Drop temporaries│	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	139	// │Test the pattern├──────►in y() │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	140	// └────────┬───────┘ │because breaking│	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	142	// ┌────────▼───────┐ │scope │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	143	// │Move value into │ └───────┬────────┘	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	145	// └────────┬───────┘ ┌───────▼────────┐	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	147	// ┌────────▼───────┐ │temporaries in │	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	151	// │out of <expr> │ └───────┬────────┘	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	153	// └────────┬───────┘ ┌───────▼────────┐	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	154	// │ │Enter <else> ├────────►	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	155	// ┌────────▼───────┐ │block │ return;	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	156	// │Continue... │ └────────────────┘	COMMENT
MEDIUM⚡	source/rustc_mir_build/src/builder/block.rs	157	// └────────────────┘	COMMENT

AI Slop Vocabulary14 hits · 41 pts

Severity	File	Line	Snippet	Context
MEDIUM	source/vstd/arithmetic/internals/mod_internals.rs	301	/// and `r == x % n`. Essentially, this is the converse of the	COMMENT
MEDIUM	source/builtin_macros/src/attr_rewrite.rs	1279	// function body, to enable seamless use of unverified call to the function in	COMMENT
MEDIUM	source/builtin_macros/src/lib.rs	604	/// Below is a non-exhaustive list of supported spec expressions. Items marked with a \* utilize unverified translations	COMMENT
MEDIUM	source/rust_verify_test/tests/bitvector.rs	202	ensures(forall \|i: u64\| (1u64 << i) > 0); // Although this line should be reported instead of the above line	CODE
MEDIUM	source/vir/src/resolution_types.rs	76	/// Definitely has no resolvedness, no need to recurse (e.g., &T)	COMMENT
MEDIUM	source/vir/src/well_formed.rs	874	// REVIEW: not robust to normalization	COMMENT
MEDIUM	source/vir/src/interpreter.rs	796	// TODO: Make the matching here more robust to changes in vstd	COMMENT
MEDIUM	source/vir/src/interpreter.rs	885	// TODO: Make the matching here more robust to changes in vstd	COMMENT
MEDIUM	source/vir/src/interpreter.rs	914	// TODO: More robust way of pointing to vstd's sequence functions	COMMENT
MEDIUM	source/state_machines_macros/src/simplify_asserts.rs	8	/// Essentially, we replace	COMMENT
MEDIUM	source/rustc_mir_build/src/thir/pattern/check_match.rs	305	// Essentially a field access.	COMMENT
MEDIUM	source/rustc_hir_analysis/src/collect/clauses_of.rs	526	// FIXME(return_type_notation): This check should be more robust	COMMENT
MEDIUM	…urce/rustc_hir_analysis/src/check/compare_impl_item.rs	1832	// FIXME: Keep spans for function parentheses around to make this more robust.	COMMENT
MEDIUM	examples/guide/higher_order_fns.rs	183	// Inside the closure, we have seamless access to	COMMENT

Structural Annotation Overuse9 hits · 14 pts

Severity	File	Line	Snippet	Context
LOW	BUILD.md	19	## Step 1: Setup Z3	COMMENT
LOW	BUILD.md	36	## Step 2: Ensure you have a recent rustup installed	COMMENT
LOW	BUILD.md	42	## Step 3: Build Verus	COMMENT
LOW	source/state_machines_macros/src/simplification.rs	180	// Step 1: Collect any field which is newly updated in any branch.	COMMENT
LOW	source/state_machines_macros/src/simplification.rs	192	// Step 2: For each field and each branch, check if it needs to be	COMMENT
LOW	source/rustc_mir_build_additional_files/verus.rs	1313	// Step 1: Get the Verus capture set	COMMENT
LOW	source/rustc_hir_analysis/src/hir_ty_lowering/mod.rs	3833	// Step 1: check that every field is unique, and keep a list of field that we know are	COMMENT
LOW	source/rustc_hir_analysis/src/hir_ty_lowering/mod.rs	3853	// Step 2: check that the viewed type is a struct.	COMMENT
LOW	source/rustc_hir_analysis/src/hir_ty_lowering/mod.rs	3876	// Step 3: check that every viewed field exists.	COMMENT

Verbosity Indicators7 hits · 10 pts

Severity	File	Line	Snippet	Context
LOW	source/state_machines_macros/src/simplification.rs	180	// Step 1: Collect any field which is newly updated in any branch.	COMMENT
LOW	source/state_machines_macros/src/simplification.rs	192	// Step 2: For each field and each branch, check if it needs to be	COMMENT
LOW	source/rust_verify/src/external.rs	649	/// So when we come across an autoderive struct, we need to check if	COMMENT
LOW	source/rustc_mir_build_additional_files/verus.rs	1313	// Step 1: Get the Verus capture set	COMMENT
LOW	source/rustc_hir_analysis/src/hir_ty_lowering/mod.rs	3833	// Step 1: check that every field is unique, and keep a list of field that we know are	COMMENT
LOW	source/rustc_hir_analysis/src/hir_ty_lowering/mod.rs	3853	// Step 2: check that the viewed type is a struct.	COMMENT
LOW	source/rustc_hir_analysis/src/hir_ty_lowering/mod.rs	3876	// Step 3: check that every viewed field exists.	COMMENT

Synthetic Comment Markers1 hit · 8 pts

Severity	File	Line	Snippet	Context
HIGH	CONTRIBUTING.md	33	### Policy for AI-generated and AI-assisted code	COMMENT

Example Usage Blocks4 hits · 6 pts

Severity	File	Line	Snippet	Context
LOW	source/rust_verify_test/tests/fndef_types.rs	999	// Example usage	COMMENT
LOW	source/rust_verify_test/tests/fndef_types.rs	1079	// Example usage	COMMENT
LOW	examples/statics.rs	150	// Example usage	COMMENT
LOW	examples/state_machines/tutorial/unverified_rc.rs	61	// Example usage	COMMENT

Deep Nesting5 hits · 5 pts

Severity	File	Line	Context
LOW	tools/verita/scripts/summarize.py	10	CODE
LOW	source/docs/guide/custom-admonitions.py	22	CODE
LOW	source/docs/guide/verus-grammar.py	71	CODE
LOW	source/docs/guide/verus-grammar.py	203	CODE
LOW	source/docs/guide/verus-grammar.py	78	CODE

TODO Padding3 hits · 4 pts

Severity	File	Line	Snippet	Context
LOW	source/builtin_macros/src/contrib/exec_spec.rs	171	// TODO: implement ExecSpecType for Option<T> so that	COMMENT
LOW	source/builtin_macros/src/contrib/exec_spec.rs	180	// TODO: implement ExecSpecType for Result<T, E> so that	COMMENT
LOW	source/builtin/src/lib.rs	739	// TODO: implement this (using unsafe) or mark function as ghost (if supported by Rust)	COMMENT

Fake / Example Data4 hits · 4 pts

Severity	File	Line	Snippet	Context
LOW	source/vstd/map.rs	50	dummy_key: core::marker::PhantomData<K>,	CODE
LOW	source/vstd/map.rs	51	dummy_value: core::marker::PhantomData<V>,	CODE
LOW	source/rustc_mir_build/src/builder/scope.rs	299	let fake_data =	CODE
LOW	source/rustc_mir_build/src/builder/scope.rs	301	let drop_nodes = IndexVec::from_raw(vec![DropNode { data: fake_data, next: DropIdx::MAX }]);	CODE

Self-Referential Comments1 hit · 3 pts

Severity	File	Line	Snippet	Context
MEDIUM	source/Makefile.toml	1	# This file contains task definitions for the `cargo-make` tool.	COMMENT

Slop Phrases1 hit · 3 pts

Severity	File	Line	Snippet	Context
MEDIUM	source/rustc_hir_analysis/src/check/wfcheck.rs	2484	#[note("you can use the `{$candidate}` lifetime directly, in place of `{$victim}`")]	COMMENT

Hyper-Verbose Identifiers2 hits · 2 pts

Severity	File	Line	Snippet	Context
LOW	tools/verita/scripts/summarize.py	502	def print_comparison_summary_md(old_results, new_results):	CODE
LOW	tools/verita/scripts/analyze.py	75	def read_json_files_into_projects(directory):	CODE

verus-lang/verus

Open-Source Code Quality, Security and Technical Debt Review