- 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
- 4f858df [analyzer] Add blocks and ObjC messages to the call graph. by Anna Zaks · 12 years ago
- 93699d2 Thread-safety analysis: check member access on guarded non-primitive types. by DeLesley Hutchins · 12 years ago
- b929f66 Use the BlockDecl captures list to infer the direct captures for a BlockDataRegion. Fixes <rdar://problem/12415065>. by Ted Kremenek · 12 years ago
- 2cd3440 Format strings: offer a cast to 'unichar' for %C in Objective-C contexts. by Jordan Rose · 12 years ago
- ff7be48 Format strings: the correct conversion for 'char' is %c, not %d or %hhd. by Jordan Rose · 12 years ago
- 91e2061 Thread-safety analysis: check locks on method calls, operator=, and by DeLesley Hutchins · 12 years ago
- 47715cc Thread Safety Analysis: refactor to make more methods accept const pointers, by DeLesley Hutchins · 12 years ago
- 55fc873 Sort all of Clang's files under 'lib', and fix up the broken headers uncovered. by Chandler Carruth · 12 years ago
- a93d0f2 Include pruning and general cleanup. by Benjamin Kramer · 12 years ago
- 2fa67ef Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't pull in all the generated Attr code. by Benjamin Kramer · 12 years ago
- eba76a4 Further reduce "-fsyntax-only -Wuninitialized" time on sqlite3.c by another 2.5% using intelligent pruning of blocks during the final reporting pass. by Ted Kremenek · 12 years ago
- c160258 Switch -Wuninitialized to use a reverse-post order traversal as by Ted Kremenek · 12 years ago
- 8f81acf Fix bad CFG construction bug when handling C++ 'try' statements. by Ted Kremenek · 12 years ago
- fadcd5d [analyzer] add LocationContext::inTopFrame() helper. by Anna Zaks · 12 years ago
- 507d106 Fix potential null deference in CFG printer. by Ted Kremenek · 12 years ago
- 857f568 Remove dead store. by Ted Kremenek · 12 years ago
- 5dbd990 Conditionally use an integral cast for BodyFarm support for OSAtomicCompareAndSwap if the return type is not a boolean. by Ted Kremenek · 12 years ago
- 48fa136 Switch over to BodyFarm implementation of OSAtomicCompareAndSwap and by Ted Kremenek · 12 years ago
- ef2388b Thread-safety analysis: allow attributes on constructors to refer to 'this'. by DeLesley Hutchins · 12 years ago
- be9af12 Add FP_CONTRACT support for clang. by Lang Hames · 12 years ago
- da3d76b Avoid malloc thrashing in the uninitialized value analysis. by Benjamin Kramer · 12 years ago
- 81d18bf Add clarifying comment. by Ted Kremenek · 12 years ago
- fcf8eba Experiment in BodyFarm of structuring AST creation calls in a hierarchy, by Ted Kremenek · 12 years ago
- b80e5bb Create helper method in BodyFarm for creating simple assignments. by Ted Kremenek · 12 years ago
- 0b5c5e4 Add helper method in BodyFarm to create unary dereferences. by Ted Kremenek · 12 years ago
- 9ba05cd Add helper method to BodyFarm for creating lvalue-to-rvalue conversions. by Ted Kremenek · 12 years ago
- a6d62a1 Add helper method to BodyFarm for creatinging integral casts. by Ted Kremenek · 12 years ago
- d2f3882 Thread-safety analysis: better handling of unreachable blocks. Fixes a bug by DeLesley Hutchins · 12 years ago
- 016c33d Use helper method to create DeclRefExprs in BodyFarm, hopefully allevating by Ted Kremenek · 12 years ago
- 0a4c098 Add some structuring comments. No functionality change. by Ted Kremenek · 12 years ago
- cc85d21 Add faux-body support for dispatch_once(). by Ted Kremenek · 12 years ago
- a43df95 Implement faux-body-synthesis of well-known functions in the static analyzer when by Ted Kremenek · 12 years ago
- 60ff198 Thread-safety analysis: fix bug where shared trylock was treated as exclusive. by DeLesley Hutchins · 12 years ago
- 186af2d Thread safety analysis: properly canonicalize calls to virtual methods within by DeLesley Hutchins · 12 years ago
- 2a237e0 Thread-safety analysis: Fix warning when EXCLUSIVE_LOCKS_REQUIRED by DeLesley Hutchins · 12 years ago
- 5b280f2 Thread-safety analysis: fix ICE when EXCLUSIVE_LOCKS_REQUIRED or by DeLesley Hutchins · 12 years ago
- e5b89ed clang/lib/Analysis/ObjCNoReturn.cpp: Fix [-Wnewline-eof] by NAKAMURA Takumi · 12 years ago
- 670941c Format strings: offer a fixit for Darwin's %D/%U/%O to ISO %d/%u/%o. by Jordan Rose · 12 years ago
- 275b6f5 Format strings: %D, %U, and %O are valid on Darwin (same as %d, %u, %o). by Jordan Rose · 12 years ago
- 25c1d57 Teach -Wuninitialized to recognize common "noreturn" idioms in by Ted Kremenek · 12 years ago
- 4ef1920 Refactor logic in ExprEngine for detecting 'noreturn' methods by Ted Kremenek · 12 years ago
- 44ca53f Teach -Wuninitialized to recognize __attribute__((analyzer_noreturn)) by Ted Kremenek · 12 years ago
- f9ee0ba Thread-safety analysis: fix bug in expression matching code. by DeLesley Hutchins · 12 years ago
- 1ad23d6 Remove redundant semicolons which are null statements. by Dmitri Gribenko · 12 years ago
- 3f0ec52 Thread-safety analysis: differentiate between two forms of analysis; a precise by DeLesley Hutchins · 12 years ago
- 8be066e Format strings: suggest %lld instead of %qd and %Ld with -Wformat-non-iso. by Jordan Rose · 12 years ago
- bbb6bb4 Format strings: %Ld isn't available on Darwin or Windows. by Jordan Rose · 12 years ago
- 589190b Ampersand goes with identifier. by Chad Rosier · 12 years ago
- 2de4770 Bring buildbots back. Fix scoping issue and coding style from r163397. by Chad Rosier · 12 years ago
- 0b4db3e Thread-safety analysis: Add support for selectively turning off warnings by DeLesley Hutchins · 12 years ago
- 31ba613 Dont cast away const needlessly. Found by gcc48 -Wcast-qual. by Roman Divacky · 12 years ago
- 5a1ffe9 [analyzer] Always include destructors in the analysis CFG. by Jordan Rose · 12 years ago
- fd0f11c Thread-safety analysis: bugfix for case where a trylock occurs in an by DeLesley Hutchins · 12 years ago
- 5408153 Thread-safety analysis: fix handling of LOCK_RETURNED attribute so that the by DeLesley Hutchins · 12 years ago
- 4e4c157 Thread-safety analysis: fix handling of string constants in mutex by DeLesley Hutchins · 12 years ago
- 3d1125b Teach CFG that 'if (x & 0)' and 'if (x * 0)' is an unfeasible branch. by Ted Kremenek · 12 years ago
- b66529d [analyzer] Support C++ default arguments if they are literal values. by Jordan Rose · 12 years ago
- ad0fe03 Fix an assortment of doxygen comment issues found by -Wdocumentation. by Ted Kremenek · 12 years ago
- 66c486f Rename 'currentX' to 'currX' throughout analyzer and libAnalysis. by Ted Kremenek · 12 years ago
- c739406 [analyzer] Teach live variable analyzes that super uses self pointer. by Anna Zaks · 12 years ago
- ee2f032 Thread-safety-analysis: adds existential quantification over lock by DeLesley Hutchins · 12 years ago
- a74b715 Thread safety analysis: refactor to support more sophisticated handling by DeLesley Hutchins · 12 years ago
- a1fa471 Refactor thread safety analysis to use a different data structure by DeLesley Hutchins · 12 years ago
- 7094dee Add missing cctype includes. by Joerg Sonnenberger · 12 years ago
- f7158fa Properly check length modfiers for %n in format strings. by Hans Wennborg · 12 years ago
- 58e1e54 Remove ScanfArgType and bake that logic into ArgType. by Hans Wennborg · 12 years ago
- f3749f4 Rename analyze_format_string::ArgTypeResult to ArgType by Hans Wennborg · 12 years ago
- 5deddaf -Wformat: better handling of qualifiers on pointer arguments by Hans Wennborg · 12 years ago
- cec9ce4 Make -Wformat check the argument type for %n. by Hans Wennborg · 12 years ago
- 4684778 Make -Wformat walk the typedef chain when looking for size_t, etc. by Hans Wennborg · 12 years ago
- 11abf2a clang/lib: [CMake] Update tblgen'd dependencies. by NAKAMURA Takumi · 12 years ago
- 866abce clang/lib: [CMake] Reformat, alphabetize lists. by NAKAMURA Takumi · 12 years ago
- b9d0b76 Final piece of core issue 1330: delay computing the exception specification of by Richard Smith · 12 years ago
- 1d3ca25 [analyzer] Don't crash on implicit statements inside initializers. by Jordan Rose · 12 years ago
- d7f1d13 [analyzer] Variables with destructors are live until the destructor is run. by Jordan Rose · 12 years ago
- 56df4a9 When a && or || appears as the condition of a ?:, perform appropriate by Richard Smith · 12 years ago
- bed28ac Fix a typo (the the => the) by Sylvestre Ledru · 12 years ago
- fd8b435 Add a reverse iterator to DeclStmt, and use it when building a CFG. by Jordan Rose · 12 years ago