From a40a357b0817b43e0ff639ce03733431743c225d Mon Sep 17 00:00:00 2001 From: Zhongxing Xu Date: Sat, 25 Oct 2008 14:56:36 +0000 Subject: [PATCH] Add a note file for SCA module. Is it the right place? git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58140 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/NOTES.TXT | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 lib/Analysis/NOTES.TXT diff --git a/lib/Analysis/NOTES.TXT b/lib/Analysis/NOTES.TXT new file mode 100644 index 0000000000..2c92bf033e --- /dev/null +++ b/lib/Analysis/NOTES.TXT @@ -0,0 +1,14 @@ +//===----------------------------------------------------------------------===// +// Random notes for the static analysis module. +//===----------------------------------------------------------------------===// + +Currently the analyzer with basic store will report false alarm for such code: + +p[0] = "/bin/sh"; +p[1] = NULL; + +execv(p[0], argv); + +This is because BasicStore "collapses" all elements of an array into their base +region. BasicStore should return UnknownVal() when getLValueElement. But that +way will break current test in null-deref-ps.c. \ No newline at end of file -- 2.50.1