aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngineC.cpp
AgeCommit message (Expand)Author
2013-04-15[analyzer] Do not crash when processing binary "?:" in C++Anna Zaks
2013-04-09[analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-03-05Silence a number of static analyzer warnings with assertions and such.Jordan Rose
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-22Fix regression in modeling assignments of an address of a variable to itself....Ted Kremenek
2013-02-21Replace ProgramPoint llvm::cast support to be well-defined.David Blaikie
2013-02-21Replace CFGElement llvm::cast support to be well-defined.David Blaikie
2013-02-20Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-07[analyzer] Remove redundant check as per Jordan's feedback.Anna Zaks
2013-02-07[analyzer] Don't reinitialize static globals more than once along a pathAnna Zaks
2013-01-20Implement OpenCL event_t as Clang builtin type, including event_t related Ope...Guy Benyei
2013-01-11Refine analyzer's handling of unary '!' and floating types to not assert.Ted Kremenek
2013-01-11Correctly propagate uninitialized values within logical expressions.Ted Kremenek
2012-12-01Don't include Type.h in DeclarationName.h.Benjamin Kramer
2012-11-28Fix another false positive due to a CXX temporary object appearing in a C ini...Ted Kremenek
2012-09-05[analyzer] Fix a crash PR13762.Anna Zaks
2012-09-01[analyzer] Don't attempt to create a floating-point value of "1" for ++/--.Jordan Rose
2012-08-31Change the representation of builtin functions in the ASTEli Friedman
2012-08-27[analyzer] Inline constructors for any object with a trivial destructor.Jordan Rose
2012-08-23[analyzer] For now, treat pointers-to-members as non-null void * symbols.Jordan Rose
2012-08-23[analyzer] Handle UserDefinedConversion casts in C++.Jordan Rose
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-22Rename 'getConjuredSymbol*' to 'conjureSymbol*'.Ted Kremenek
2012-08-22Remove Store::bindDecl() and Store::bindDeclWithNoInit(), andTed Kremenek
2012-08-20[analyzer] Replace boolean IsSink parameters with 'generateSink' methods.Jordan Rose
2012-08-20[analyzer] The result of && or || is always a 1 or 0.Jordan Rose
2012-08-09[analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.Jordan Rose
2012-08-06[analyzer] Add a checker to manage dynamic type propagation.Anna Zaks
2012-08-03[analyzer] ObjC Inlining: Start tracking dynamic type info in the GDMAnna Zaks
2012-07-26Look at the preceding CFGBlock for the expression to load from in ExprEngine:...Ted Kremenek
2012-07-26[analyzer] Don't crash on array constructors and destructors.Jordan Rose
2012-07-25Update ExprEngine's handling of ternary operators to find the ternary expressionTed Kremenek
2012-07-16[analyzer] Handle new-expressions with initializers for scalars.Jordan Rose
2012-07-16Prevent unused-variable warning in optimized builds.Daniel Jasper
2012-07-14Refine CFG so that '&&' and '||' don't lead to extra confluence points when u...Ted Kremenek
2012-07-10[analyzer] Construct stack variables directly in their VarDecl.Jordan Rose
2012-06-18[analyzer] Add a comment: why we treat array compound literals as lvalues.Jordan Rose
2012-06-16[analyzer] Array CompoundLiteralExprs need to be treated like lvalues.Jordan Rose
2012-06-12Revert "[analyzer] Treat LValueBitCasts like regular pointer bit casts."Jordan Rose
2012-06-11[analyzer] Treat LValueBitCasts like regular pointer bit casts.Jordan Rose
2012-05-25[analyzer] Don't crash on LValBitCastAnna Zaks
2012-05-21[analyzer] Bind UnknownVal to InitListExpr for unsupported typesAnna Zaks
2012-05-19[analyzer] For locations, use isGLValue() instead of isLValue().Anna Zaks
2012-05-04Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek
2012-05-03[analyzer] Conjure a symbol to ensure we can identify pointer arithmeticAnna Zaks
2012-04-11[analyzer] dynamic_cast Simplify null value generation.Anna Zaks
2012-04-10[analyzer] dynamic_cast: Better model cast from a reference.Anna Zaks
2012-04-10[analyzer] Add support for C++ dynamic_cast.Anna Zaks