- f949591 Thread-safety analysis: check guarded_by and pt_guarded_by on array access. by DeLesley Hutchins · 11 years ago
- 9a2f84b Thread safety analysis: minor bugfix to smart pointer handling, and expanded by DeLesley Hutchins · 11 years ago
- 43399fb Thread safety analysis: check pt_guarded_by attribute when calling -> and * by DeLesley Hutchins · 11 years ago
- 1aa8969 Fixed bug with checking the kind of types. by Chris Wailes · 11 years ago
- 0e429f1 Changed tests_typestate to test_typestate for consistency. by Chris Wailes · 11 years ago
- a0cbcab Used OwningPtr to clean up some memory management in Consumed.cpp. by Chris Wailes · 11 years ago
- de2204b Replaced duplicate code with calls to forwardInfo. by Chris Wailes · 11 years ago
- 3f5b4de CFG: Properly print delegating initializer CFG elements. by Jordan Rose · 11 years ago
- 87bcee8 Simplify some implementations of get*Decl. by Rafael Espindola · 11 years ago
- 13be032 Consumed analysis: fix assert failure. by DeLesley Hutchins · 11 years ago
- be63ab6 Consumed analysis: assume that non-const reference parameters are initially by DeLesley Hutchins · 11 years ago
- c5cdafc Consumed analysis: All the return_typestate parameter to be attached to the by DeLesley Hutchins · 11 years ago
- d4f0e19 Consumed analysis: Add param_typestate attribute, which specifies that by DeLesley Hutchins · 11 years ago
- cd0f6d7 Consumed Analysis: Allow parameters that are passed by non-const reference by DeLesley Hutchins · 11 years ago
- 52f717e Consumed analysis: fix ICE in handling of loop source locations. by DeLesley Hutchins · 11 years ago
- f30e194 Consumed analysis: replace the consumes attribute with a set_typestate by DeLesley Hutchins · 11 years ago
- 1bf6343 Consumed analysis: switch from tests_consumed/unconsumed to a general by DeLesley Hutchins · 11 years ago
- 627c7f9 Consumed analysis: check destructor calls. by DeLesley Hutchins · 11 years ago
- 7385840 Consumed analysis: improve loop handling. The prior version of the analysis by DeLesley Hutchins · 11 years ago
- 6654085 Consumed Analysis: Change callable_when so that it can take a list of states by DeLesley Hutchins · 11 years ago
- 4124c7a Make sort predicate match the qsort convention. by Benjamin Kramer · 11 years ago
- 767b3d2 Fix array_pod_sort predicates after LLVM change. by Benjamin Kramer · 11 years ago
- 8a1fdfc PR16054: Slight strengthening for -Wsometimes-uninitialized: if we use a by Richard Smith · 11 years ago
- 57b781d Fix ICE in consumed analysis when CFG is null. by DeLesley Hutchins · 11 years ago
- a7be2f4 Fix a crash introduced in r189828. by Matt Beaumont-Gay · 11 years ago
- 1ae7484 Avoid double edges when constructing CFGs by Pavel Labath · 11 years ago
- a33ab60 Consumed Analysis: The 'consumable' attribute now takes a identifier specifying the default assumed state for objects of this class by David Blaikie · 11 years ago
- e988dc4 Fix non-void return warning, and format. by Eric Christopher · 11 years ago
- 0e8534e Consumed analysis: add return_typestate attribute. by DeLesley Hutchins · 11 years ago
- 36d558d Add an implicit dtor CFG node just before C++ 'delete' expressions. by Jordan Rose · 11 years ago
- 95ab9e3 [analyzer] Add very limited support for temporary destructors by Pavel Labath · 11 years ago
- c55bee6 Consumed analysis: add 'consumable' class attribute. by DeLesley Hutchins · 11 years ago
- 4252598 Consumed analysis: track function parameters. Patch by chris.wailes@gmail.com. by DeLesley Hutchins · 11 years ago
- d324a0b Consumed analysis: non-const methods no longer transfer an object into an by DeLesley Hutchins · 11 years ago
- 6b2ec03 Silencing the warning from r189605 in a more conformant manner. by Aaron Ballman · 11 years ago
- 1f55157 Silencing a rather spurious warning from MSVC 11 about not all control paths returning a value (hint: they do). by Aaron Ballman · 11 years ago
- e444ea0 Fix warning about anonymous structs in anonymous unions. by Eric Christopher · 11 years ago
- b7dc1f5 Consumed analysis: improve handling of conditionals. by DeLesley Hutchins · 11 years ago
- b01e2da Consumed analyis: Renamed *PStatus to *PInfo. by DeLesley Hutchins · 11 years ago
- 344472e Use pop_back_val() instead of both back() and pop_back(). by Robert Wilhelm · 11 years ago
- 6a556a4 [analyzer] Refactor conditional expression evaluating code by Pavel Labath · 11 years ago
- 5fdd207 Update to consumed analysis. by DeLesley Hutchins · 11 years ago
- df72071 Analysis: Make %I in printf more reasonable, add more tests by David Majnemer · 11 years ago
- 47ad6ce Analysis: Add support for MS specific printf format specifiers by David Majnemer · 11 years ago
- 7d0dcd2 Omit arguments of __builtin_object_size from the CFG. by Jordan Rose · 11 years ago
- 7336b9f Thread Safety Analysis: fix bug when using TryLock with && and || expressions. by DeLesley Hutchins · 11 years ago
- cdd4b78 Properly track l-paren of a CXXFucntionalCastExpr. by Eli Friedman · 11 years ago
- a44f03b Thread safety analysis: move warnings within lock/unlock functions out of beta. by DeLesley Hutchins · 11 years ago
- a72f720 Silence a warning from MSVC about not returning a value by Reid Kleckner · 11 years ago
- 2d84f6b Remove Sema includes from Analysis code to fix layering by Reid Kleckner · 11 years ago
- 2d66dfa Speculative build fix for r188206. by Hans Wennborg · 11 years ago
- df7bef0 Patch by Chris Wailes <chris.wailes@gmail.com>. Reviewed by delesley, dblaikie. by DeLesley Hutchins · 11 years ago
- ac7cc2d [analyzer] Include analysis stack in crash traces. by Jordan Rose · 11 years ago
- 49bab4c Remove bogus VarDecl::extendsLifetimeOfTemporary function and inline it into by Richard Smith · 11 years ago
- b96e74f Updating a link in the comments; no functional change. by Aaron Ballman · 11 years ago
- 4c98b1f [CFG] Set the “loop target” (back edge) for VisitObjCForCollectionStmt loops by Anna Zaks · 11 years ago
- 49a246f [analyzer; new edges] Simplify edges in a C++11 for-range loop. by Jordan Rose · 11 years ago
- 2a1551f Analysis: Add a CFG successor to a SwitchStmt if it is both empty and fully covered by David Majnemer · 11 years ago
- 2794bc0 CFG: In a DeclStmt, skip anything that's not a VarDecl. by Jordan Rose · 11 years ago
- 451f8e4 Thread safety analysis: fix use after free bug reported by Evgeniy Stepanov. by DeLesley Hutchins · 11 years ago
- bb51899 Revert "[analyzer; alternate edges] improve support for edges with PseudoObjectExprs." by Jordan Rose · 11 years ago
- 5c6134f Thread safety analysis: add two new attributes to the thread safety analysis: by DeLesley Hutchins · 11 years ago
- e9aae62 [analyzer; alternate edges] improve support for edges with PseudoObjectExprs. by Ted Kremenek · 11 years ago
- d049b40 Remove unused, awkward CFGStmtVisitor and subclasses. by Jordan Rose · 11 years ago
- 7247c88 Use only explicit bool conversion operator by David Blaikie · 11 years ago
- 15f92ba Add support for __wchar_t in -fms-extensions mode. by Hans Wennborg · 11 years ago
- 5543169 Replace ArrayRef<T>() with None, now that we have an implicit ArrayRef constructor from None by Dmitri Gribenko · 11 years ago
- c3bf52c C++1y: Allow aggregates to have default initializers. by Richard Smith · 11 years ago
- 5696884 Thread safety analysis: turn on checking within lock and unlock functions. by DeLesley Hutchins · 11 years ago
- dd0a1f5 Thread safety analysis: Turn on checking for non-scalar types by default. by DeLesley Hutchins · 11 years ago
- 75f8bd0 [analyzer] Add debug helper LocationContext::dumpStack(). by Jordan Rose · 11 years ago
- 5062bb2 [cfg] Always guard (when AddStaticInitBranches == true) DeclStmts for static variables, not just ones with explicit initializers by Ted Kremenek · 11 years ago
- 0f5c5c6 Add static analyzer support for conditionally executing static initializers. by Ted Kremenek · 11 years ago
- 02a88c3 Add configuration plumbing to enable static initializer branching in the CFG for the analyzer. by Ted Kremenek · 11 years ago
- fbd4b5d Add CFG logic to create a conditional branch for modeling static initializers. by Ted Kremenek · 11 years ago
- 8343f8e Add const in preparation for a simplify_type change in llvm. by Rafael Espindola · 11 years ago
- b078054 Remove the CFGElement "Invalid" state. by David Blaikie · 12 years ago
- fdf6a27 Replace CFGElement llvm::cast support to be well-defined. by David Blaikie · 12 years ago
- 66874fb Use None rather than Optional<T>() where possible. by David Blaikie · 12 years ago
- dc84cd5 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 12 years ago
- 3f6f51e Excise <cctype> from Clang (except clang-tblgen) in favor of CharInfo.h. by Jordan Rose · 12 years ago
- b1855de Add note why we used a switch. by Ted Kremenek · 12 years ago
- 5846720 Change subexpressions to be visited in the CFG from left-to-right. by Ted Kremenek · 12 years ago
- ef95aea [analyzer] add comment by Anna Zaks · 12 years ago
- 22c0cbe clang/Analysis: Fix r174245, a valgrind error in AnalysisDeclContext::getBody(bool &IsAutosynthesized), to initialize IsAutosynthesized explicitly. by NAKAMURA Takumi · 12 years ago
- 453cb85 [analyzer] Always inline functions with bodies generated by BodyFarm. by Anna Zaks · 12 years ago
- 77fd3c0 -Wuninitialized: warn about uninitialized values resulting from ?: that evaluate to lvalues (in C++). by Ted Kremenek · 12 years ago
- 0ecc2e9 Thread-safety analysis: ignore edges from throw expressions in CFG. by DeLesley Hutchins · 12 years ago
- cdbe1e0 Format strings: don't ever convert %+d to %lu. by Jordan Rose · 12 years ago
- 242ae3d Format strings: correct signedness if already correcting width (%d,%u). by Jordan Rose · 12 years ago
- cd8ab51 Implement C++11 semantics for [[noreturn]] attribute. This required splitting by Richard Smith · 12 years ago
- cfa88f8 Remove useless 'llvm::' qualifier from names like StringRef and others that are by Dmitri Gribenko · 12 years ago
- 67d472c Test commit. by Enea Zaffanella · 12 years ago
- dac6252 CFG.cpp: Fix wrapping logic when printing block preds/succs. by Will Dietz · 12 years ago
- 80ad52f s/CPlusPlus0x/CPlusPlus11/g by Richard Smith · 12 years ago
- d36aa35 ArrayRefize a CompoundStmt constructor. by Nico Weber · 12 years ago
- 08165d8 [analyzer] Fix typos. by Anna Zaks · 12 years ago
- bd80231 [analyzer] Re-apply r170826 and make the dumping of the GallGraph deterministic. by Anna Zaks · 12 years ago
- 6d42f4d Revert r170826. The output of by Rafael Espindola · 12 years ago
- e34e193 [analyzer] Traverse the Call Graph in topological order. by Anna Zaks · 12 years ago