maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Analysis
History
Ted Kremenek 1642bdaaa5 Introduce a new concept to the static analyzer: SValuator. 
GRTransferFuncs had the conflated role of both constructing SVals (symbolic
expressions) as well as handling checker-specific logic. Now SValuator has the
role of constructing SVals from expressions and GRTransferFuncs just handles
checker-specific logic. The motivation is by separating these two concepts we
will be able to much more easily create richer constraint-generating logic
without coupling it to the main checker transfer function logic.

We now have one implementation of SValuator: SimpleSValuator.

SimpleSValuator is essentially the SVal-related logic that was in GRSimpleVals
(which is removed in this patch). This includes the logic for EvalBinOp,
EvalCast, etc. Because SValuator has a narrower role than the old
GRTransferFuncs, the interfaces are much simpler, and so is the implementation
of SimpleSValuator compared to GRSimpleVals. I also did a line-by-line review of
SVal-related logic in GRSimpleVals and cleaned it up while moving it over to
SimpleSValuator.

As a consequence of removing GRSimpleVals, there is no longer a
'-checker-simple' option. The '-checker-cfref' did everything that option did
but also ran the retain/release checker. Of course a user may not always wish to
run the retain/release checker, nor do we wish core analysis logic buried in the
checker-specific logic. The next step is to refactor the logic in CFRefCount.cpp
to separate out these pieces into the core analysis engine.

llvm-svn: 74229
 		2009-06-26 00:05:51 +00:00
..
CFDateGC.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
CFNumber.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
CFRetainRelease_NSAssertionHandler.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
CGColorSpace.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
CheckNSError.m Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixes 2009-03-28 19:59:33 +00:00
MissingDealloc.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
NSPanel.m retain/release checker: don't track NSPanel until we have better reasoning about 2009-04-03 19:02:51 +00:00
NSString.m Remove the -arch option from clang-cc: for all practical purposes, it's 2009-05-19 11:12:40 +00:00
NSWindow.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
NoReturn.m Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
ObjCProperties.m Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
ObjCRetSigs.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
PR2599.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
PR2978.m Check for method type conflict between declaration in 2009-05-01 20:07:12 +00:00
PR3991.m Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr. 2009-04-21 23:53:32 +00:00
array-struct.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
basicstore_wine_crash.c Handle 'long x = 0; char *y = (char *) x;' by layering an 2009-05-04 06:35:49 +00:00
casts.c A further step of r73690: associate the cast-to type with the created symbol, 2009-06-19 06:00:32 +00:00
casts.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
cfref_PR2519.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
cfref_rdar6080742.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
complex.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
conditional-op-missing-lhs.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
dead-stores.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
dead-stores.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
delegates.m retain/release checker: 2009-04-24 17:50:11 +00:00
elementtype.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
exercise-ps.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
fields.c Return UnknownVal for pointer arithmetic on struct fields. 2009-06-21 13:24:24 +00:00
func.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
misc-ps-64.m Fix <rdar://problem/6845148>. Signed integers compared against pointers should 2009-05-08 00:32:39 +00:00
misc-ps-basic-store.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
misc-ps-eager-assume.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
misc-ps-ranges.m Split failing test case from misc-ps.m to misc-ps-ranges.m (which tests 2009-04-10 04:02:38 +00:00
misc-ps-region-store.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
misc-ps.m analyzer: 2009-05-10 05:11:21 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m Enhance diagnostics value tracking logic for null dereferences and uninitialized values. 2009-05-13 19:16:35 +00:00
no-exit-cfg.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
no-outofbounds-basicstore.c Rename no-outofbounds.c to xfail-no-outofbounds.c and split off that 2009-05-04 14:31:19 +00:00
null-deref-ps-region.c SymbolicRegions may also be live roots. 2009-04-29 09:24:35 +00:00
null-deref-ps.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
outofbound.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
override-werror.c Fix <rdar://problem/6848739>. When using -analyze, -Werror has no effect. 2009-05-07 19:02:53 +00:00
pr4209.m Fix crasher reported in PR 4209 caused by an invalid summary 2009-05-13 18:16:01 +00:00
pr_2542_rdar_6793404.m Fix the same false positive reported in PR 2542 and <rdar://problem/6793409> 2009-04-24 21:56:17 +00:00
pr_4164.c Fix analyzer regression reported in PR 4164: 2009-05-06 18:19:24 +00:00
ptr-arith.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
rdar-6442306-1.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
rdar-6539791.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
rdar-6540084.m We want to diagnose sending message to a forward class 2009-05-08 23:45:49 +00:00
rdar-6541136-region.c Region store: when casting VarRegions, if the cast-to pointee type is 2009-05-08 07:28:25 +00:00
rdar-6541136.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
rdar-6562655.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
rdar-6582778-basic-store.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct 2009-04-01 06:52:48 +00:00
refcnt_naming.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
region-1.m Fix rdar://6771034: don't warn on use of forward declared protocol in protocol 2009-04-12 08:43:13 +00:00
region-only-test.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
retain-release-basic-store.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
retain-release-gc-only.m Fix: 2009-06-05 23:18:01 +00:00
retain-release-region-store.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
retain-release.m Add IOKit test cases for retain/release checker. 2009-06-16 20:44:39 +00:00
stack-addr-ps.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
uninit-msg-expr.m Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
uninit-ps-rdar6145427.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
uninit-vals-ps-region.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
uninit-vals-ps.c Enhance diagnostics value tracking logic for null dereferences and uninitialized values. 2009-05-13 19:16:35 +00:00
uninit-vals.c Add another uninitialized values test case illustrating that the CFG correctly 2009-03-30 18:29:27 +00:00
uninit-vals.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
unused-ivars.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
xfail-no-outofbounds.c Improve RegionStoreManager::getSizeInElements() 2009-05-06 11:51:48 +00:00
xfail_regionstore_wine_crash.c add comments to test case. 2009-05-09 13:27:17 +00:00