Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
91f31dc234bbc98f3dd20e6741a7b0b98c7916bf
/
test
/
Analysis
/
NSString.m
565e465
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
by Ted Kremenek
· 15 years ago
951b334
Enhance ScanReachableSymbols::scan(). Now another OSAtomic test case passes.
by Zhongxing Xu
· 15 years ago
604848a
Enhance SVals::getAsRegion: get the region that is converted to an integer.
by Zhongxing Xu
· 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
6bcd5a0
Fix null dereference in OSAtomicChecker and special case SymbolicRegions. We still aren't handling them correctly; I've added to failing test cases to test/Analysis/NSString-failed-cases.m that should pass and then be merged in to test/Analysis/NSString.m.
by Ted Kremenek
· 15 years ago
2f4a6b2
OSAtomic simulation: use the original region as the location to load from,
by Zhongxing Xu
· 15 years ago
63e963c
Handle case of missing '@end' in implementation context
by Fariborz Jahanian
· 15 years ago
8382cf5
Add clang-cc option "--analyzer-experimental-internal-checks". This
by Ted Kremenek
· 15 years ago
4fcfde4
Eliminate &&s in tests.
by Daniel Dunbar
· 15 years ago
45f7c27
Per an astute observation from Zhongxing Xu, remove a "special case" logic in
by Ted Kremenek
· 15 years ago
f7a0cf4
Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only
by Ted Kremenek
· 15 years ago
0aeaf5a
Add another analyzer test case involving an OSAtomic function.
by Ted Kremenek
· 15 years ago
4393b3f
Prep for new warning.
by Mike Stump
· 15 years ago
ba02486
This test now passes with RegionStore.
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
c219a15
Remove the -arch option from clang-cc: for all practical purposes, it's
by Eli Friedman
· 15 years ago
2033a95
Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added autorelease tracking.
by Ted Kremenek
· 15 years ago
95d3b90
Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] autorelease]' would emit a false 'too many overreleases' error.
by Ted Kremenek
· 15 years ago
9251143
Fix: <rdar://problem/6850275> CF objects returned from methods with "new" or "copy" in their name should be treated as owned
by Ted Kremenek
· 15 years ago
b3b0b36
Add CFG support for @synchronized. This fixes <rdar://problem/6848820>.
by Ted Kremenek
· 16 years ago
9810472
Add function prototype for OSAtomicCompareAndSwap32Barrier.
by Ted Kremenek
· 16 years ago
a3f4540
Add test case for transfer function logic for OSCompareAndSwap32Barrier.
by Ted Kremenek
· 16 years ago
97d095f
Further cleanups to isTrackedObjectType().
by Ted Kremenek
· 16 years ago
f9df136
retain/release checker: Don't call isTrackedObject() with the canonical type.
by Ted Kremenek
· 16 years ago
829bf50
Temporarily remove expected warnings.
by Ted Kremenek
· 16 years ago
e87450e
Per discussions with Ken Ferry and Paul Marks (<rdar://problem/6815234>) greatly
by Ted Kremenek
· 16 years ago
09f1419
Added over-release test case.
by Ted Kremenek
· 16 years ago
b3bf76f
Add analyzer support for objc_atomicCompareAndSwap()
by Ted Kremenek
· 16 years ago
1670e40
Implement analyzer support for OSCompareAndSwap. This required pushing "tagged"
by Ted Kremenek
· 16 years ago
d7d5f02
Rename clang to clang-cc.
by Daniel Dunbar
· 16 years ago
9457a80
Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager.
by Ted Kremenek
· 16 years ago
be1fe1e
Static Analyzer driver/options (partial) cleanup:
by Ted Kremenek
· 16 years ago
043254a
Update test case.
by Ted Kremenek
· 16 years ago
cf118d4
Overhaul BugReporter interface and implementation. The new interface cleans up
by Ted Kremenek
· 16 years ago
3148eb4
More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup.
by Ted Kremenek
· 16 years ago
f536ca3
These test cases now pass 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
234a4c2
This commit reflects changes to the retain/release checker motivated by my
by Ted Kremenek
· 16 years ago
784606f
Added test case for suppressing leak warnings for reference-counted objects passed by-reference to an unknown function.
by Ted Kremenek
· 16 years ago
2fb78a7
CF-retain/release checker:
by Ted Kremenek
· 16 years ago
4489fe1
Add EXTWARN Diagnostic class.
by Daniel Dunbar
· 16 years ago
aeca963
Skip the "-dealloc" check if a ObjC class contains no ivars.
by Ted Kremenek
· 16 years ago
db09a4d
Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc].
by Ted Kremenek
· 16 years ago
859be3b
Move NSString.m test case from Analysis-Apple to Analysis. The test case now works on all platforms.
by Ted Kremenek
· 16 years ago