Log - 50c9d08fa533b51e8dd36644b686d726c98d9482 - toolchain/llvm-project

3f955e6 [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 14 years ago
7366518 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 · 14 years ago
9eb02df [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 15 years ago
a921528 [analyzer] Use the new registration mechanism on some of the experimental internal checkers: by Argyrios Kyrtzidis · 15 years ago
23f0f4b Move new test (that requires RegionStore) into its own file. by Jordy Rose · 15 years ago
daa1c83 Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character. by Jordy Rose · 15 years ago
2f2692f Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 16 years ago
8fbe78f Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. by Daniel Dunbar · 16 years ago
27f686f Replace clang-cc with clang -cc1. by Zhongxing Xu · 16 years ago
4ef13f8 Add clang-cc option "--analyzer-experimental-internal-checks". This by Ted Kremenek · 16 years ago
f06c684 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 16 years ago
8b57697 Eliminate &&s in tests. by Daniel Dunbar · 16 years ago
fceb64b Implement -Wconversion. Off by default, in the non-gcc group. There's by John McCall · 16 years ago
499de42 Add casts to avoid a bunch of unused expr warnings. (They aren't reported right now due to a bug that I intend to fix). Ted, please review. by Anders Carlsson · 16 years ago
4301526 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 16 years ago
c198657 Remove stale comment and fix RUN line. by Ted Kremenek · 16 years ago
f665579 Switch BasicStoreManager to use the new CastRegion implementation by default, by Ted Kremenek · 16 years ago
eea8c29 Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line using '-analyzer-store=basic-new-cast'. by Ted Kremenek · 16 years ago
4744d56 Invalidate the alloca region by setting its default value to conjured symbol. by Zhongxing Xu · 16 years ago
55e0700 Now this test case passes. by Zhongxing Xu · 16 years ago
6f61070 Invalidate a field of struct type by setting its default value to conjured by Zhongxing Xu · 16 years ago
1642bda Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 16 years ago
519a47d Bind the mistakenly generated nonloc::SymbolVal to struct correctly. See the by Zhongxing Xu · 16 years ago
1075cc0 Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve(). by Zhongxing Xu · 16 years ago
1f275ba Add comments to test case. by Zhongxing Xu · 16 years ago
a790760 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
08a2ede Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 16 years ago
02e5089 Per conversations with Zhongxing, add an 'element type' to by Ted Kremenek · 16 years ago
3e3e69b region store: make Retrieve() can retrieve embedded array correctly. Also by Zhongxing Xu · 16 years ago
a45cf5b Rename clang to clang-cc. by Daniel Dunbar · 17 years ago
e40de82 add test case. by Zhongxing Xu · 17 years ago
5b9223f add test case. by Zhongxing Xu · 17 years ago
5118946 Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. by Ted Kremenek · 17 years ago
b535181 Static Analyzer driver/options (partial) cleanup: by Ted Kremenek · 17 years ago
e37f9af Implement retrieval of the default value of element and field regions. by Zhongxing Xu · 17 years ago
b8365bd Add a test case for init expr of array and struct type. by Zhongxing Xu · 17 years ago
92d48a7 Fix RegionStore::getLValueElement() to handle the case when the base region is not an ElementRegion (also do some cleanups of its core logic). by Ted Kremenek · 17 years ago
34fc92f Add -analyze action to run static analyzer, instead of inferring from by Daniel Dunbar · 17 years ago
cff637a Add KillStruct to region store. by Zhongxing Xu · 17 years ago
b5670fd MemRegion: by Ted Kremenek · 17 years ago
9cc7cba remove a test case that causes compiler warning. by Zhongxing Xu · 17 years ago
5c75919 Add test for initializing array with string literal. by Zhongxing Xu · 17 years ago
f39268a Add documentation for test. by Zhongxing Xu · 17 years ago
2939a50 Add no-warning to test case. by Zhongxing Xu · 17 years ago
60d6cd1 Improve test case. by Zhongxing Xu · 17 years ago
19cad71 Add test cast for struct array. by Zhongxing Xu · 17 years ago
a3b2ef6 Re-enable array-struct test. by Zhongxing Xu · 17 years ago
7d5389e - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 17 years ago
e9857dd Add test for unsigned array index. by Zhongxing Xu · 17 years ago
b9ec8f5 Add test for incomplete struct pointer. by Zhongxing Xu · 17 years ago
06a04bd Add a test case for alloca(). by Zhongxing Xu · 17 years ago
a848ced Append the test runs with '&&'. by Argyrios Kyrtzidis · 17 years ago
de297f8 Add function side-effect test cast. by Zhongxing Xu · 17 years ago
87bfa43 Add test code for array initialization. by Zhongxing Xu · 17 years ago
7a2ce56 Add test for SCA region store. by Zhongxing Xu · 17 years ago
80422b0 Add StringLiteral test code. by Zhongxing Xu · 17 years ago
d2f0c7b Add random array and struct test code for SCA. by Zhongxing Xu · 17 years ago
0dd213f Add test case for array and struct variable lvalue evaluation. by Zhongxing Xu · 17 years ago