Code

Static analyzer cherrypicks 1#30

Code

Merged

hyp merged 181 commits intoswiftlang:apple/stable/20190619swiftlang/llvm-project:apple/stable/20190619from

haoNoQ:static-analyzer-cherrypicks-1haoNoQ/llvm-project:static-analyzer-cherrypicks-1Copy head branch name to clipboard

Oct 26, 2019

Commits

Commits on Oct 25, 2019

• [analyzer] RetainCount: Add support for OSRequiredCast().

  Show description for a129173
  haoNoQ

  committed
  a129173

  Copy full SHA for a129173

• [analyzer] DeadStores: Add a crude suppression files generated by DriverKit IIG.

  Show description for 1a1eb30
  haoNoQ

  committed
  1a1eb30

  Copy full SHA for 1a1eb30

• [analyzer] NFC: Change evalCall() to provide a CallEvent.

  Show description for fbcd0ff
  haoNoQ

  committed
  fbcd0ff

  Copy full SHA for fbcd0ff

• [analyzer] Fix JSON dumps for dynamic type information.

  Show description for 767a5c4
  haoNoQ

  committed
  767a5c4

  Copy full SHA for 767a5c4

• [analyzer] Fix JSON dumps for location contexts.

  Show description for 7a8f00c
  haoNoQ

  committed
  7a8f00c

  Copy full SHA for 7a8f00c

• [analyzer] Fix JSON dumps for store clusters.

  Show description for 8ad26fd
  haoNoQ

  committed
  8ad26fd

  Copy full SHA for 8ad26fd

• [analyzer] exploded-graph-rewriter: Fix escaping StringRegions.

  Show description for 57a50d2
  haoNoQ

  committed
  57a50d2

  Copy full SHA for 57a50d2

• [analyzer] exploded-graph-rewriter: Implement a --diff mode.

  Show description for 6aecb50
  haoNoQ

  committed
  6aecb50

  Copy full SHA for 6aecb50

• [analyzer] DeadStores: Update the crude suppression for files generated by IIG.

  Show description for 4ba630a
  haoNoQ

  committed
  4ba630a

  Copy full SHA for 4ba630a

• [analyzer] Fix JSON dumps for ExplodedNodes

  Show description for 292d81f
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  292d81f

  Copy full SHA for 292d81f

• [analyzer] print() JSONify: ProgramPoint revision

  Show description for 1c919cf
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  1c919cf

  Copy full SHA for 1c919cf

• [analyzer] ExprEngine: Escape pointers in bitwise operations

  Show description for c08ef72
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  c08ef72

  Copy full SHA for c08ef72

• [analyzer] Add more timers for performance profiling.

  Show description for 7266f07
  haoNoQ

  committed
  7266f07

  Copy full SHA for 7266f07

• [analyzer] NFC: exploded-graph-rewriter: Extract some code into functions.

  Show description for ade7a5e
  haoNoQ

  committed
  ade7a5e

  Copy full SHA for ade7a5e

• [analyzer] exploded-graph-rewriter: Add support for range constraints.

  Show description for cec5820
  haoNoQ

  committed
  cec5820

  Copy full SHA for cec5820

• [analyzer] exploded-graph-rewriter: Fix escaping for bitwise-or.

  Show description for 26838f1
  haoNoQ

  committed
  26838f1

  Copy full SHA for 26838f1

• [analyzer] print() JSONify: Create pointers

  Show description for db14325
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  db14325

  Copy full SHA for db14325

• [analyzer] exploded-graph-rewriter: Prettier location context dumps.

  Show description for a7a7930
  haoNoQ

  committed
  a7a7930

  Copy full SHA for a7a7930

• [analyzer] Fix clang-tidy crash on GCCAsmStmt

  Show description for 8496fee
  

  nhukc

  authored and

  haoNoQ

  committed
  8496fee

  Copy full SHA for 8496fee

• [analyzer] exploded-graph-rewriter: Implement program point tags.

  Show description for 2a91883
  haoNoQ

  committed
  2a91883

  Copy full SHA for 2a91883

• [analyzer] exploded-graph-rewriter: Add support for dynamic types.

  Show description for b30e422
  haoNoQ

  committed
  b30e422

  Copy full SHA for b30e422

• [analyzer] NFC: Add a convenient CallDescriptionMap class.

  Show description for 8b8a2a8
  haoNoQ

  committed
  8b8a2a8

  Copy full SHA for 8b8a2a8

• [analyzer] NFC: CallDescription: Implement describing C library functions.

  Show description for 769533c
  haoNoQ

  committed
  769533c

  Copy full SHA for 769533c

• [analyzer] CStringChecker: Modernize to use CallDescriptions.

  Show description for 9d48193
  haoNoQ

  committed
  9d48193

  Copy full SHA for 9d48193

• [analyzer] NonnullGlobalConstants: Don't be confused by a _Nonnull attribute.

  Show description for 264ac3e
  haoNoQ

  committed
  264ac3e

  Copy full SHA for 264ac3e

• [analyzer] Fix invalidation when returning into a ctor initializer.

  Show description for 7f5f4d5
  haoNoQ

  committed
  7f5f4d5

  Copy full SHA for 7f5f4d5

• [analyzer] Support kfree in MallocChecker

  Show description for 75e90a7
  

  nhukc

  authored and

  haoNoQ

  committed
  75e90a7

  Copy full SHA for 75e90a7

• [analyzer] exploded-graph-rewriter: Add support for objects under construction.

  Show description for c2680c6
  haoNoQ

  committed
  c2680c6

  Copy full SHA for c2680c6

• [analyzer] exploded-graph-rewriter: Improve program point dumps.

  Show description for dc3ce0e
  haoNoQ

  committed
  dc3ce0e

  Copy full SHA for dc3ce0e

• [analyzer] exploded-graph-rewriter: Implement a dark color scheme.

  Show description for 5497e33
  haoNoQ

  committed
  5497e33

  Copy full SHA for 5497e33

• [IDF] Generalize IDFCalculator to be used with Clang's CFG

  Show description for 9bb31d3
  

  Szelethus

  authored and

  haoNoQ

  committed
  9bb31d3

  Copy full SHA for 9bb31d3

• Removed extra ; after function definition

  Show description for 8a0a8b3
  

  Szelethus

  authored and

  haoNoQ

  committed
  8a0a8b3

  Copy full SHA for 8a0a8b3

• Attempt to fix buildbot failures with MSVC

  Show description for e2711bb
  

  Szelethus

  authored and

  haoNoQ

  committed
  e2711bb

  Copy full SHA for e2711bb

• Minor cleanup.

  Show description for 76b8d1b
  

  Artem-B

  authored and

  haoNoQ

  committed
  76b8d1b

  Copy full SHA for 76b8d1b

• [analyzer] exploded-graph-rewriter: Implement checker messages.

  Show description for 56e5cd9
  haoNoQ

  committed
  56e5cd9

  Copy full SHA for 56e5cd9

• [analyzer] exploded-graph-rewriter: Collapse very long statement pretty-prints.

  Show description for 0cb9509
  haoNoQ

  committed
  0cb9509

  Copy full SHA for 0cb9509

• [analyzer] exploded-graph-rewriter: NFC: Add more comments.

  Show description for 577a874
  haoNoQ

  committed
  577a874

  Copy full SHA for 577a874

• [analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes.

  Show description for f7beaf3
  haoNoQ

  committed
  f7beaf3

  Copy full SHA for f7beaf3

• [Dominators] PR42041: Skip nullpointer successors

  Show description for 1bd5a87
  

  Szelethus

  authored and

  haoNoQ

  committed
  1bd5a87

  Copy full SHA for 1bd5a87

• [analyzer][Dominator] Add post dominators to CFG + a new debug checker

  Show description for b342985
  

  Szelethus

  authored and

  haoNoQ

  committed
  b342985

  Copy full SHA for b342985

• Specialize an anchor() function in the correct namespace

  Show description for e039601
  

  Szelethus

  authored and

  haoNoQ

  committed
  e039601

  Copy full SHA for e039601

• Make a buildbot using a buggy gcc happy

  Show description for 34e0c85
  

  Szelethus

  authored and

  haoNoQ

  committed
  34e0c85

  Copy full SHA for 34e0c85

• [analyzer][CFG] Return the correct terminator condition

  Show description for 01bae84
  

  Szelethus

  authored and

  haoNoQ

  committed
  01bae84

  Copy full SHA for 01bae84

• Revert "[analyzer][CFG] Return the correct terminator condition"

  Show description for 6216514
  

  Szelethus

  authored and

  haoNoQ

  committed
  6216514

  Copy full SHA for 6216514

• [analyzer] exploded-graph-rewriter: Implement a black-and-white color scheme.

  Show description for 509b06f
  haoNoQ

  committed
  509b06f

  Copy full SHA for 509b06f

• [analyzer] ReturnValueChecker: Model the guaranteed boolean return value of function calls

  Show description for b23a7c1
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  b23a7c1

  Copy full SHA for b23a7c1

• [CTU] Add support for virtual functions

  Show description for 697bc2b
  

  Gabor Marton

  authored and

  haoNoQ

  committed
  697bc2b

  Copy full SHA for 697bc2b

• [CFG] Add a new function to get the proper condition of a CFGBlock

  Show description for 727894b
  

  Szelethus

  authored and

  haoNoQ

  committed
  727894b

  Copy full SHA for 727894b

• [analyzer][Dominators][NFC] Add unit tests

  Show description for 7197458
  

  Szelethus

  authored and

  haoNoQ

  committed
  7197458

  Copy full SHA for 7197458

• Fix a buildbot failure due to the AST's lifetime ending before the test

  Show description for e3c67d0
  

  Szelethus

  authored and

  haoNoQ

  committed
  e3c67d0

  Copy full SHA for e3c67d0

• [analyzer][IDF] Add a control dependency calculator + a new debug checker

  Show description for 224dd18
  

  Szelethus

  authored and

  haoNoQ

  committed
  224dd18

  Copy full SHA for 224dd18

• [analyzer] Track terminator conditions on which a tracked expression depends

  Show description for 7c6fe06
  

  Szelethus

  authored and

  haoNoQ

  committed
  7c6fe06

  Copy full SHA for 7c6fe06

• [analyzer] Add a debug analyzer config to place an event for each tracked condition

  Show description for de2cf58
  

  Szelethus

  authored and

  haoNoQ

  committed
  de2cf58

  Copy full SHA for de2cf58

• Removed the test case added in D63538 due to windows buildbot failures

  Show description for b4f5ac1
  

  Szelethus

  authored and

  haoNoQ

  committed
  b4f5ac1

  Copy full SHA for b4f5ac1

• [analyzer] Add analyzer option to limit the number of imported TUs

  Show description for b502c82
  

  Endre Fulop

  authored and

  haoNoQ

  committed
  b502c82

  Copy full SHA for b502c82

• [analyzer] exploded-graph-rewriter: Implement a single-path mode.

  Show description for 25ab0b8
  haoNoQ

  committed
  25ab0b8

  Copy full SHA for 25ab0b8

• [analyzer] exploded-graph-rewriter: Implement a topology-only mode.

  Show description for ee6a8d9
  haoNoQ

  committed
  ee6a8d9

  Copy full SHA for ee6a8d9

• [analyzer] CastValueChecker: Model casts

  Show description for 9a4d419
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  9a4d419

  Copy full SHA for 9a4d419

• Revert "[analyzer] CastValueChecker: Model casts"

  Show description for f06353d
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  f06353d

  Copy full SHA for f06353d

• [analyzer] CastValueChecker: Model casts

  Show description for 52a7a12
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  52a7a12

  Copy full SHA for 52a7a12

• [analyzer] CastValueChecker: Remove a dump()

  Show description for b153f8e
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  b153f8e

  Copy full SHA for b153f8e

• [analyzer] exploded-graph-rewriter: Fix filenames in program point.

  Show description for bd14f18
  haoNoQ

  committed
  bd14f18

  Copy full SHA for bd14f18

• [analyzer] exploded-graph-rewriter: Improve source location dumps.

  Show description for a0b89c7
  haoNoQ

  committed
  a0b89c7

  Copy full SHA for a0b89c7

• NFC: Unforget a colon in a few CHECK: directives.

  Show description for 47c09e3
  haoNoQ

  committed
  47c09e3

  Copy full SHA for 47c09e3

• [analyzer] MallocChecker: Prevent Integer Set Library false positives

  Show description for 47155f0
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  47155f0

  Copy full SHA for 47155f0

• [analyzer] Fix -Wunused-function in NDEBUG builds with #ifdef LLVM_DUMP_METHOD

  Show description for c443faa
  

  MaskRay

  authored and

  haoNoQ

  committed
  c443faa

  Copy full SHA for c443faa

• [CrossTU] Added CTU argument to diagnostic consumer create fn.

  Show description for 1bfc7a3
  

  balazske

  authored and

  haoNoQ

  committed
  1bfc7a3

  Copy full SHA for 1bfc7a3

• PlistDiagnostics Fix for compile warning (NFC).

  Show description for c1187cc
  

  balazske

  authored and

  haoNoQ

  committed
  c1187cc

  Copy full SHA for c1187cc

• Fix exporting SARIF files from scan-build on Windows.

  Show description for c1b1f83
  

  AaronBallman

  authored and

  haoNoQ

  committed
  c1b1f83

  Copy full SHA for c1b1f83

• [CrossTU] Add a function to retrieve original source location.

  Show description for 34408f6
  

  balazske

  authored and

  haoNoQ

  committed
  34408f6

  Copy full SHA for 34408f6

• [CrossTU] Fix plist macro expansion if macro in other file.

  Show description for 83306e8
  

  balazske

  authored and

  haoNoQ

  committed
  83306e8

  Copy full SHA for 83306e8

• Fix failing test plist-macros-with-expansion-ctu.c

  Show description for fb6a2e4
  

  balazske

  authored and

  haoNoQ

  committed
  fb6a2e4

  Copy full SHA for fb6a2e4

• [analyzer] Add yaml parser to GenericTaintChecker

  Show description for d385af7
  

  boga95

  authored and

  haoNoQ

  committed
  d385af7

  Copy full SHA for d385af7

• Buildbot fix for r367190

  Show description for 4f3e566
  

  boga95

  authored and

  haoNoQ

  committed
  4f3e566

  Copy full SHA for 4f3e566

• Fix taint-generic.c on Windows, handle case in OS error

  Show description for ac22da6
  

  rnk

  authored and

  haoNoQ

  committed
  ac22da6

  Copy full SHA for ac22da6

• [analyzer] StackFrameContext: Add NodeBuilderContext::blockCount() to its profile

  Show description for 86d1d30
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  86d1d30

  Copy full SHA for 86d1d30

• [Analyzer] Iterator Checkers - Fix for Crash on Iterator Differences

  Show description for 0cdd168
  

  Adam Balogh

  authored and

  haoNoQ

  committed
  0cdd168

  Copy full SHA for 0cdd168

• [analyzer] Fix scan-build's plist output in plist-html mode.

  Show description for da029db
  haoNoQ

  committed
  da029db

  Copy full SHA for da029db

• [analyzer] ConditionBRVisitor: Fix HTML PathDiagnosticPopUpPieces

  Show description for f92e410
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  f92e410

  Copy full SHA for f92e410

• [analyzer] CastValueChecker: Model castAs(), getAs()

  Show description for e4f5bee
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  e4f5bee

  Copy full SHA for e4f5bee

• [analyzer][NFC] Refactoring BugReporter.cpp P1.: Store interesting symbols/regions in a simple set

  Show description for ae73909
  

  Szelethus

  authored and

  haoNoQ

  committed
  ae73909

  Copy full SHA for ae73909

• [analyzer][NFC] Refactoring BugReporter.cpp P2.: Clean up the construction of bug paths and finding a valid report

  Show description for ceaf317
  

  Szelethus

  authored and

  haoNoQ

  committed
  ceaf317

  Copy full SHA for ceaf317

• [analyzer][NFC] Refactoring BugReporter.cpp P3.: std::shared_pointer<PathDiagnosticPiece> -> PathDiagnosticPieceRef

  Show description for 830bb80
  

  Szelethus

  authored and

  haoNoQ

  committed
  830bb80

  Copy full SHA for 830bb80

• [analyzer][NFC] Refactoring BugReporter.cpp P4.: If it can be const, make it const

  Show description for 03ba03c
  

  Szelethus

  authored and

  haoNoQ

  committed
  03ba03c

  Copy full SHA for 03ba03c

• [analyzer][NFC] Refactoring BugReporter.cpp P5.: Compact mile long function invocations into objects

  Show description for 2bda66a
  

  Szelethus

  authored and

  haoNoQ

  committed
  2bda66a

  Copy full SHA for 2bda66a

• [analyzer][NFC] Address inlines of D65484

  Show description for 6e8af13
  

  Szelethus

  authored and

  haoNoQ

  committed
  6e8af13

  Copy full SHA for 6e8af13

• Remove the extra `;`.

  Show description for b68349e
  

  darkbuck

  authored and

  haoNoQ

  committed
  b68349e

  Copy full SHA for b68349e

• [analyzer][NFC] Refactoring BugReporter.cpp P6.: Completely get rid of interestingness propagation

  Show description for d659255
  

  Szelethus

  authored and

  haoNoQ

  committed
  d659255

  Copy full SHA for d659255

• [analyzer][NFC] Make sure that the BugReport is not modified during the construction of non-visitor pieces

  Show description for 8e595b6
  

  Szelethus

  authored and

  haoNoQ

  committed
  8e595b6

  Copy full SHA for 8e595b6

• [analyzer] Disable the checker-plugins test on Darwin.

  Show description for 5d52cad
  haoNoQ

  committed
  5d52cad

  Copy full SHA for 5d52cad

• [analyzer] exploded-graph-rewriter: Open the converted graph immediately.

  Show description for 082a04e
  haoNoQ

  committed
  082a04e

  Copy full SHA for 082a04e

• [analyzer] exploded-graph-rewriter: NFC: Refactor explorers into trimmers.

  Show description for 6fb513c
  haoNoQ

  committed
  6fb513c

  Copy full SHA for 6fb513c

• [analyzer] exploded-graph-rewriter: Implement manual graph trimming.

  Show description for 58304c8
  haoNoQ

  committed
  58304c8

  Copy full SHA for 58304c8

• [analyzer] exploded-graph-rewriter: Implement displaying Store pointers.

  Show description for 9daf5aa
  haoNoQ

  committed
  9daf5aa

  Copy full SHA for 9daf5aa

• [analyzer] Prune calls to functions with linear CFGs that return a non-zero constrained value

  Show description for 64a7601
  

  Szelethus

  authored and

  haoNoQ

  committed
  64a7601

  Copy full SHA for 64a7601

• [analyzer] Track the right hand side of the last store regardless of its value

  Show description for c47b77d
  

  Szelethus

  authored and

  haoNoQ

  committed
  c47b77d

  Copy full SHA for c47b77d

• [analyzer][NFC] Prepare visitors for different tracking kinds

  Show description for 65cdff4
  

  Szelethus

  authored and

  haoNoQ

  committed
  65cdff4

  Copy full SHA for 65cdff4

• [analyzer] Don't delete TaintConfig copy constructor

  Show description for 2bc5f14
  

  bulbazord

  authored and

  haoNoQ

  committed
  2bc5f14

  Copy full SHA for 2bc5f14

• Fix the -Wunused-variable warning.

  Show description for 46c51f4
  

  hokein

  authored and

  haoNoQ

  committed
  46c51f4

  Copy full SHA for 46c51f4

• [analyzer] Note last writes to a condition only in a nested stackframe

  Show description for 915553a
  

  Szelethus

  authored and

  haoNoQ

  committed
  915553a

  Copy full SHA for 915553a

• [analyzer][CFG] Don't track the condition of asserts

  Show description for 38af1e5
  

  Szelethus

  authored and

  haoNoQ

  committed
  38af1e5

  Copy full SHA for 38af1e5

• [analyzer][NFC] Prove that we only track the evaluated part of the condition

  Show description for 76e9a32
  

  Szelethus

  authored and

  haoNoQ

  committed
  76e9a32

  Copy full SHA for 76e9a32

• [CFG] Introduce CFGElementRef, a wrapper that knows it's position in a CFGBlock

  Show description for b61668f
  

  Szelethus

  authored and

  haoNoQ

  committed
  b61668f

  Copy full SHA for b61668f

• [NFCI] Always initialize BugReport const fields

  Show description for 80789df
  

  bulbazord

  authored and

  haoNoQ

  committed
  80789df

  Copy full SHA for 80789df

• [analyzer] Warn about -analyzer-configs being meant for development purposes only

  Show description for 23ab9d8
  

  Szelethus

  authored and

  haoNoQ

  committed
  23ab9d8

  Copy full SHA for 23ab9d8

• [analyzer] Analysis: Silence checkers

  Show description for b2b970a
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  b2b970a

  Copy full SHA for b2b970a

• [analyzer] Turn an assert into an if condition

  Show description for 67b9d76
  

  Szelethus

  authored and

  haoNoQ

  committed
  67b9d76

  Copy full SHA for 67b9d76

• [analyzer] NFC: Drop support for extra text attached to bug reports.

  Show description for 1131e93
  haoNoQ

  committed
  1131e93

  Copy full SHA for 1131e93

• [analyzer] NFC: Rename GRBugReporter to PathSensitiveBugReporter.

  Show description for d7d5a99
  haoNoQ

  committed
  d7d5a99

  Copy full SHA for d7d5a99

• [CallGraph] Take into accound calls that aren't within any function bodies.

  Show description for 59d2c07
  haoNoQ

  committed
  59d2c07

  Copy full SHA for 59d2c07

• [analyzer] Improve VirtualCallChecker and enable parts of it by default.

  Show description for 859e660
  haoNoQ

  committed
  859e660

  Copy full SHA for 859e660

• [analyzer] Fix a crash when destroying a non-region.

  Show description for 37f9ef0
  haoNoQ

  committed
  37f9ef0

  Copy full SHA for 37f9ef0

• [analyzer] NFC: Remove the BugTypes set from BugReporter.

  Show description for 04abbac
  haoNoQ

  committed
  04abbac

  Copy full SHA for 04abbac

• Removed some dead code in BugReporter and related files

  Show description for e6b0eed
  

  gribozavr

  authored and

  haoNoQ

  committed
  e6b0eed

  Copy full SHA for e6b0eed

• [analyzer] Mention whether an event is about a condition in a bug report part 1

  Show description for 0f21765
  

  Szelethus

  authored and

  haoNoQ

  committed
  0f21765

  Copy full SHA for 0f21765

• [analyzer][NFC] Add different interestingness kinds

  Show description for cac5f30
  

  Szelethus

  authored and

  haoNoQ

  committed
  cac5f30

  Copy full SHA for cac5f30

• [analyzer] Don't make ConditionBRVisitor events prunable when the condition is an interesting field

  Show description for 280b7ed
  

  Szelethus

  authored and

  haoNoQ

  committed
  280b7ed

  Copy full SHA for 280b7ed

• [analyzer] Mention whether an event is about a condition in a bug report part 2

  Show description for 29ce5ea
  

  Szelethus

  authored and

  haoNoQ

  committed
  29ce5ea

  Copy full SHA for 29ce5ea

• [analyzer] TrackConstraintBRVisitor: Do not track unknown values

  Show description for 2e39e0d
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  2e39e0d

  Copy full SHA for 2e39e0d

• [analyzer] CastValueChecker: Store the dynamic types and casts

  Show description for 372a835
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  372a835

  Copy full SHA for 372a835

• [analyzer] CastValueChecker: Rewrite dead header hotfix

  Show description for 80c6a0d
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  80c6a0d

  Copy full SHA for 80c6a0d

• [analyzer] CastValueChecker: Try to fix the buildbots

  Show description for f339739
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  f339739

  Copy full SHA for f339739

• [analyzer] Don't track the condition of foreach loops

  Show description for 0376405
  

  Szelethus

  authored and

  haoNoQ

  committed
  0376405

  Copy full SHA for 0376405

• [analyzer] CastValueChecker: Model isa(), isa_and_nonnull()

  Show description for 818dd65
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  818dd65

  Copy full SHA for 818dd65

• [analyzer] Enable control dependency condition tracking by default

  Show description for aaa2160
  

  Szelethus

  authored and

  haoNoQ

  committed
  aaa2160

  Copy full SHA for aaa2160

• Remove an unused function, suppress -Wunused-function warning.

  Show description for 5af8cb0
  

  hokein

  authored and

  haoNoQ

  committed
  5af8cb0

  Copy full SHA for 5af8cb0

• [analyzer] DynamicTypeInfo: Avoid putting null regions into dynamic typemap.

  Show description for cfe5b5e
  haoNoQ

  committed
  cfe5b5e

  Copy full SHA for cfe5b5e

• [analyzer] CastValueChecker: Avoid modeling casts between objects.

  Show description for 00e714c
  haoNoQ

  committed
  00e714c

  Copy full SHA for 00e714c

• [analyzer] CastValueChecker: Provide DynamicTypeMap with pointer types only.

  Show description for fd6e1ad
  haoNoQ

  committed
  fd6e1ad

  Copy full SHA for fd6e1ad

• [analyzer] CastValueChecker: Correctly model results of based-to-derived casts.

  Show description for e1f0dc2
  haoNoQ

  committed
  e1f0dc2

  Copy full SHA for e1f0dc2

• [analyzer] Avoid unnecessary enum range check on LValueToRValue casts

  Show description for 70e388f
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  70e388f

  Copy full SHA for 70e388f

• [analyzer] Analysis: Fix checker silencing

  Show description for c867f49
  

  Csaba Dabis

  authored and

  haoNoQ

  committed
  c867f49

  Copy full SHA for c867f49

• [analyzer] Trust global initializers when analyzing main().

  Show description for a5881a2
  haoNoQ

  committed
  a5881a2

  Copy full SHA for a5881a2

• [analyzer] pr43036: Fix support for operator 'sizeof...'.

  Show description for e4af1c1
  haoNoQ

  committed
  e4af1c1

  Copy full SHA for e4af1c1

• [analyzer] Fix analyzer warnings on analyzer.

  Show description for 4538b74
  haoNoQ

  committed
  4538b74

  Copy full SHA for 4538b74

• [CFG] Make representation of destructor calls more accurate.

  Show description for fda60dd
  haoNoQ

  committed
  fda60dd

  Copy full SHA for fda60dd

• [analyzer] Fix more analyzer warnings on analyzer and libAnalysis.

  Show description for 035b74e
  haoNoQ

  committed
  035b74e

  Copy full SHA for 035b74e

• [Analyzer] Iterator Checkers - Make range errors and invalidated access fatal

  Show description for 807d0ec
  

  Adam Balogh

  authored and

  haoNoQ

  committed
  807d0ec

  Copy full SHA for 807d0ec

• [CFG] Fix CFG for statement-expressions in return values.

  Show description for 2a829ba
  haoNoQ

  committed
  2a829ba

  Copy full SHA for 2a829ba

• [analyzer] Add a checker option to detect nested dead stores

  Show description for 0332d84
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  0332d84

  Copy full SHA for 0332d84

• [analyzer] NonNullParamChecker and CStringChecker parameter number in checker message

  Show description for d0af813
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  d0af813

  Copy full SHA for d0af813

• Unbreak the build after r370798

  Show description for c1a51bd
  

  d0k

  authored and

  haoNoQ

  committed
  c1a51bd

  Copy full SHA for c1a51bd

• [analyzer] scan-build: handle --sysroot=/path in addition to --sysroot /path.

  Show description for 8f90df1
  haoNoQ

  committed
  8f90df1

  Copy full SHA for 8f90df1

• [analyzer] pr43179: Make CallDescription defensive against C variadic functions.

  Show description for 69ca3da
  haoNoQ

  committed
  69ca3da

  Copy full SHA for 69ca3da

• [analyzer] Add minimal support for fix-it hints.

  Show description for 373f8bc
  haoNoQ

  committed
  373f8bc

  Copy full SHA for 373f8bc

• Move prop-sink branch to monorepo.

  Show description for 67419f1
  

  boga95

  authored and

  haoNoQ

  committed
  67419f1

  Copy full SHA for 67419f1

• [analyzer] NFC: Introduce sub-classes for path-sensitive and basic reports.

  Show description for 9dbd22a
  haoNoQ

  committed
  9dbd22a

  Copy full SHA for 9dbd22a

• [analyzer] NFC: Simplify bug report equivalence classes to not be ilists.

  Show description for decdf63
  haoNoQ

  committed
  decdf63

  Copy full SHA for decdf63

• [analyzer] NFC: Re-implement stack hints as a side map in BugReport.

  Show description for 707c3f5
  haoNoQ

  committed
  707c3f5

  Copy full SHA for 707c3f5

• [analyzer] NFC: Move getStmt() and createEndOfPath() out of PathDiagnostic.

  Show description for 4ed346d
  haoNoQ

  committed
  4ed346d

  Copy full SHA for 4ed346d

• [analyzer] NFC: Move resetDiagnosticLocationToMainFile() to BugReporter.

  Show description for 1c5ee0c
  haoNoQ

  committed
  1c5ee0c

  Copy full SHA for 1c5ee0c

• [analyzer] NFC: Move PathDiagnostic classes to libAnalysis.

  Show description for fa82362
  haoNoQ

  committed
  fa82362

  Copy full SHA for fa82362

• [analyzer] Don't run the analyzer for -analyzer-list-enabled-checkers

  Show description for 5801e63
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  5801e63

  Copy full SHA for 5801e63

• [analyzer][NFC] Fix inconsistent references to checkers as "checks"

  Show description for 080f156
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  080f156

  Copy full SHA for 080f156

• [ClangTidy] Adjust the name getCheckName to getCheckerName due to API change.

  Show description for 786ed1e
  

  timshen91

  authored and

  haoNoQ

  committed
  786ed1e

  Copy full SHA for 786ed1e

• [CFG] Add dumps for CFGElement and CFGElementRef

  Show description for 3346f0b
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  3346f0b

  Copy full SHA for 3346f0b

• [analyzer] Fix the 'analyzer-enabled-checkers.c' test on non-linux machines.

  Show description for 7d0f759
  haoNoQ

  committed
  7d0f759

  Copy full SHA for 7d0f759

• Fix a perl warning: Scalar value @ArgParts[0] better written as $ArgParts[0] at /usr/share/clang/scan-build-10/libexec/ccc-analyzer line 502.

  Show description for 804e170
  

  sylvestre

  authored and

  haoNoQ

  committed
  804e170

  Copy full SHA for 804e170

• [analyzer] PR43102: Fix an assertion and an out-of-bounds error for diagnostic location construction

  Show description for 25cbd18
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  25cbd18

  Copy full SHA for 25cbd18

• [StaticAnalyzer] Use llvm::StringLiteral instead of StringRef in few places

  Show description for 60641f9
  

  d0k

  authored and

  haoNoQ

  committed
  60641f9

  Copy full SHA for 60641f9

• Reland '[analyzer][MallocChecker][NFC] Document and reorganize some functions'

  Show description for d0c7973
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  d0c7973

  Copy full SHA for d0c7973

• Fix a documentation error

  Show description for adc75dc
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  adc75dc

  Copy full SHA for adc75dc

• Attempt to fix a windows buildbot failure

  Show description for d7cbbf0
  

  Kristof Umann

  authored and

  haoNoQ

  committed
  d7cbbf0

  Copy full SHA for d7cbbf0

• [NFCI] Return PathSensitiveBugReport where appropriate

  Show description for 40f5913
  

  bulbazord

  authored and

  haoNoQ

  committed
  40f5913

  Copy full SHA for 40f5913

• [analyzer] Avoid small vectors of non-default-constructibles.

  Show description for 34eb3ca
  haoNoQ

  committed
  34eb3ca

  Copy full SHA for 34eb3ca

• Don't install example analyzer plugins

  Show description for 8bb333a
  

  aaronpuchert

  authored and

  haoNoQ

  committed
  8bb333a

  Copy full SHA for 8bb333a

• Teach CallGraph to look into Generic Lambdas.

  Show description for bee81d3
  

  Erich Keane

  authored and

  haoNoQ

  committed
  bee81d3

  Copy full SHA for bee81d3

• BlockInCriticalSectionChecker - silence static analyzer dyn_cast null dereference warning. NFCI.

  Show description for da07275
  

  RKSimon

  authored and

  haoNoQ

  committed
  da07275

  Copy full SHA for da07275

• [analyzer] exploded-graph-rewriter: Make node headers a bit lighter.

  Show description for 27bfa17
  haoNoQ

  committed
  27bfa17

  Copy full SHA for 27bfa17

• [analyzer] Display cast kinds in program point dumps.

  Show description for 0e07329
  haoNoQ

  committed
  0e07329

  Copy full SHA for 0e07329

• [analyzer] Assign truly stable identifiers to exploded nodes.

  Show description for e9b4862
  haoNoQ

  committed
  e9b4862

  Copy full SHA for e9b4862

• [analyzer] exploded-graph-rewriter: Fix typo in r375186. Unbreaks tests.

  Show description for 0ebcbd1
  haoNoQ

  committed
  0ebcbd1

  Copy full SHA for 0ebcbd1

• [analyzer] Fix hidden node traversal in exploded graph dumps.

  Show description for 00e99fc
  haoNoQ

  committed
  00e99fc

  Copy full SHA for 00e99fc

• [analyzer] exploded-graph-rewriter: Fix dump for state 0.

  Show description for 4db5dff
  haoNoQ

  committed
  4db5dff

  Copy full SHA for 4db5dff

• [analyzer] Drop the logic for collapsing the state if it's same as in preds.

  Show description for a528b53
  haoNoQ

  committed
  a528b53

  Copy full SHA for a528b53

• [analyzer] Fix FieldRegion dumps.

  Show description for 048cc7c
  haoNoQ

  committed
  048cc7c

  Copy full SHA for 048cc7c

• [analyzer] exploded-graph-rewriter: Rename Environment to Expressions.

  Show description for 8e66c8b
  haoNoQ

  committed
  8e66c8b

  Copy full SHA for 8e66c8b

• [analyzer] exploded-graph-rewriter: Unforget to censor stmt_ids in the test.

  Show description for e2698a7
  haoNoQ

  committed
  e2698a7

  Copy full SHA for e2698a7

• [analyzer] Specify the C++ standard in more tests.

  Show description for 750990e
  haoNoQ

  committed
  750990e

  Copy full SHA for 750990e

• [analyzer] Fix off-by-one in operator call parameter binding.

  Show description for dcb65b6
  haoNoQ

  committed
  dcb65b6

  Copy full SHA for dcb65b6

• Revert "Teach CallGraph to look into Generic Lambdas."

  Show description for 7fb1a17
  haoNoQ

  committed
  7fb1a17

  Copy full SHA for 7fb1a17