blob: c20c9f01005c50746b697a38c4a7d290273e620e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
//===----------------------------------------------------------------------===//
// 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.
//===----------------------------------------------------------------------===//
Investigate what classes of exprs are passed silently in GRExprEngine::Visit().
One is PredefinedExpr.
|
