aboutsummaryrefslogtreecommitdiff
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
AgeCommit message (Expand)Author
2013-03-29Add static analyzer support for conditionally executing static initializers.Ted Kremenek
2013-03-28[analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks
2013-03-26[analyzer] Change inlining policy to inline small functions when reanalyzing ...Anna Zaks
2013-03-16[analyzer] Model trivial copy/move assignment operators with a bind as well.Jordan Rose
2013-03-16[analyzer] Eliminate InterExplodedGraphMap class and NodeBackMap typedef.Jordan Rose
2013-02-22[analyzer] Place all inlining policy checks into one palceAnna Zaks
2013-02-22[analyzer] Make sure a materialized temporary matches its bindings.Jordan Rose
2013-02-20Replace SVal llvm::cast support to be well-defined.David Blaikie
2013-02-15Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-02Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-02-01Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-01-31Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose
2013-01-30[analyzer] Model trivial copy/move ctors with an aggregate bind.Jordan Rose
2013-01-14[analyzer] Add ProgramStatePartialTrait<const void *>.Jordan Rose
2013-01-03[analyzer] Rename callback EndPath -> EndFunctionAnna Zaks
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-07[analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks
2012-12-06[analyzer] Remove unused fields from ExprEngine.Jordan Rose
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-11-15[analyzer] Mark symbol values as dead in the environment.Jordan Rose
2012-11-03[analyzer] Run remove dead on end of path.Anna Zaks
2012-11-03[analyzer] Refactor: Remove Pred from NodeBuilderContext.Anna Zaks
2012-11-02[analyzer] Convert some of the harder cases over to ProgramStateTrait macros.Jordan Rose
2012-09-25Remove 'const' version of getBasicVals(), which is useless.Ted Kremenek
2012-09-13Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek
2012-09-10[analyzer] Do not count calls to small functions when computing stackAnna Zaks
2012-09-06[analyzer] Don't attempt to devirtualize calls to base class destructors.Jordan Rose
2012-08-30[analyzer] Refactor the logic that determines if a functions should beAnna Zaks
2012-08-30Rename AnalyzerOptions 'EagerlyAssume' to 'eagerlyAssumeBinOpBifurcation'.Ted Kremenek
2012-08-25[analyzer] Use the common evalBind infrastructure for initializers.Jordan Rose
2012-08-25[ms-inline asm] As part of a larger refactoring, rename AsmStmt to GCCAsmStmt.Chad Rosier
2012-08-22Rename 'currentX' to 'currX' throughout analyzer and libAnalysis.Ted Kremenek
2012-08-13[analyzer] Reduce code duplication: make CXXDestructorCall a CXXInstanceCall.Jordan Rose
2012-08-09[analyzer] Bifurcate the path with dynamic dispatch.Anna Zaks
2012-07-30[analyzer] Only allow CallEvents to be created by CallEventManager.Jordan Rose
2012-07-30[analyzer] Remove declaration of refactored evalObjCMessage method.Jordan Rose
2012-07-26[analyzer] Handle base class initializers and destructors.Jordan Rose
2012-07-26[analyzer] Inline ObjC class methods.Anna Zaks
2012-07-25Remove ExprEngine::MarkBranch(), as it is no longer needed.Ted Kremenek
2012-07-19[analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on theAnna Zaks
2012-07-18[analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr.Jordan Rose
2012-07-02[analyzer] Use CallEvent for inlining and call default-evaluation.Jordan Rose
2012-07-02[analyzer] Begin replacing ObjCMessage with ObjCMethodCall and friends.Jordan Rose
2012-07-02[analyzer] Add a new abstraction over all types of calls: CallEventJordan Rose
2012-06-22Implement initial static analysis inlining support for C++ methods.Ted Kremenek
2012-06-11Etch out the code path for MS-style inline assembly.Chad Rosier
2012-06-01static analyzer: add inlining support for directly called blocks.Ted Kremenek
2012-04-20[analyzer] Run remove dead bindings right before leaving a function.Anna Zaks
2012-04-12[analyzer] PCH deserialization optimization.Anna Zaks