- 00ae8d5 Patch to warn on umimplemented methods coming from class's protocols. by Fariborz Jahanian · 17 years ago
- a1de8c7 Fixed several bugs in the propagation of "uninitialized value" by Ted Kremenek · 17 years ago
- d064951 Patch to use case-stmt for keywords used as selectgor names. by Fariborz Jahanian · 17 years ago
- d0b0154 Patch for method implementation. It populates ObjcImplementationDecl object with method implementation declarations . by Fariborz Jahanian · 17 years ago
- 4cbcb89 by Steve Naroff · 17 years ago
- aead153 Created new "ExprDeclBitVector" type bundle for dataflow analyses that need boolean by Ted Kremenek · 17 years ago
- 271f1a6 Fix some use of uninit variables issues, reported by Anton. by Chris Lattner · 17 years ago
- 68d331a by Steve Naroff · 17 years ago
- a9c0102 objc messages have side effects, return true from hasLocalSideEffect, fixing: by Chris Lattner · 17 years ago
- c592522 Added extra guard for null Stmt* when traversing the AST using VisitChildren. by Ted Kremenek · 17 years ago
- 322f58d Fixed two bugs in CFG construction: by Ted Kremenek · 17 years ago
- 9f3d942 Removed option "-parse-ast-check" from clang driver. This is now implemented by Ted Kremenek · 17 years ago
- 41193e4 Moved "VerifyDiagnostics" variable declaration to right below ProgAction by Ted Kremenek · 17 years ago
- 42e04c7 Removed inclusion of <memory>, which is no longer needed since we by Ted Kremenek · 17 years ago
- d39bcd8 Refactored driver so that any action that is implemented using an by Ted Kremenek · 17 years ago
- d0b90bf This patch inserts ivars declared in @implementation in its object and verifies by Fariborz Jahanian · 17 years ago
- 095ffca Removed a few TODOs on things which are done. by Fariborz Jahanian · 17 years ago
- ccc213f Handle (int)1.0e40 as an i-c-e. by Chris Lattner · 17 years ago
- 27fd388 Updated VC++ build system. by Hartmut Kaiser · 17 years ago
- a689512 Updated XCode project to reflect that DataflowValues.h and DataflowSolver.h have by Ted Kremenek · 17 years ago
- 1de632b Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client by Ted Kremenek · 17 years ago
- 0da1c10 Patch to make ObjcImplementationDecl derived from TypeDecl and supprt legacy by Fariborz Jahanian · 17 years ago
- c5f45e3 Fixed broken English in comment. by Ted Kremenek · 17 years ago
- ccb4f31 This patch introduces a new class to keep track of class implementation info. It also adds more by Fariborz Jahanian · 17 years ago
- 4457978 Added "CheckASTConsumer", a function that generalizes by Ted Kremenek · 17 years ago
- 786d337 Changed command line options "-check-dead-stores" and by Ted Kremenek · 17 years ago
- e88f683 Comment formatting changes. No real content changes. by Ted Kremenek · 17 years ago
- 6179aaf Minor comment changes. by Ted Kremenek · 17 years ago
- 4cd8b3c Removed "EverKilled" class in DeadStores checker; it is no longer used. by Ted Kremenek · 17 years ago
- 2c9334d Updated VC++ build system by Hartmut Kaiser · 17 years ago
- fdd225e Further refactored DataflowSolver. Now most code for the solver is shared by Ted Kremenek · 17 years ago
- d9bfa8c Added extra "constness" to parameter. by Ted Kremenek · 17 years ago
- 92dfb47 use the right rounding mode. by Chris Lattner · 17 years ago
- 67cfad6 Added PersistentMap, an ADT that implements a map data structure that by Ted Kremenek · 17 years ago
- d33218c Added smart pointer class "IntrusiveSPtr" that handles reference by Ted Kremenek · 17 years ago
- f37bb25 If we see an invalid #ifdef directive, enter a conditional compilation region by Chris Lattner · 17 years ago
- 031b2d2 Fix for 64-bit systems. by Chris Lattner · 17 years ago
- a8ae51f Fixed VC++ bitfield to unsigned/signed sign propagation issue. by Hartmut Kaiser · 17 years ago
- 987b15d Use the APFloat routines to evaluate FP immediates as by Chris Lattner · 17 years ago
- 3d2313e add comments. by Chris Lattner · 17 years ago
- c9bec4b further apfloat'ize the front-end, allowing codegen to pass by Chris Lattner · 17 years ago
- 1c9bdae work around bugs and missing features in apfloat. by Chris Lattner · 17 years ago
- 525a050 Use APFloat for the representation of FP immediates, ask the target by Chris Lattner · 17 years ago
- b27c156 This patch adds to new things to clang: by Fariborz Jahanian · 17 years ago
- 764a7ce Make case sorting deterministic by not depending on pointer by Chris Lattner · 17 years ago
- 894c57f This patch instantiates objects for forward protocols and in general handles use of by Fariborz Jahanian · 17 years ago
- 763051d Updated VC++ project files by Hartmut Kaiser · 17 years ago
- 4f5a2ab Updated XCode project with locations of "Analysis" visitor header files. by Ted Kremenek · 17 years ago
- 11de5cb Updated header file inlcude to new location of by Ted Kremenek · 17 years ago
- 57634c7 Renamed "include/clang/Analysis/CFGVisitors" "<snip>/Analysis/Visitors". by Ted Kremenek · 17 years ago
- adfb987 Moved include/clang/Analysis/*Visitor.h to include/clang/Analysis/CFGVisitors. by Ted Kremenek · 17 years ago
- bd51b87 Handle forward declaration of classes and prevent re-instantiation of by Fariborz Jahanian · 17 years ago
- 1d5b0e3 Match to do some semantic analysis on objective-c class decl. by Fariborz Jahanian · 17 years ago
- 2367e63 Updated VC++ project files. Disambiguated a variable. by Hartmut Kaiser · 17 years ago
- 80de08f Added support to clang driver to view ASTs using GraphViz. This by Ted Kremenek · 17 years ago
- d2a4a1a Moved GraphTraits<Stmt*> to StmtGraphTraits.h. This allows consumers of Stmt.h not to have to pay the cost by Ted Kremenek · 17 years ago
- 397fcc1 Patch to parse objective-c's @try-statement and @throw-statement. by Fariborz Jahanian · 17 years ago
- 5e97d4b Added GraphTraits template specialization for Stmt* to treat ASTs like graphs. by Ted Kremenek · 17 years ago
- b297754 More refactoring: decl and expr regisitration now uses CFGRecStmtDeclVisitor. by Ted Kremenek · 17 years ago
- ba0c5d6 Added two new visitors that extend CFGStmtVisitor: CFGRecStmtVisitor and CFGRecStmtDeclVisitor. by Ted Kremenek · 17 years ago
- 21d5a95 by Steve Naroff · 17 years ago
- 2cc62aa by Steve Naroff · 17 years ago
- 660fa00 Remove alloca import... by Steve Naroff · 17 years ago
- 563477d by Steve Naroff · 17 years ago
- fe1b1e6 DataflowSolver now acccepts an "_Equal" template parameter that allows the user by Ted Kremenek · 17 years ago
- f5a9518 Fixed bug where getBitRef would incorrectly grab the bit from the by Ted Kremenek · 17 years ago
- 44e4026 Changed solver to use "==" operator when comparing dataflow values by Ted Kremenek · 17 years ago
- 59d1827 Minor performance fix in transfer function logic. Previously we by Ted Kremenek · 17 years ago
- 43a1698 More refactoring and code reduction. by Ted Kremenek · 17 years ago
- 294a7c9 Add overloaded versions of DataflowSolver::runOnBlock to simplify by Ted Kremenek · 17 years ago
- a90b0d1 Added member template CFG::VisitBlockStmts to provide a succinct way by Ted Kremenek · 17 years ago
- a36c654 Additional comments and cosmetic cleanups. by Ted Kremenek · 17 years ago
- fd225cc Patch for object creation and handling of category declarations. by Fariborz Jahanian · 17 years ago
- 8e28065 Moved TransferFunction object within DataflowSolver to be a instance by Ted Kremenek · 17 years ago
- 105bfee Modified DataFlowValues and DataflowSolver to associate dataflow value by Ted Kremenek · 17 years ago
- 4c64e8e Added type "CFG::Edge" to encapsulate the notion of directed-edges by Ted Kremenek · 17 years ago
- 2f94f3c alloca.h doesn't exist on Windows. by Hartmut Kaiser · 17 years ago
- 7ffc9ed alloca.h is needed on Solaris by Gabor Greif · 17 years ago
- 0093359 Uses more description name for method implementation kind argument. by Fariborz Jahanian · 17 years ago
- efb65ec Updated VC++ project files after file rename. by Hartmut Kaiser · 17 years ago
- 146fbb0 Patch to remove ObjcProtoMethodDecl and use ObjcMethodDecl by Fariborz Jahanian · 17 years ago
- 2a9d82a Bug fix to merging of data flow values (merge incorrectly made values by Ted Kremenek · 17 years ago
- 6d6cfbf Add a comment and remove unused constructors. by Steve Naroff · 17 years ago
- 91a0c62 Made driver flag --check-uninit-values more self-explanatory. by Ted Kremenek · 17 years ago
- 0bcccc7 Fixed a VC++ issue related to bitmasks. As it turns out the compiler fills the unused bits of the word a bitmask is stored in with '1' (or randomly, I can't tell, I've seen '1' so far only), which creates wrong results in certain cases. by Hartmut Kaiser · 17 years ago
- 25e077d Patch to add objective-c's @protocl type declaration. by Fariborz Jahanian · 17 years ago
- 708391a by Steve Naroff · 17 years ago
- 475d4aa Re-added UninitializedValues.cpp to the XCode project because the file was renamed. by Ted Kremenek · 17 years ago
- 599e29c Renamed file due to mispelling. by Ted Kremenek · 17 years ago
- 2bf5514 UninitialuzedValues now only tracks BlockVarDecls; obviating false positives with by Ted Kremenek · 17 years ago
- 37387c9 by Steve Naroff · 17 years ago
- cd5860c More progress on UnitializedValues checker. We now have preliminary support by Ted Kremenek · 17 years ago
- 20ee4fb Split tracking of unitialized values for Decls and CFGBlock-level expressions. by Ted Kremenek · 17 years ago
- 56d516d Removed "ObserverTy" from core DataflowValues types. The observer by Ted Kremenek · 17 years ago
- 1225966 Removed check for NULL CFG. Bad CFGs will fire an assertion failure by Ted Kremenek · 17 years ago
- 94b3316 When building CFGs we now (unconditionally) add an empty CFGBlock to the CFG by Ted Kremenek · 17 years ago
- d2aecc3 Added ASTConsumer.h to XCode project. by Ted Kremenek · 17 years ago
- d16245b Fix a few 80 column violations. by Steve Naroff · 17 years ago
- e5ea380 Add const to debug hook... by Steve Naroff · 17 years ago
- 3f128ad by Steve Naroff · 17 years ago