2012-01-14 |
Zhongxing Xu | Remove a redundant word.
|
commit | commitdiff | tree |
2012-01-11 |
Zhongxing Xu | Add elidable CXXConstructExpr as block-level expr....
|
commit | commitdiff | tree |
2011-12-28 |
Zhongxing Xu | Enable the user to control whether CXXConstructExpr...
|
commit | commitdiff | tree |
2011-09-26 |
Zhongxing Xu | Properly initialize Preprocessor::CurLexerKind to avoid...
|
commit | commitdiff | tree |
2011-09-01 |
Zhongxing Xu | If size was equal to 0, either NULL or a pointer suitable...
|
commit | commitdiff | tree |
2011-08-22 |
Zhongxing Xu | Fix typo.
|
commit | commitdiff | tree |
2011-05-31 |
Zhongxing Xu | Fix linking of clang-wpa.
|
commit | commitdiff | tree |
2011-04-02 |
Zhongxing Xu | Remove a redundant method. We have a const version.
|
commit | commitdiff | tree |
2011-01-13 |
Zhongxing Xu | CXXBaseObjectRegion is like FieldRegion. Need to blast...
|
commit | commitdiff | tree |
2011-01-13 |
Zhongxing Xu | Support inlining base initializers. We still haven...
|
commit | commitdiff | tree |
2011-01-13 |
Zhongxing Xu | Add comments.
|
commit | commitdiff | tree |
2011-01-12 |
Zhongxing Xu | Add some documentation for C++ static analyzer.
|
commit | commitdiff | tree |
2011-01-12 |
Zhongxing Xu | Add cast expr kinds to CheckerVisitor.def.
|
commit | commitdiff | tree |
2011-01-10 |
Zhongxing Xu | Remove dead code.
|
commit | commitdiff | tree |
2011-01-10 |
Zhongxing Xu | Fix CMakeLists.txt.
|
commit | commitdiff | tree |
2011-01-10 |
Zhongxing Xu | Revert r123160. There are linking dependency problems.
|
commit | commitdiff | tree |
2011-01-10 |
Zhongxing Xu | ExprEngine.cpp and AnalysisConsumer.cpp should not...
|
commit | commitdiff | tree |
2011-01-10 |
Zhongxing Xu | Add some expression kinds to CheckerVisitor.def.
|
commit | commitdiff | tree |
2011-01-10 |
Zhongxing Xu | In C++, assignment and compound assignment operators...
|
commit | commitdiff | tree |
2011-01-10 |
Zhongxing Xu | The isPrefix() checking is redundant. Lvalue incremental...
|
commit | commitdiff | tree |
2011-01-10 |
Zhongxing Xu | Fix comment.
|
commit | commitdiff | tree |
2010-12-23 |
Zhongxing Xu | When cast derived to base, only process MemRegionVal.
|
commit | commitdiff | tree |
2010-12-23 |
Zhongxing Xu | Remove lib/Checker directory.
|
commit | commitdiff | tree |
2010-12-22 |
Zhongxing Xu | If the unary operator is prefix and an lvalue (in C...
|
commit | commitdiff | tree |
2010-12-22 |
Zhongxing Xu | The base type is not always pointer type. We may cast...
|
commit | commitdiff | tree |
2010-12-22 |
Zhongxing Xu | Always blast through no-op casts when getting expr...
|
commit | commitdiff | tree |
2010-12-22 |
Zhongxing Xu | After inlining the CXXConstructExpr, bind the temporary...
|
commit | commitdiff | tree |
2010-12-19 |
Zhongxing Xu | If the initializer is an rvalue and the variable is...
|
commit | commitdiff | tree |
2010-12-18 |
Zhongxing Xu | The evaluation of dereference and address-of is identical.
|
commit | commitdiff | tree |
2010-11-26 |
Zhongxing Xu | Do not use StripCasts() in this context.
|
commit | commitdiff | tree |
2010-11-26 |
Zhongxing Xu | Should not use StripCasts() in this context.
|
commit | commitdiff | tree |
2010-11-26 |
Zhongxing Xu | Rename CXXObjectRegion to CXXTempObjectRegion.
|
commit | commitdiff | tree |
2010-11-26 |
Zhongxing Xu | fix a bug introduced in r120173.
|
commit | commitdiff | tree |
2010-11-26 |
Zhongxing Xu | Regionstore: support derived-to-base cast by creating...
|
commit | commitdiff | tree |
2010-11-26 |
Zhongxing Xu | Add a fixme.
|
commit | commitdiff | tree |
2010-11-25 |
Zhongxing Xu | For CFGAutomaticObjDtor, the type may be reference...
|
commit | commitdiff | tree |
2010-11-25 |
Zhongxing Xu | handle CXXFunctionalCastExpr in visitLValue and Environment.
|
commit | commitdiff | tree |
2010-11-25 |
Zhongxing Xu | Improve comments.
|
commit | commitdiff | tree |
2010-11-25 |
Zhongxing Xu | Add dump method.
|
commit | commitdiff | tree |
2010-11-24 |
Zhongxing Xu | When getting CXXThisRegion from CXXMethodDecl, use...
|
commit | commitdiff | tree |
2010-11-24 |
Zhongxing Xu | Let StackFrameContext represent if the call expr is...
|
commit | commitdiff | tree |
2010-11-24 |
Zhongxing Xu | Use StackFrameContext directly in CallEnter program...
|
commit | commitdiff | tree |
2010-11-24 |
Zhongxing Xu | print asLValue attribute of CFGStmt.
|
commit | commitdiff | tree |
2010-11-20 |
Zhongxing Xu | Add comments.
|
commit | commitdiff | tree |
2010-11-20 |
Zhongxing Xu | Handle CFGAutomaticObjDtor.
|
commit | commitdiff | tree |
2010-11-17 |
Zhongxing Xu | Add skeleton for handling various cfg dtors.
|
commit | commitdiff | tree |
2010-11-17 |
Zhongxing Xu | do not do post checks. Because at this point we just...
|
commit | commitdiff | tree |
2010-11-17 |
Zhongxing Xu | Remove comments. We are already doing actual method...
|
commit | commitdiff | tree |
2010-11-16 |
Zhongxing Xu | Handle member initializer in C++ ctor.
|
commit | commitdiff | tree |
2010-11-15 |
Zhongxing Xu | Add driver support for Ubuntu 9.10.
|
commit | commitdiff | tree |
2010-11-15 |
Zhongxing Xu | Add skeleton for handling other kinds of CFGElements.
|
commit | commitdiff | tree |
2010-11-14 |
Zhongxing Xu | Revert r118991.
|
commit | commitdiff | tree |
2010-11-13 |
Zhongxing Xu | Do not add implicit dtors for CXXBindTemporaryExpr...
|
commit | commitdiff | tree |
2010-11-03 |
Zhongxing Xu | fix test case.
|
commit | commitdiff | tree |
2010-11-03 |
Zhongxing Xu | Do not add elidable CXXConstructExpr as block-level...
|
commit | commitdiff | tree |
2010-11-01 |
Zhongxing Xu | Explicitly handle CXXBindTemporaryExpr, CXXFunctionalCastExpr,
|
commit | commitdiff | tree |
2010-11-01 |
Zhongxing Xu | Now initializer of C++ record type is visited as block...
|
commit | commitdiff | tree |
2010-11-01 |
Zhongxing Xu | Make all CXXConstructExpr's block-level expressions...
|
commit | commitdiff | tree |
2010-10-27 |
Zhongxing Xu | If visiting RHS causes us to finish 'Block', e.g. the...
|
commit | commitdiff | tree |
2010-10-14 |
Zhongxing Xu | Call PreVisitDeclStmt for C++ aggregate initializers...
|
commit | commitdiff | tree |
2010-10-10 |
Zhongxing Xu | Add experimental chroot check which checks improper...
|
commit | commitdiff | tree |
2010-10-05 |
Zhongxing Xu | * Simplify code
|
commit | commitdiff | tree |
2010-10-01 |
Zhongxing Xu | Now the whether adding implicit dtors is controlled...
|
commit | commitdiff | tree |
2010-10-01 |
Zhongxing Xu | The return value is never used.
|
commit | commitdiff | tree |
2010-10-01 |
Zhongxing Xu | Use default augument.
|
commit | commitdiff | tree |
2010-10-01 |
Zhongxing Xu | Simplify interface for addLocalScopeForStmt().
|
commit | commitdiff | tree |
2010-10-01 |
Zhongxing Xu | The old logic would add non-struct and non C++ struct...
|
commit | commitdiff | tree |
2010-09-16 |
Zhongxing Xu | Tidy up.
|
commit | commitdiff | tree |
2010-09-16 |
Zhongxing Xu | Introduce new CFGElement hierarchy to support C++ CFG...
|
commit | commitdiff | tree |
2010-09-06 |
Zhongxing Xu | FinishBlock() is essentially doing nothing except returning...
|
commit | commitdiff | tree |
2010-09-06 |
Zhongxing Xu | Simplify CFG construction: bail out early when we have...
|
commit | commitdiff | tree |
2010-09-02 |
Zhongxing Xu | update comments.
|
commit | commitdiff | tree |
2010-09-02 |
Zhongxing Xu | Tweak test case. 'int' would introduce out-of-bound...
|
commit | commitdiff | tree |
2010-08-29 |
Zhongxing Xu | Add comments.
|
commit | commitdiff | tree |
2010-08-25 |
Zhongxing Xu | Add back clang-wpa. It is useful for experimenting...
|
commit | commitdiff | tree |
2010-08-24 |
Zhongxing Xu | Improve comments.
|
commit | commitdiff | tree |
2010-08-23 |
Zhongxing Xu | Adjust code placement.
|
commit | commitdiff | tree |
2010-08-21 |
Zhongxing Xu | Place method near its class.
|
commit | commitdiff | tree |
2010-08-21 |
Zhongxing Xu | Remove dead code.
|
commit | commitdiff | tree |
2010-08-21 |
Zhongxing Xu | Improve comments.
|
commit | commitdiff | tree |
2010-08-21 |
Zhongxing Xu | Remove a special case for OSAtomic functions. We can...
|
commit | commitdiff | tree |
2010-08-21 |
Zhongxing Xu | Remove dead code. We no longer need it because now...
|
commit | commitdiff | tree |
2010-08-21 |
Zhongxing Xu | remove unused variable.
|
commit | commitdiff | tree |
2010-08-21 |
Zhongxing Xu | When invalidating a struct region, whether its type...
|
commit | commitdiff | tree |
2010-08-17 |
Zhongxing Xu | Generate a node instead of a sink. A leak is not a...
|
commit | commitdiff | tree |
2010-08-15 |
Zhongxing Xu | StoreManager::RemoveDeadBindings() can take a Store...
|
commit | commitdiff | tree |
2010-08-15 |
Zhongxing Xu | Remove redundant method.
|
commit | commitdiff | tree |
2010-08-15 |
Zhongxing Xu | Implement MallocChecker::EvalDeadSymbols() with the...
|
commit | commitdiff | tree |
2010-08-11 |
Zhongxing Xu | MemRegion can refer to ASTContext without external...
|
commit | commitdiff | tree |
2010-08-06 |
Zhongxing Xu | If all nodes are sunk, bail out early. This make the...
|
commit | commitdiff | tree |
2010-08-06 |
Zhongxing Xu | add test case.
|
commit | commitdiff | tree |
2010-08-05 |
Zhongxing Xu | Don't assert on a file stream if its state is not tracked...
|
commit | commitdiff | tree |
2010-08-05 |
Zhongxing Xu | Turn the predicate into an assertion. When could the...
|
commit | commitdiff | tree |
2010-08-03 |
Zhongxing Xu | Allow offsets to be negative. Out-of-bound cases are...
|
commit | commitdiff | tree |
2010-08-03 |
Zhongxing Xu | Pull the region offset computation logic into a single...
|
commit | commitdiff | tree |
2010-08-02 |
Zhongxing Xu | Improve flat store: MemRegion::getAsOffset() computes...
|
commit | commitdiff | tree |
2010-07-23 |
Zhongxing Xu | Add FILE* leak check to StreamChecker. Patch by Lei...
|
commit | commitdiff | tree |
2010-07-23 |
Zhongxing Xu | Change arg type.
|
commit | commitdiff | tree |
2010-07-23 |
Zhongxing Xu | Delete unnecessary const_cast.
|
commit | commitdiff | tree |
2010-07-23 |
Zhongxing Xu | AnalysisContext is not const.
|
commit | commitdiff | tree |
next |