Log - 16c5378c1e3af09a33604e096b3fe20742fc629d - platform/external/clang

e576af2 Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>. by Ted Kremenek · 15 years ago
53e8484 Switch -f{builtin,math-errno,rtti} and -analyzer-purge-dead to -...no... variants instead of using llvm::cl::init(true) arguments. by Daniel Dunbar · 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
f8add9b Remove test case's dependency on platform headers. by Ted Kremenek · 15 years ago
ac50213 Add test case for PR 4759. by Ted Kremenek · 15 years ago
f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
f0549e2 Prep for new warning. by Mike Stump · 15 years ago
c26a8b0 Migrate the path-sensitive checking of 'nonnull' arguments over to the new by Ted Kremenek · 15 years ago
339d52a Prep for new warning. by Mike Stump · 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
6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
65d80fd Fix false positive null dereference by unifying code paths in GRSimpleVals for by Ted Kremenek · 16 years ago
1308f57 Update test case. by Ted Kremenek · 16 years ago
935022a Add another null pointer check test case. by Ted Kremenek · 16 years ago
2c0ccd0 Warn about invalid return statements by default. by Steve Naroff · 16 years ago
d7d5f02 Rename clang to clang-cc. by Daniel Dunbar · 16 years ago
efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
be1fe1e Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 16 years ago
9800dad Test passes with -analyzer-range-contraints. by Ted Kremenek · 16 years ago
bcd2f76 Put the region store specific test in a separate file. by Zhongxing Xu · 16 years ago
a48f737 Create ElementRegion when the base is SymbolicRegion. This is like what we do by Zhongxing Xu · 16 years ago
19e8744 Enhance test case to test RegionStore with -checker-cfref. by Ted Kremenek · 16 years ago
d427023 Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 16 years ago
72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
a317e90 Add 'expected-warning' to make test case pass. by Ted Kremenek · 16 years ago
1e10011 Add another static analyzer test case involving attribute(nonnull). by Ted Kremenek · 16 years ago
a96ac06 Add another test case for attribute(nonnull) checking. by Ted Kremenek · 16 years ago
d7ff487 BasicConstraintManager: by Ted Kremenek · 16 years ago
73abd13 BasicConstraintManager: by Ted Kremenek · 16 years ago
973e72a Add a test case for compound assignments that lazily symbolicate the value of the LHS when the computation type is an integer of more bits. by Ted Kremenek · 16 years ago
12b49d9 Add && to test command. by Zhongxing Xu · 16 years ago
fe81bc2 Add region store model to path-sensitive testing. by Zhongxing Xu · 16 years ago
dacd67a This test now passes again. by Ted Kremenek · 16 years ago
3397e46 Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses. by Ted Kremenek · 16 years ago
cafd908 Updated test case. by Ted Kremenek · 16 years ago
0a41e5a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 16 years ago
f6e5ec4 Add path-sensitivity test case. by Ted Kremenek · 16 years ago
e2b0083 Fix copy-paste error in test case. by Ted Kremenek · 16 years ago
8c3e7fb Minor pass-sensitivity improvement: by Ted Kremenek · 16 years ago
7fb43c1 Tidy up sema processing of attribute "nonull": by Ted Kremenek · 16 years ago
dd463b8 Enhance null-dereference checker test. by Ted Kremenek · 16 years ago
4489fe1 Add EXTWARN Diagnostic class. by Daniel Dunbar · 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
584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 16 years ago
e2013f5 Added test case to test null dereference checking with lval::ArrayOffset. by Ted Kremenek · 17 years ago
a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
0fe33bc Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 17 years ago
9704eac Added null dereference test involving arrays. by Ted Kremenek · 17 years ago
3603d73 Added missing expected-warning. by Ted Kremenek · 17 years ago
b9ab690 Added null dereference test case looking for null dereferences involving MemberExpr. by Ted Kremenek · 17 years ago
d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 17 years ago
2f54af4 Added path-sensitive null dereference test case. by Ted Kremenek · 17 years ago