aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/ExprEngineC.cpp
AgeCommit message (Expand)Author
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
2012-04-06Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that wh...Ted Kremenek
2012-04-05Handle symbolicating a reference in an initializer expression that we don't u...Ted Kremenek
2012-03-11Unify naming of LangOptions variable/get function across the Clang stack (Lex...David Blaikie
2012-02-22Generate an AST for the conversion from a lambda closure type to aDouglas Gregor
2012-02-17Have conjured symbols depend on LocationContext, to add context sensitivity f...Ted Kremenek
2012-02-15Split reinterpret_casts of member pointers out from CK_BitCast; thisJohn McCall
2012-02-14Remove recusive expression visitation in ExprEngine::VisitIncrementDecrementO...Ted Kremenek
2012-02-14Remove recursive visitation in ExprEngine for UO_Not, UO_Minus, UO_LNot.Ted Kremenek
2012-02-14Remove recursive visitation in ExprEngine for UO_Deref, UO_AddrOf, and UO_Ext...Ted Kremenek
2012-02-14Remove ExprEngine recursive visitation of unary UO_Imag operation.Ted Kremenek
2012-02-14Further remove some recursive visitiation in ExprEngine that is no longer nee...Ted Kremenek
2012-01-26Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek
2012-01-16Some improvements to the handling of C11 atomic types:David Chisnall
2012-01-06[analyzer] Make the entries in 'Environment' context-sensitive by making entr...Ted Kremenek
2011-12-28Small refactoring and simplification of constant evaluation and some of itsRichard Smith
2011-12-05[analyzer] Simplify the condition.Anna Zaks
2011-12-05[analyzer] Remove all uses of ConstraintManager::canResonAbout() fromAnna Zaks
2011-12-05[analyzer] First step toward removingAnna Zaks
2011-11-17[analyzer] Do not conjure a symbol when we need to propagate taint.Anna Zaks
2011-11-07Rip out CK_GetObjCProperty.John McCall
2011-11-04Remove unused variables.Benjamin Kramer
2011-11-01[analyzer] Make sure the child builder use temporary destination setsAnna Zaks
2011-10-29Rename Expr::Evaluate to Expr::EvaluateAsRValue to make it clear that it willRichard Smith
2011-10-25[analyzer] Remove unused headers.Anna Zaks
2011-10-24[analyzer] Node builders cleanup + commentsAnna Zaks
2011-10-24[analyzer] Completely remove the global Builder object.Anna Zaks
2011-10-24[analyzer] Convert ExprEngine::visit() to use short lived builders.Anna Zaks
2011-10-24[analyzer] Convert VisitDeclStmt to use local node builder.Anna Zaks
2011-10-24[analyzer] Convert more functions (ex:evalBind()) to iterative buildersAnna Zaks
2011-10-24[analyzer] Convert VisitUnaryOperator to use short lived Node buildersAnna Zaks
2011-09-23Removing a bunch of dead returns/breaks after llvm_unreachables.David Blaikie
2011-09-23Switch assert(0/false) llvm_unreachable.David Blaikie
2011-09-10Rename the ARC cast kinds to start with "ARC".John McCall
2011-09-10When converting a block pointer to an Objective-C pointer type, extendJohn McCall
2011-09-09Give conversions of block pointers to ObjC pointers a different cast kindJohn McCall
2011-08-28[analyzer] Remove the ProgramState argument from ExprEngine::evalBind; we wer...Jordy Rose
2011-08-23Fix regression in -Wuninitialized involving VLAs. It turns out that we were ...Ted Kremenek
2011-08-20[analyzer] Simplify ExprEngine::VisitBinaryOperator() by removing recursive v...Ted Kremenek
2011-08-20Start partitioning ExprEngine.cpp into separate .cpp files that handle differ...Ted Kremenek