aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2010-07-16Hook up warning for an incomplete scanlist in scanf format strings.Ted Kremenek
2010-07-16Add the main scanf-parsing logic that I meant to include in my previous commit.Ted Kremenek
2010-07-16Add missing header file.Ted Kremenek
2010-07-16Add most of the boilerplate support for scanf format string checking. This i...Ted Kremenek
2010-06-22Type Type::isRealFloatingType() that vectors are not floating-pointDouglas Gregor
2010-06-18Printf format strings: Added some more tests and fixed some minor bugs.Tom Care
2010-06-17Bug 7394 - Fixed toString representation of Precisions in format strings.Tom Care
2010-06-17Bug 7377: Fixed several bad printf format string bugs.Tom Care
2010-06-17Update CMake build for new attribute changes.Sean Hunt
2010-06-16Extend format string type-checking to include '%p'. Fixes remaining cases PR...Ted Kremenek
2010-06-11Small fixes regarding printf fix suggestions.Tom Care
2010-06-09Fix a typo that breaks the GCC build. Turns out that Clang isn'tDouglas Gregor
2010-06-09Added FixIt support to printf format string checking.Tom Care
2010-06-08Makefiles: Set Clang CPP compiler flags in a single location, instead of scat...Daniel Dunbar
2010-06-08Makefile: Switch Clang Makefiles to always include the top-level Clang Makefile.Daniel Dunbar
2010-06-04Assignments to reference variables shouldn't kill the variable.Jordy Rose
2010-06-03Make addStmt always add stmt. Delegate other cases to Visit() directly.Zhongxing Xu
2010-06-03CFG: add all LHS of assingments as lvalue. This improves support for C++ refe...Zhongxing Xu
2010-05-30Convert DeclNodes to use TableGen.Sean Hunt
2010-05-21Fix crash in CFG construction for 'break' statements appearing in statement e...Ted Kremenek
2010-05-13Don't add a null successor to a CFGBlock when the contents of an @synchronize...Ted Kremenek
2010-05-05Unbreak CMake build.Douglas Gregor
2010-04-30Add null check in CFGBuilder::VisitStmt() to make CFG constructionTed Kremenek
2010-04-29Fix CFG crasher involving statement expressions reported in PR 6938.Ted Kremenek
2010-04-14Use direct assignment instead of user defined conversion.Zhongxing Xu
2010-04-13CFGBuilder: always add C++ member call expr as block-level expr.Zhongxing Xu
2010-04-11Fix CFG bug where bases of member expressions were not always evaluated in a ...Ted Kremenek
2010-04-11Fix bug in AddStmtChoice:asLValue() where 'AsLValueNotAlwaysAdd' would not be...Ted Kremenek
2010-04-11Sort visitor methods. No functionality change.Ted Kremenek
2010-03-30the big refactoring bits of PR3782.Rafael Espindola
2010-03-29Be a bit more consistent in using operator->Rafael Espindola
2010-03-25Fix '+=' accumulation error when parsing numeric amounts in a format string.Ted Kremenek
2010-03-23Only perform CFG-based warnings on 'static inline' functions thatTed Kremenek
2010-03-12Allow users to set CPPFLAGS and CXXFLAGS on the make command line.Jeffrey Yasskin
2010-03-10When computing in AnalysisContext the variables referencedTed Kremenek
2010-03-03Simplify code a bit and remove unneeded semicolons.Benjamin Kramer
2010-03-03Fix an algorithmic bug in LiveVariables pointed out by Zhongxing.Ted Kremenek
2010-03-02[CFG]Ted Kremenek
2010-03-02Register all parameters even if they didn't occur in the function body.Zhongxing Xu
2010-03-01Allow a '0' precision in format strings (as the man page says it is okay).Ted Kremenek
2010-02-27For printf format string checking, add support for positional format strings.Ted Kremenek
2010-02-26For printf format string checking, move the tracking of the data argument ind...Ted Kremenek
2010-02-24Always add CallExpr as block-level expression. Inline-based interproceduralZhongxing Xu
2010-02-24Add support for '%C' and '%S' printf conversion specifiers.Ted Kremenek
2010-02-23Move the rest of the unreachable code analysis from libSemaTed Kremenek
2010-02-23Start moving some of the logic for the unreachable code analysis out of libSemaTed Kremenek
2010-02-22Revert "Simplify code: Succ is guaranteed to be not NULL.", which turns out toDaniel Dunbar
2010-02-22Simplify code: Succ is guaranteed to be not NULL.Zhongxing Xu
2010-02-17Add a utility method.Zhongxing Xu
2010-02-16Refactor the logic for printf argument type-checking into analyze_printf::Arg...Ted Kremenek