Skip to content

Commit 5d811c2

Browse files
committed
Apply changes from code browser
Apply changes from code browser
1 parent 6f87445 commit 5d811c2

File tree

1 file changed

+6
-1
lines changed
  • clang/include/clang/Analysis/Analyses/LifetimeSafety

1 file changed

+6
-1
lines changed

clang/include/clang/Analysis/Analyses/LifetimeSafety/Checker.h

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,12 @@
55
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
66
//
77
//===----------------------------------------------------------------------===//
8-
// TODO: Complete me.
8+
//
9+
// This file defines the LifetimeChecker, which detects use-after-free errors
10+
// by checking if live origins hold loans that have expired. It combines the
11+
// results of loan propagation and liveness analysis to report violations with
12+
// appropriate confidence levels.
13+
//
914
//===----------------------------------------------------------------------===//
1015
#ifndef LLVM_CLANG_ANALYSIS_ANALYSES_LIFETIMESAFETY_CHECKER_H
1116
#define LLVM_CLANG_ANALYSIS_ANALYSES_LIFETIMESAFETY_CHECKER_H

0 commit comments

Comments
 (0)