OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity
92,195 Commits 31 Branches 0 Tags 2.2 GiB
Commit Graph

24 Commits

Author SHA1 Message Date
Ted Kremenek 5f256da834 Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). 
The end result is now we eagarly constant-fold symbols in the analyzer that are perfectly constrained
to be a constant value.  This allows us to recover some path-sensitivity in some cases by lowering
the required level of reasoning power needed to evaluate some expressions.

The net win from this change is that the false positive in PR 8015 is fixed, and we also
find more idempotent operations bugs.

We do, however, regress with the BugReporterVisitors, which need to be modified to understand
this constant folding (and look past it).  This causes some diagnostic regressions in plist-output.m
which will get addressed in a future patch.  plist-output.m is now marked XFAIL, while
plist-output-alternate.m now tests that the plist output is working, but with the suboptimal
diagnostics.  This second test file will eventually be removed.

llvm-svn: 113477
 2010-09-09 07:13:00 +00:00
Ted Kremenek 5b24adda26 Add optional record of "location" SVals in the environment. When we analyzing loads/stores, we lose the location SVal, which makes it difficult to recover in some cases (e.g., for post diagnostics). This is prep for pending changes to GRExprEngine. 
llvm-svn: 112930
 2010-09-03 01:07:02 +00:00
Ted Kremenek db4c128f2f Add GRState::getSimplifiedSVal(), which provides an API hook for doing symbol -> constant folding. This isn't used yet, but 
is prep for some pending optimizations in GRExprEngine.

llvm-svn: 112929
 2010-09-03 01:06:58 +00:00
John McCall e302792b61 GCC didn't care for my attempt at API compatibility, so brute-force everything 
to the new constants.

llvm-svn: 112047
 2010-08-25 11:45:40 +00:00
Jordy Rose 4a57ec86bb Move GRState::AssumeInBound out of its header file -- it's not really inline-friendly anymore. 
llvm-svn: 111179
 2010-08-16 20:34:06 +00:00
Jordy Rose d2b777a409 Move GRState's bind* methods out of its header file -- they're too big for inlining now. 
llvm-svn: 111113
 2010-08-15 22:19:33 +00:00
Zhongxing Xu ee770d40fd StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRState now. 
llvm-svn: 111103
 2010-08-15 12:45:09 +00:00
Zhongxing Xu 8de0a3d8c3 MemRegion can refer to ASTContext without external help. 
llvm-svn: 110784
 2010-08-11 06:10:55 +00:00
Jordy Rose 28041c29af Tweak GRState::unbindLoc to use makeWithStore, and make sure it's only called for non-region locations. 
llvm-svn: 110310
 2010-08-05 03:33:56 +00:00
Zhongxing Xu 73ede01cad Change arg type. 
llvm-svn: 109218
 2010-07-23 05:55:01 +00:00
Zhongxing Xu adf644d05e Make a bunch of new data structures for the new analysis 
engine of the new translation unit. State marshal is there but no real
work is done. End nodes are passed back.

llvm-svn: 109105
 2010-07-22 13:52:13 +00:00
Jordy Rose c7c8c3d66b Remove the now-unused GRState::isEqual method. Instead of asking if an expression equals a certain value, use SValuator::EvalEQ and GRState::Assume to see if it can, must, or must not equal that value. 
llvm-svn: 107638
 2010-07-06 04:12:24 +00:00
Jordy Rose f7488ec6dc Add an ivar to SymbolReaper for the current statement, and then stop passing the current statement around everywhere. Preparation for symbolic extents. 
llvm-svn: 107422
 2010-07-01 20:09:55 +00:00
Zhongxing Xu d4f1294f1e Remove extents of dead symbolic regions when RemoveDeadBindings. 
This requires creating new persistent states due to the nature of GDM.

llvm-svn: 104668
 2010-05-26 03:27:35 +00:00
Benjamin Kramer c048322523 Checker: random include cleanup. 
llvm-svn: 99731
 2010-03-27 21:19:47 +00:00
Zhongxing Xu b6e1c13c36 Add methods to remove a GDM entry. 
Instead of setting the ReturnExpr GDM to NULL, remove it.

llvm-svn: 99470
 2010-03-25 01:39:39 +00:00
Zhongxing Xu 03fd76663e Mark CXXThisRegion in the current or parent stack frame context as live so that 
their bindings are not removed.

llvm-svn: 98705
 2010-03-17 03:35:08 +00:00
Zhongxing Xu e73584384a Remove reference to AnalysisContext in Environment. We already have LocationContext 
information in ExplodedNode.

llvm-svn: 97785
 2010-03-05 04:45:36 +00:00
Zhongxing Xu 5cb8d9d40f When profiling Environment, also profile with AnalysisContext*, bacause 
we now may have identical states with different analysis context.

Set the right AnalysisContext in state when entering and leaving a callee.

With both of the above changes, we can pass the test case.

llvm-svn: 97724
 2010-03-04 09:04:52 +00:00
Ted Kremenek 57f0989c16 Revert 95541. 
llvm-svn: 95545
 2010-02-08 16:18:51 +00:00
Zhongxing Xu 500f49fe25 Rename: GRState::getSVal(Stmt*) => getExprVal(), 
GRState::getSVal(MemRegion*) => Load().

llvm-svn: 95541
 2010-02-08 09:30:02 +00:00
Zhongxing Xu ad0ef84040 More GRState* -> Store changes. 
llvm-svn: 95365
 2010-02-05 05:34:29 +00:00
Zhongxing Xu f668204a6a More GRState* -> Store changes. 
llvm-svn: 95362
 2010-02-05 05:18:47 +00:00
Ted Kremenek d6b8708643 Split libAnalysis into two libraries: libAnalysis and libChecker. 
(1) libAnalysis is a generic analysis library that can be used by
    Sema.  It defines the CFG, basic dataflow analysis primitives, and
    inexpensive flow-sensitive analyses (e.g. LiveVariables).

(2) libChecker contains the guts of the static analyzer, incuding the
    path-sensitive analysis engine and domain-specific checks.

Now any clients that want to use the frontend to build their own tools
don't need to link in the entire static analyzer.

This change exposes various obvious cleanups that can be made to the
layout of files and headers in libChecker.  More changes pending.  :)

This change also exposed a layering violation between AnalysisContext
and MemRegion.  BlockInvocationContext shouldn't explicitly know about
BlockDataRegions.  For now I've removed the BlockDataRegion* from
BlockInvocationContext (removing context-sensitivity; although this
wasn't used yet).  We need to have a better way to extend
BlockInvocationContext (and any LocationContext) to add
context-sensitivty.

llvm-svn: 94406
 2010-01-25 04:41:41 +00:00