Commits · ac9ca01a80664b1d803083770912cb9f7843d44d · Roger Ferrer / llvm-epi · GitLab

Jul 23, 2010
- Dataflow solver: Don't overrwite the initial value of a block with top unless... · ac9ca01a
  Ted Kremenek authored Jul 23, 2010
  ac9ca01a
- AnalysisContext is not const. · cabfb726
  Zhongxing Xu authored Jul 23, 2010
  cabfb726
Jul 22, 2010
- Make a bunch of new data structures for the new analysis · adf644d0
  Zhongxing Xu authored Jul 22, 2010
  adf644d0
Jul 20, 2010
- Move 'hasValidLengthModifier' from PrintfFormatSpecifier to FormatSpecifier. · ea28f83a
  Ted Kremenek authored Jul 20, 2010
  ea28f83a
- Refactor ScanfConversionSpecifier to subclass ConversionSpecifier. · bb0ffd7a
  Ted Kremenek authored Jul 20, 2010
  bb0ffd7a
- Add 'ConversionSpecifier' root class in 'analyze_format_string' namespace and · f03e6d85
  Ted Kremenek authored Jul 20, 2010
  f03e6d85
- Tidy up analyze_printf::ConversionSpecifier::Kind declaration, prepping it to be merged · fe131688
  Ted Kremenek authored Jul 20, 2010
  fe131688
- Rename 'UnicodeStrArg' to 'SArg'. · 348d1499
  Ted Kremenek authored Jul 20, 2010
  348d1499
- Rename 'ConsumedSoFarArg' -> 'nArg' and 'OutIntPtrArg' to 'nArg' (scanf and printf checking). · 516ef222
  Ted Kremenek authored Jul 20, 2010
  516ef222
- Rename 'VoidPtrArg' to 'pArg' in printf/scanf checking. · 1ce32be3
  Ted Kremenek authored Jul 20, 2010
  1ce32be3
- Rename 'CStrArg' to 'sArg' for printf checking to match with the analagous enum for scanf checking. · 563e3edb
  Ted Kremenek authored Jul 20, 2010
  563e3edb
- Rename analyze_printf::ConversionSpecifier::IntAsCharArg to 'cArg' to match · ab0fe8a4
  Ted Kremenek authored Jul 20, 2010
  ab0fe8a4
- Constify all references to Stmt* and CFGBlock* in libChecker. · edb77fe8
  Zhongxing Xu authored Jul 20, 2010
  edb77fe8
- Add comments. · 08ce5dd0
  Zhongxing Xu authored Jul 20, 2010
  08ce5dd0
- Don't warn when a '%%' or '%*d' (scanf) is used in a format string with positional arguments, since · 6cd69423
  Ted Kremenek authored Jul 19, 2010
  6cd69423
Jul 19, 2010
- Reapply r108617. · 84f65e06
  Zhongxing Xu authored Jul 19, 2010
  84f65e06
Jul 17, 2010
- Revert r108617, it broke the build. · e2e031ed
  Benjamin Kramer authored Jul 17, 2010
  e2e031ed
- Prepare the analyzer for the callee in another translation unit: · 4ca4a999
  Zhongxing Xu authored Jul 17, 2010
  4ca4a999
Jul 16, 2010
- Add most of the boilerplate support for scanf format string checking. This includes · 0208793e
  Ted Kremenek authored Jul 16, 2010
  0208793e
Jun 30, 2010
- Add header file needed to compile with g++-4.6, which has undergone some more · 36d97d89
  Duncan Sands authored Jun 30, 2010
  36d97d89
Jun 26, 2010
- Add support for CXXRecordDecl in CFGRecStmtDeclVisitor. · a2a27d65
  Ted Kremenek authored Jun 25, 2010
  a2a27d65
Jun 18, 2010
- Printf format strings: Added some more tests and fixed some minor bugs. · 6e4ea2db
  Tom Care authored Jun 18, 2010
  6e4ea2db
- Bug 7394 - Fixed toString representation of Precisions in format strings. · 9eee328d
  Tom Care authored Jun 17, 2010
  9eee328d
Jun 17, 2010
- Bug 7377: Fixed several bad printf format string bugs. · b49ec690
  Tom Care authored Jun 17, 2010
  b49ec690
- Fix format string checking of '%c' by treating it as an integer conversion. Fixes PR 7391. · 98008a47
  Ted Kremenek authored Jun 17, 2010
  98008a47
Jun 16, 2010
- Extend format string type-checking to include '%p'. Fixes remaining cases PR 4468. · 64c235e4
  Ted Kremenek authored Jun 16, 2010
  64c235e4
Jun 09, 2010
- Added FixIt support to printf format string checking. · b7042707
  Tom Care authored Jun 09, 2010
  b7042707
May 30, 2010
- Convert DeclNodes to use TableGen. · ed05325d
  Alexis Hunt authored May 30, 2010
  ed05325d
May 11, 2010
- Fixes for compilation with Microsoft Visual Studio 2010, from Steven Watanabe! · 10dc8aa5
  Douglas Gregor authored May 11, 2010
  10dc8aa5
May 04, 2010
- add the ability to associate 'category' names with diagnostics · 216c33be
  Chris Lattner authored May 04, 2010
  216c33be
Apr 09, 2010
- Remove copy of 'Optional' in Clang tree, and convert clients to use the one now in the LLVM tree. · 26984fb4
  Ted Kremenek authored Apr 09, 2010
  26984fb4
- For 'open' check in UnixAPIChecker, hard code value of 'O_CREAT' on Darwin. · 212182d1
  Ted Kremenek authored Apr 08, 2010
  212182d1
Mar 31, 2010
- For reverse data flow analyses, enqueue the blocks in reverse order. · b43e06fa
  Ted Kremenek authored Mar 31, 2010
  b43e06fa
- Tweak DataFlowSolver's worklist data structure to have an ordered worklist · 8a47a38b
  Ted Kremenek authored Mar 31, 2010
  8a47a38b
Mar 23, 2010
- Only perform CFG-based warnings on 'static inline' functions that · 0b40532b
  Ted Kremenek authored Mar 23, 2010
  0b40532b
Mar 15, 2010
- Add comment to CFG to 'buildCFG()' arguments indicating that scope · f3bc99dd
  Ted Kremenek authored Mar 15, 2010
  f3bc99dd
Feb 27, 2010
- Add reference to positional arguments documentation. · af11dcf3
  Ted Kremenek authored Feb 27, 2010
  af11dcf3
- For printf format string checking, add support for positional format strings. · d166819c
  Ted Kremenek authored Feb 27, 2010
  d166819c
Feb 26, 2010
- For printf format string checking, move the tracking of the data argument index out of · 4a49d981
  Ted Kremenek authored Feb 26, 2010
  4a49d981
Feb 25, 2010
- Restore Zhongxing's commits r97122 r97127 r97129 r97131 which were reverted... · a2fbc944
  Douglas Gregor authored Feb 25, 2010
  a2fbc944