pub struct DebugCodeDetector { /* private fields */ }Implementations§
Trait Implementations§
Source§impl Detector for DebugCodeDetector
impl Detector for DebugCodeDetector
Source§fn description(&self) -> &'static str
fn description(&self) -> &'static str
Human-readable description of what this detector finds
Source§fn requires_graph(&self) -> bool
fn requires_graph(&self) -> bool
Whether this detector requires the full code graph to be built. Read more
Source§fn file_extensions(&self) -> &'static [&'static str]
fn file_extensions(&self) -> &'static [&'static str]
File extensions this detector processes. Read more
Source§fn detect(&self, ctx: &AnalysisContext<'_>) -> Result<Vec<Finding>>
fn detect(&self, ctx: &AnalysisContext<'_>) -> Result<Vec<Finding>>
Run detection and return findings Read more
Source§fn is_dependent(&self) -> bool
fn is_dependent(&self) -> bool
Whether this detector depends on results from other detectors Read more
Source§fn dependencies(&self) -> Vec<&'static str>
fn dependencies(&self) -> Vec<&'static str>
Optional: Dependencies on other detectors Read more
Source§fn config(&self) -> Option<&DetectorConfig>
fn config(&self) -> Option<&DetectorConfig>
Get the configuration for this detector
Source§fn scope(&self) -> DetectorScope
fn scope(&self) -> DetectorScope
Scope of this detector - determines when it needs to re-run Read more
Source§fn detector_scope(&self) -> DetectorScope
fn detector_scope(&self) -> DetectorScope
Returns the scope of this detector for incremental analysis.
FileLocal: re-run only on changed files
FileScopedGraph: re-run for changed files’ entities
GraphWide: re-run if graph topology changes
Source§fn set_precomputed_taint(&self, _cross: Vec<TaintPath>, _intra: Vec<TaintPath>)
fn set_precomputed_taint(&self, _cross: Vec<TaintPath>, _intra: Vec<TaintPath>)
Inject pre-computed taint analysis results into this detector. Read more
Source§fn taint_category(&self) -> Option<TaintCategory>
fn taint_category(&self) -> Option<TaintCategory>
Return the taint category this detector uses, if any. Read more
Source§fn content_requirements(&self) -> ContentFlags
fn content_requirements(&self) -> ContentFlags
Content flags required for files this detector processes. Read more
Source§fn is_deterministic(&self) -> bool
fn is_deterministic(&self) -> bool
Whether this detector produces mathematically deterministic results. Read more
Source§fn is_network_bound(&self) -> bool
fn is_network_bound(&self) -> bool
Whether this detector makes network calls (e.g., API requests).
Network-bound detectors are skipped in incremental mode and their
cached findings are carried forward instead.
Source§fn bypass_postprocessor(&self) -> bool
fn bypass_postprocessor(&self) -> bool
Whether this detector’s findings should bypass GBDT postprocessor filtering.
High-precision pattern-based detectors should return true.
Source§impl RegisteredDetector for DebugCodeDetector
impl RegisteredDetector for DebugCodeDetector
fn create(init: &DetectorInit<'_>) -> Arc<dyn Detector> ⓘ
Source§fn max_tier() -> Tier
fn max_tier() -> Tier
The highest tier this detector may emit. Default
Advisory; deep-only detectors return
Deep; detectors on BLOCKING_ALLOWLIST return Blocking. This is a CEILING, not a
promise — a detector with max_tier() == Blocking still emits Advisory on findings that
don’t clear its narrow predicate. Enforced (downgrade-only) in enforce_blocking_invariant.Auto Trait Implementations§
impl Freeze for DebugCodeDetector
impl RefUnwindSafe for DebugCodeDetector
impl Send for DebugCodeDetector
impl Sync for DebugCodeDetector
impl Unpin for DebugCodeDetector
impl UnsafeUnpin for DebugCodeDetector
impl UnwindSafe for DebugCodeDetector
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more