2008-03-06 |
Ted Kremenek | Added boilerplate to execute the CF reference count... |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Added "CheckerState" field to ValueState. |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Added transfer function support for __builtin_expect. |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Small bug fix when handling CallExprs that generate... |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Steve Naroff | Update vcproj files. |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Fixed bug that could case unwanted bifurcation of state... |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Fixed bogus assumption mistakenly introduced in r47955. |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Fixed a horribly insidious bit-masking bug in the imple... |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Minor cleanups (mainly indentation). |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Chris Lattner | remove the source location arguments to various target... |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Chris Lattner | add analysis source files to project. |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Chris Lattner | Add the various pathsensitive headers to the project. |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Chris Lattner | ProgramEdge.h doesn't exist anymore. |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Reverted patch 47926 for ProgramPoint.h because it... |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Chris Lattner | Remove the first layer of support for "portability... |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Added support for ProgramPoints to represent ExplodedNo... |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Chris Lattner | move this into the right file. |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Plug-in transfer function "EvalCall" now takes as an... |
commit | commitdiff | tree | snapshot |
2008-03-05 |
Ted Kremenek | Cleaned up typedefs involving StateTy so that we always... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | Make GRStmtNodeBuilder only depend on StateTy, and... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | Moved implementation of GRExprEngine::Nodify into GRStm... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | Moved GRExprEngine::NodeSet out of GRExprEngine and... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | CallExprs are now no longer block-level expressions... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | Added preliminary transfer function support for references. |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | For the transfer function for CallExpr, invalidate... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Anders Carlsson | Make intrinsics always_inline. |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | For the transfer function of DeclStmt, for now initiali... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | Fixed another obscure node-caching bug. |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | Implemented "print" method for ValueState. |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Chris Lattner | The operand to the visibility attribute is required... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | TargetInfo objects now own the TargetInfoImpl objects... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | Add transfer function support for the default initializ... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | Fixed insidious state propagation bug that would someti... |
commit | commitdiff | tree | snapshot |
2008-03-04 |
Ted Kremenek | Enhanced pretty-printing of undefined-argument errors. |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Chris Lattner | move deprecated -> attributes.c |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Anders Carlsson | Temporarily rename mmintrin.h so that it won't clash... |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Ted Kremenek | Fixed subtle caching bug in ExplodedGraph that would... |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Anders Carlsson | Add mmintrin.h header |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Ted Kremenek | Only allow a "noreturn" attribute to be affixed to... |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Ted Kremenek | Added TODO. |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Ted Kremenek | Added FIXME. |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Gabor Greif | The attribute nothrow maps to llvm attribute nounwind... |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Gabor Greif | Chris added this testcase with r47837. The mail only... |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Chris Lattner | avoid a warning. |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Chris Lattner | fix codegen support for functions that are nothrow... |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Chris Lattner | Add a bunch of attributes, patch by Nuno Lopes. |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Chris Lattner | Find clang headers in the clang headers dir, search... |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Chris Lattner | Build the clang headers. |
commit | commitdiff | tree | snapshot |
2008-03-03 |
Chris Lattner | Add a makefile to build and install headers. |
commit | commitdiff | tree | snapshot |
2008-03-01 |
Gabor Greif | ignore .ll files |
commit | commitdiff | tree | snapshot |
2008-03-01 |
Chris Lattner | Add codegen support for ObjC message expressions with... |
commit | commitdiff | tree | snapshot |
2008-03-01 |
Chris Lattner | Add codegen support for ObjC message expressions with... |
commit | commitdiff | tree | snapshot |
2008-03-01 |
Chris Lattner | newline at end of file, by David Chisnall |
commit | commitdiff | tree | snapshot |
2008-03-01 |
Chris Lattner | character literals have char type in C++ and int type... |
commit | commitdiff | tree | snapshot |
2008-03-01 |
Chris Lattner | Add support for the CPATH, C_INCLUDE_PATH, CPLUS_INCLUD... |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Ted Kremenek | Added extra check for calls to functions where we pass... |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Steve Naroff | Fix http://llvm.org/bugs/show_bug.cgi?id=2103. |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Ted Kremenek | Add checks for function calls via a function pointer... |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Ted Kremenek | Minor CFG optimization: don't create separate block... |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Ted Kremenek | When AST-dumping ObjCMessageExpr, output the selector. |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Steve Naroff | Fix http://llvm.org/bugs/show_bug.cgi?id=2106. |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Gabor Greif | Fix a crash where PI.TypeInfo has not been filled in... |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Ted Kremenek | "Refinement" of hack to bound loop-traversals: visit... |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Chris Lattner | testcase for attr deprecated, by Nuno Lopes. |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Chris Lattner | make include guards more unique. |
commit | commitdiff | tree | snapshot |
2008-02-29 |
Chris Lattner | Add support for attribute(deprecated), patch by Nuno... |
commit | commitdiff | tree | snapshot |
2008-02-28 |
Ted Kremenek | Added simple hack to reduce redundant warnings from... |
commit | commitdiff | tree | snapshot |
2008-02-28 |
Ted Kremenek | Added checking for undefined results of '<<' and '... |
commit | commitdiff | tree | snapshot |
2008-02-28 |
Eli Friedman | Implementation of the first clang-native header, stdboo... |
commit | commitdiff | tree | snapshot |
2008-02-28 |
Gabor Greif | Updated clang webpage to hint at "make update". Also |
commit | commitdiff | tree | snapshot |
2008-02-28 |
Ted Kremenek | Merged ValueState and ValueStateImpl into just ValueSta... |
commit | commitdiff | tree | snapshot |
2008-02-28 |
Ted Kremenek | Renamed "Uninitialized" -> "Undefined" in path-sensitiv... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Added parsing of attributes for functions. |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Fixed use of an uninitialized variable. |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | End paths when calling a function marked "noreturn." |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Added support for attribute "noreturn." |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Small tweaks to the transfer function for DeclStmt... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Lauro Ramos... | Disable internalize. Unfortunately, the configure scrip... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Removed VarDecl::hasStaticStorage() (redundant with... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Added string "[CHECKER]" to the output diagnostics... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Fixed edge-case in CFG construction where goto jumps... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Lauro Ramos... | A, q and Z are valid LLVM inline asm constraints. |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Bug fix in CFG construction: Properly register the... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Small fix to VisitLVal: this method can be called on... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | When analyzing a function, eagerly create symbolic... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Header file cleanups: reduce number of includes; move... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Similar bug fix to r47650; when processing CallExprs... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Fixed bug in the core transfer function logic for CallE... |
commit | commitdiff | tree | snapshot |
2008-02-27 |
Ted Kremenek | Fixed CFG construction bug that occurred when a conditi... |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Chris Lattner | fix an interaction between -isystem . and isysroot. |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Ted Kremenek | Fix bug when processing '?' operator: invalidate the... |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Ted Kremenek | Added boilerplate for plug-in transfer function support... |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Ted Kremenek | Don't emit divide-by-zero errors when we divide by... |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Ted Kremenek | Changed VarDecl::hasGlobalStorage() to be the negation... |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Lauro Ramos... | Implement codegen for the following static var init. |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Ted Kremenek | Removed static analysis-specific diagnostics from Diagn... |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Ted Kremenek | Removed hack with toggling the signedness flag of the... |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Ted Kremenek | Small fixes to shore up overhauling of transfer functio... |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Lauro Ramos... | Fix a bug in ConvertAsmString function. |
commit | commitdiff | tree | snapshot |
2008-02-26 |
Ted Kremenek | optimization: no longer create ExplodedNodes for Intege... |
commit | commitdiff | tree | snapshot |
next |