| 2008-03-12 |
Steve Naroff | Use the "used" attribute. Without it, g++ removes all... |
commit | commitdiff | tree | snapshot |
| 2008-03-12 |
Ted Kremenek | Improved ExplodedGraph::Trim to only show nodes reachab... |
commit | commitdiff | tree | snapshot |
| 2008-03-12 |
Steve Naroff | -Add missing visitor for ObjCIvarRefExpr. |
commit | commitdiff | tree | snapshot |
| 2008-03-12 |
Steve Naroff | Since the rewriter now outputs C++, it no longer makes... |
commit | commitdiff | tree | snapshot |
| 2008-03-12 |
Ted Kremenek | Fixed regression in SymbolManager introduced in r48272. |
commit | commitdiff | tree | snapshot |
| 2008-03-12 |
Ted Kremenek | Prototype (pre-alpha) implementation of CFRef checker. |
commit | commitdiff | tree | snapshot |
| 2008-03-12 |
Steve Naroff | Remove more dependencies on C "flexible array member... |
commit | commitdiff | tree | snapshot |
| 2008-03-12 |
Steve Naroff | Make ivar rewrite C++ friendly (since C++ forces a... |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Ted Kremenek | Added pretty-printing support for checker-specific... |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Ted Kremenek | Expanded graph-visualization to include optional pretty... |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Ted Kremenek | Expanded ValueState pretty-printing to use an optional... |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Ted Kremenek | Expanded graph visualization interface to include speci... |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Steve Naroff | Make "super" rewrite for class methods C++ friendly... |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Ted Kremenek | Added bookkeeping of error nodes. |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Ted Kremenek | Added main logic for typestate tracking for the CFRetai... |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Steve Naroff | Make "super" rewrite C++ friendly (since it doesn't... |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Ted Kremenek | Added main skeleton for CFRetain transfer function... |
commit | commitdiff | tree | snapshot |
| 2008-03-11 |
Steve Naroff | Generate meta-data in a C++ compatible way (remove... |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Steve Naroff | Missed a couple "_IMPL" suffixes. |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Steve Naroff | Fix dangling pointer and give the implementation struct... |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Anders Carlsson | Add support for the 'N' constraint. |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Steve Naroff | Pass LangOptions to RewriteTest(). |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Chris Lattner | rewriter tests are darwin specific, don't run them... |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Chris Lattner | Fix "error: explicit template specialization cannot... |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Chris Lattner | Add some missing #includes for GCC mainline, patch... |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Ted Kremenek | Add transfer function support for pointer arithmetic... |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Chris Lattner | add comments about some simple optimizations that may... |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Chris Lattner | implement simple support for arbitrary token lookahead... |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Ted Kremenek | More edge-case handling with using liveness information... |
commit | commitdiff | tree | snapshot |
| 2008-03-10 |
Ted Kremenek | More cleanups with using the liveness analysis to remov... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Ted Kremenek | When processing the transfer function for a statement... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Ted Kremenek | Refactored guards for "GRExprEngine::RemoveDeadBindings... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Ted Kremenek | Bug fix in the transfer function for compound assignmen... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Anders Carlsson | Handle the 'n' constraint |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | Fix a ted-o |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Ted Kremenek | Fixed crash where SetBlkExpr would attempt to query... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | improve comment. |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | move PP::LookupFile from PPLexerChange -> PPDirectives.cpp |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | Add PPLexerChange.cpp to the project. |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | Move a bunch more code out of Preprocessor.cpp into... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Ted Kremenek | Bug fix: Don't call RemoveDeadBindings more than once... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | split macro expansion support out of Preprocessor.cpp... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Nate Begeman | Propagate calling convention information to function... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | rename HandleEndOfMacro -> HandleEndOfTokenLexer |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | split the MacroArgs class out of TokenLexer.cpp/h into |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | update documentation |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | rename some MacroExpander-related ivars to TokenLexer. |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | Rename MacroExpander.cpp/h -> TokenLexer.cpp/h |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | rename the MacroExpander class to TokenLexer. It handl... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | rename MacroTokens -> Tokens. When this is a token... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Nate Begeman | fix clang xcode build |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | split preprocesor directive handling out of Preprocesso... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | secondary targets are gone, simplify this. |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | simplify triple processing code now that there can... |
commit | commitdiff | tree | snapshot |
| 2008-03-09 |
Chris Lattner | be more quiet when building headers. |
commit | commitdiff | tree | snapshot |
| 2008-03-08 |
Chris Lattner | add some comments. |
commit | commitdiff | tree | snapshot |
| 2008-03-08 |
Chris Lattner | make float format handling more regular. |
commit | commitdiff | tree | snapshot |
| 2008-03-08 |
Chris Lattner | simplify all the type info accessors in TargeTInfo... |
commit | commitdiff | tree | snapshot |
| 2008-03-08 |
Chris Lattner | Fix a fixme by allowing pointers in different address... |
commit | commitdiff | tree | snapshot |
| 2008-03-08 |
Chris Lattner | eliminate the TargetInfoImpl stuff, simplifying the... |
commit | commitdiff | tree | snapshot |
| 2008-03-08 |
Chris Lattner | eliminate ComputeWCharInfo. |
commit | commitdiff | tree | snapshot |
| 2008-03-07 |
Ted Kremenek | Increased worklist limit for GRSimpleVals. |
commit | commitdiff | tree | snapshot |
| 2008-03-07 |
Ted Kremenek | Added --trim-path-graph to the driver to trim paths... |
commit | commitdiff | tree | snapshot |
| 2008-03-07 |
Ted Kremenek | Improved graph visualization of ExplodedGraphs to inclu... |
commit | commitdiff | tree | snapshot |
| 2008-03-07 |
Ted Kremenek | Renamed ValueManager to BasicValueFactory. |
commit | commitdiff | tree | snapshot |
| 2008-03-07 |
Nate Begeman | Add new test |
commit | commitdiff | tree | snapshot |
| 2008-03-07 |
Nate Begeman | Add fastcall/stdcall attribute support |
commit | commitdiff | tree | snapshot |
| 2008-03-07 |
Ted Kremenek | Refined divide-by-zero checking to distinguish between... |
commit | commitdiff | tree | snapshot |
| 2008-03-07 |
Ted Kremenek | Patch by Nuno Lopes: |
commit | commitdiff | tree | snapshot |
| 2008-03-06 |
Gabor Greif | fix typos |
commit | commitdiff | tree | snapshot |
| 2008-03-06 |
Ted Kremenek | Fixed mismatched deallocation in GRBlockCounter::Factor... |
commit | commitdiff | tree | snapshot |
| 2008-03-06 |
Chris Lattner | remove two obsolete tests, not sure why my previous... |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / clang / shortlog