MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / UseAfterFreeDetector

Class UseAfterFreeDetector

src/detector/memory/use_after_free.rs:25–27  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

23use crate::detector::report::{Report, ReportContent};
24
25pub struct UseAfterFreeDetector<'tcx> {
26 tcx: TyCtxt<'tcx>,
27}
28
29impl<'tcx> UseAfterFreeDetector<'tcx> {
30 pub fn new(tcx: TyCtxt<'tcx>) -> Self {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected