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

Class InvalidFreeDetector

src/detector/memory/invalid_free.rs:31–33  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

29use crate::interest::memory::uninit::UninitApi;
30
31pub struct InvalidFreeDetector<'tcx> {
32 tcx: TyCtxt<'tcx>,
33}
34
35impl<'tcx> InvalidFreeDetector<'tcx> {
36 pub fn new(tcx: TyCtxt<'tcx>) -> Self {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected