Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
ec07557a1e43ca0e7d0b6af0e69e18caaf1f0635
/
test
/
Analysis
/
stack-addr-ps.c
99c06be
Teach analyzer that blocks with no captures are globals. Fixes <rdar://problem/10348049>.
by Ted Kremenek
· 13 years ago
a4c7a43
Really remove FlatStoreManager and BasicStoreManager, this time from the driver. Also remove associated tests. Sorry for the messy commits; this is the result of a botched Git merge.
by Ted Kremenek
· 13 years ago
8829989
[analyzer] Overhaul how the static analyzer expects CFGs by forcing CFGs to be linearized only when used by the static analyzer. This required a rewrite of LiveVariables, and exposed a ton of subtle bugs.
by Ted Kremenek
· 13 years ago
c4d2c90
[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award.
by Argyrios Kyrtzidis
· 14 years ago
1034870
[analyzer] Migrate BuiltinFunctionChecker to CheckerV2.
by Argyrios Kyrtzidis
· 14 years ago
b8d545c
Update test cases.
by Ted Kremenek
· 14 years ago
027a6ab
[analyzer] Use the new registration mechanism on some of the internal checks. These are:
by Argyrios Kyrtzidis
· 14 years ago
a816615
Tweak stack address checker to report multiple cases where globals may reference stack memory.
by Ted Kremenek
· 14 years ago
565e465
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
by Ted Kremenek
· 15 years ago
7960ec3
Fix broken diagnostic when returning the address of a stack-allocated array.
by Ted Kremenek
· 15 years ago
a572887
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.
by Daniel Dunbar
· 15 years ago
ef74f4c
Replace clang-cc with clang -cc1.
by Zhongxing Xu
· 15 years ago
a1c5716
Improve diagnostics in ReturnStackAddressChecker for returning a stack-allocated block. Implements the rest of <rdar://problem/7387385>.
by Ted Kremenek
· 15 years ago
d8aefab
Drop unnecessary #include.
by Daniel Dunbar
· 15 years ago
4fcfde4
Eliminate &&s in tests.
by Daniel Dunbar
· 15 years ago
f7a0cf4
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
by Ted Kremenek
· 15 years ago
c037eac
Switch BasicStoreManager to use the new CastRegion implementation by default,
by Ted Kremenek
· 15 years ago
e1cea75
Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'.
by Ted Kremenek
· 15 years ago
dc14726
Enhance RegionStore to lazily symbolicate fields and array elements for
by Ted Kremenek
· 15 years ago
dac5bd4
Temporarily disable RegionStore for stack-addr-ps.c, as a new test case reveals
by Ted Kremenek
· 15 years ago
6c07bdb
Introduce a new concept to the static analyzer: SValuator.
by Ted Kremenek
· 15 years ago
759f252
PR3009: Get rid of bogus warning for scalar compound literals.
by Eli Friedman
· 15 years ago
d7d5f02
Rename clang to clang-cc.
by Daniel Dunbar
· 16 years ago
e1d77c3
Fix test: config.h is not guaranteed to exist at the location in
by Eli Friedman
· 16 years ago
4b2d0dd
Eliminate dependency on where test is run from.
by Daniel Dunbar
· 16 years ago
61a3778
Don't include alloca.h if it doesn't exist.
by Ben Laurie
· 16 years ago
be1fe1e
Static Analyzer driver/options (partial) cleanup:
by Ted Kremenek
· 16 years ago
b78284a
This test case now passes with RegionStore.
by Ted Kremenek
· 16 years ago
d427023
Add -analyze action to run static analyzer, instead of inferring from
by Daniel Dunbar
· 16 years ago
6eddeb1
MemRegion:
by Ted Kremenek
· 16 years ago
cfec1db
Temporarily XFAIL these tests.
by Ted Kremenek
· 16 years ago
31483b4
include alloca.h instead of malloc.h. If this doesn't work for everyone we can just declare alloca directly in the file.
by Anders Carlsson
· 16 years ago
ff6ec39
Bring in 'alloca' for the Analysis/stack-addr-ps.c test case.
by Argyrios Kyrtzidis
· 16 years ago
c979a9b
Add 'alloca' test case for return-of-stack-address checker.
by Ted Kremenek
· 16 years ago
beb62c5
Added missing 'expected-warning'
by Ted Kremenek
· 16 years ago
fab6f22
Enhance compound literal test case.
by Ted Kremenek
· 16 years ago
64cc62d
Add missing "expected warning".
by Ted Kremenek
· 16 years ago
d4a0798
Improve compound literal test case.
by Ted Kremenek
· 16 years ago
c532f63
Add 'expected-warning' for braces around scalar initializer
by Ted Kremenek
· 16 years ago
194aade
Added compound literal test case.
by Ted Kremenek
· 16 years ago
22bda88
Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned.
by Ted Kremenek
· 16 years ago
d71ed26
Refactored all logic to run the GRSimpleVals and CFRef checker into a common
by Ted Kremenek
· 17 years ago
02737ed
Added path-sensitive check for return statements that return the address
by Ted Kremenek
· 17 years ago