maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Add a note file for SCA module. Is it the right place? 

llvm-svn: 58140
This commit is contained in:
Zhongxing Xu 2008-10-25 14:56:36 +00:00
parent 24eb3de4c2
commit 195839dd53
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
clang/lib/Analysis/NOTES.TXT Normal file
View File

@ -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.