Commits

Branch selector

 master

User selector

haoNoQ

Datepicker

All time

Commit History

Commits on Jul 12, 2019

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

  Show description for 27cd6f0
  haoNoQ

  committed
  27cd6f0

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

  Show description for daf71df
  haoNoQ

  committed
  daf71df

Commits on Jul 11, 2019

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

  Show description for a93151d
  haoNoQ

  committed
  a93151d

Commits on Jul 8, 2019

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

  Show description for f56bf0c
  haoNoQ

  committed
  f56bf0c

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

  Show description for c7bc10f
  haoNoQ

  committed
  c7bc10f

Commits on Jul 3, 2019

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

  Show description for d890a6c
  haoNoQ

  committed
  d890a6c

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

  Show description for 6ed0749
  haoNoQ

  committed
  6ed0749

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

  Show description for e3edbcf
  haoNoQ

  committed
  e3edbcf

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

  Show description for 7c02a54
  haoNoQ

  committed
  7c02a54

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

  Show description for 373d8a8
  haoNoQ

  committed
  373d8a8

Commits on Jul 2, 2019

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

  Show description for f35770b
  haoNoQ

  committed
  f35770b

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

  Show description for 280606f
  haoNoQ

  committed
  280606f

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

  Show description for 2e2c49d
  haoNoQ

  committed
  2e2c49d

Commits on Jul 1, 2019

• [analyzer] exploded-graph-rewriter: NFC: Add a forgotten test file.

  Show description for 1ed8f43
  haoNoQ

  committed
  1ed8f43

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

  Show description for 6d6bd29
  haoNoQ

  committed
  6d6bd29

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

  Show description for 273f872
  haoNoQ

  committed
  273f872

• [analyzer] CStringChecker: Modernize to use CallDescriptions.

  Show description for bfe30c3
  haoNoQ

  committed
  bfe30c3

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

  Show description for 7e6b46e
  haoNoQ

  committed
  7e6b46e

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

  Show description for fac64c1
  haoNoQ

  committed
  fac64c1

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

  Show description for f211272
  haoNoQ

  committed
  f211272

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

  Show description for d4916e2
  haoNoQ

  committed
  d4916e2

Commits on Jun 26, 2019

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

  Show description for ad73bf2
  haoNoQ

  committed
  ad73bf2

Commits on Jun 25, 2019

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

  Show description for 6b702c7
  haoNoQ

  committed
  6b702c7

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

  Show description for dc8d14b
  haoNoQ

  committed
  dc8d14b

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

  Show description for 29aa558
  haoNoQ

  committed
  29aa558

• [analyzer] Add more timers for performance profiling.

  Show description for 8a25b87
  haoNoQ

  committed
  8a25b87

Commits on Jun 20, 2019

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

  Show description for 183488f
  haoNoQ

  committed
  183488f

Commits on Jun 19, 2019

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

  Show description for cd58cd0
  haoNoQ

  committed
  cd58cd0

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

  Show description for 28823bb
  haoNoQ

  committed
  28823bb

• [analyzer] Fix JSON dumps for store clusters.

  Show description for a66b187
  haoNoQ

  committed
  a66b187

• [analyzer] Fix JSON dumps for location contexts.

  Show description for 9fbbe6f
  haoNoQ

  committed
  9fbbe6f

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

  Show description for 7def9e4
  haoNoQ

  committed
  7def9e4

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

  Show description for 15be616
  haoNoQ

  committed
  15be616

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

  Show description for b40d45d
  haoNoQ

  committed
  b40d45d

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

  Show description for dd80aeb
  haoNoQ

  committed
  dd80aeb

Pagination

PreviousNext