aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis
AgeCommit message (Expand)Author
2013-04-05[analyzer] Show path diagnostic for C++ initializersAnna Zaks
2013-03-30[analyzer] Add debug helper LocationContext::dumpStack().Jordan Rose
2013-03-29Add configuration plumbing to enable static initializer branching in the CFG ...Ted Kremenek
2013-03-28Add CFG logic to create a conditional branch for modeling static initializers.Ted Kremenek
2013-03-28These are all simple pointer wrappers. Pass them by value.Rafael Espindola
2013-03-27Cleanup clang's specializations of simplify_type.Rafael Espindola
2013-03-22[analyzer] Fix ExprEngine::ViewGraph to handle C++ initializers.Jordan Rose
2013-02-23Remove the CFGElement "Invalid" state.David Blaikie
2013-02-21Fix copy/paste to refer to the relevant type (ProgramPoint instead of TypeLoc).David Blaikie
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-16Use trailing documentation comments properlyDmitri Gribenko
2013-02-16libAnalysis: Add a case for TypeAliasDecl in CFGRecStmtDeclVisitor.Jordan Rose
2013-02-05[analyzer] Fix typo, better doxygen as per Jordan's feedback.Anna Zaks
2013-02-02[analyzer] Always inline functions with bodies generated by BodyFarm.Anna Zaks
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2013-01-12Add missing includes and forward declarations so that headers don't depend onDmitri Gribenko
2013-01-02Rewrite #includes for llvm/Foo.h to llvm/IR/Foo.h as appropriate toChandler Carruth
2012-12-21[analyzer] Re-apply r170826 and make the dumping of the GallGraphAnna Zaks
2012-12-21Revert r170826. The output ofRafael Espindola
2012-12-21[analyzer] Traverse the Call Graph in topological order.Anna Zaks
2012-12-21[analyzer] Add blocks and ObjC messages to the call graph.Anna Zaks
2012-12-05Thread safety analysis: Add a new "beta" warning flag: -Wthread-safety-beta.DeLesley Hutchins
2012-12-04Sort #include lines for all files under include/...Chandler Carruth
2012-11-30Update to reflect the change of macro name in r168993.Chandler Carruth
2012-11-30Use the new LLVM_LVALUE_FUNCTION to ban two getAs() calls on rvalues.Jordan Rose
2012-11-03[analyzer] add LocationContext::inTopFrame() helper.Anna Zaks
2012-10-11Remove pointless classof()'s.Sean Silva
2012-09-27Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and only if. S...Sylvestre Ledru
2012-09-27Fix a typo 'iff' => 'if'Sylvestre Ledru
2012-09-21Simplify getRuntimeDefinition() back to taking no arguments.Ted Kremenek
2012-09-21Implement faux-body-synthesis of well-known functions in the static analyzer ...Ted Kremenek
2012-09-21Constify method.Ted Kremenek
2012-09-21Ensure that the Decl* wrapped by an AnalysisDeclContext cannot be changed afterTed Kremenek
2012-09-21Remove unused fields.Ted Kremenek
2012-09-13Format strings: offer a fixit for Darwin's %D/%U/%O to ISO %d/%u/%o.Jordan Rose
2012-09-13Format strings: %D, %U, and %O are valid on Darwin (same as %d, %u, %o).Jordan Rose
2012-09-13Refactor logic in ExprEngine for detecting 'noreturn' methodsTed Kremenek
2012-09-10Thread-safety analysis: differentiate between two forms of analysis; a preciseDeLesley Hutchins
2012-09-08Format strings: suggest %lld instead of %qd and %Ld with -Wformat-non-iso.Jordan Rose
2012-09-08Format strings: %Ld isn't available on Darwin or Windows.Jordan Rose
2012-09-06[analyzer] Assert that StmtPoint should be created with a non-null Stmt.Anna Zaks
2012-09-05[analyzer] Always include destructors in the analysis CFG.Jordan Rose
2012-08-29[analyzer] Improved diagnostic pruning for calls initializing values.Anna Zaks
2012-08-07Remove ScanfArgType and bake that logic into ArgType.Hans Wennborg
2012-08-07Rename analyze_format_string::ArgTypeResult to ArgTypeHans Wennborg
2012-07-27Make -Wformat walk the typedef chain when looking for size_t, etc.Hans Wennborg
2012-07-10[analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPointsJordan Rose
2012-07-10[analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints.Jordan Rose