Commits

Breadcrumbs

History for

on3e022ad

User selector

All users

All time

Commit History

Commits on Oct 10, 2018

• Merge pull request #270 from geoffw0/negindex

  Show description for 3e022ad
  jbj

  authored
  3e022ad

  Copy full SHA for 3e022ad

Commits on Oct 8, 2018

• CPP: Alter the dataflow case.

  geoffw0

  committed
  8163def

  Copy full SHA for 8163def

• CPP: Allow multiple dataflow sources.

  geoffw0

  committed
  8ab830f

  Copy full SHA for 8ab830f

• CPP: Stricter dataflow in getBufferSize.

  geoffw0

  committed
  fe6c9f9

  Copy full SHA for fe6c9f9

• CPP: Separate the dataflow case from dynamic allocation.

  geoffw0

  committed
  beb21f9

  Copy full SHA for beb21f9

• CPP: Replace def-use with dataflow in getBufferSize.

  geoffw0

  committed
  ef8ca5d

  Copy full SHA for ef8ca5d

• CPP: Fix the initialized array case in getBufferSize.

  geoffw0

  committed
  c747f24

  Copy full SHA for c747f24

• Merge pull request #291 from jbj/mergeback-20181008

  Show description for 2904ebb
  pavgust

  authored
  2904ebb

  Copy full SHA for 2904ebb

• Merge pull request #288 from geoffw0/widechartype

  Show description for 4e25929
  jbj

  authored
  4e25929

  Copy full SHA for 4e25929

• Merge pull request #282 from rdmarsh2/rdmarsh/cpp/simple-range-analysis-caching

  Show description for 799c034
  jbj

  authored
  799c034

  Copy full SHA for 799c034

• Merge remote-tracking branch 'upstream/rc/1.18' into mergeback-20181008

  jbj

  committed
  628540c

  Copy full SHA for 628540c

Commits on Oct 6, 2018

• Merge pull request #285 from jbj/primitive-bb-joinorder

  Show description for e2a001f
  geoffw0

  authored
  e2a001f

  Copy full SHA for e2a001f

Commits on Oct 5, 2018

• CPP: Change some uses of WideCharType to Wchar_t.

  geoffw0

  committed
  e0140f9

  Copy full SHA for e0140f9

• CPP: Add backticks.

  geoffw0

  committed
  ecf8e5d

  Copy full SHA for ecf8e5d

• CPP: Add an explanatory comment on WideCharType and Wchar_t.

  geoffw0

  committed
  d649835

  Copy full SHA for d649835

• C++: move expr predicactes to cached module

  

  Robert Marsh

  committed
  c0cf16a

  Copy full SHA for c0cf16a

• CPP: Additional test case fixed in combination with typedef work.

  geoffw0

  committed
  99816d7

  Copy full SHA for 99816d7

• CPP: Simplify getAFormatterWideType.

  geoffw0

  committed
  67a7b75

  Copy full SHA for 67a7b75

• CPP: Fix for consistency.

  geoffw0

  committed
  605db44

  Copy full SHA for 605db44

• CPP: Lets just not report when we're not sure.

  geoffw0

  committed
  94ff2e5

  Copy full SHA for 94ff2e5

• CPP: Make getAFormatterWideType more general and move it into FormattingFunction.qll.

  geoffw0

  committed
  2841897

  Copy full SHA for 2841897

• CPP: Replace stripTopLevelSpecifiers to emulate old behaviour.

  geoffw0

  committed
  580471a

  Copy full SHA for 580471a

• CPP: Test getDefaultCharType etc.

  geoffw0

  committed
  89c5648

  Copy full SHA for 89c5648

• CPP: New mechanism for string types in printf.qll.

  geoffw0

  committed
  e2be19b

  Copy full SHA for e2be19b

• CPP: Add a test where different word sizes are present.

  geoffw0

  committed
  1af6c10

  Copy full SHA for 1af6c10

• CPP: More test cases.

  geoffw0

  committed
  8005558

  Copy full SHA for 8005558

• CPP: Add a test where different wide types are present.

  geoffw0

  committed
  2af56b8

  Copy full SHA for 2af56b8

• CPP: Annotate test.

  geoffw0

  committed
  39f030b

  Copy full SHA for 39f030b

• CPP: Test fixes as a result of changes.

  geoffw0

  committed
  e74721e

  Copy full SHA for e74721e

• CPP: Allow declarations of library printf functions in source (repairs most of the tests).

  geoffw0

  committed
  6e5207c

  Copy full SHA for 6e5207c

• C++: consider attributes when finding wide string functions

  

  Robert Marsh

  authored and

  geoffw0

  committed
  fe8f7e9

  Copy full SHA for fe8f7e9

• C++: document new predicate

  

  Robert Marsh

  authored and

  geoffw0

  committed
  5b8925c

  Copy full SHA for 5b8925c

• C++: add support for custom wide character sizes

  Show description for a3459dd
  

  Robert Marsh

  authored and

  geoffw0

  committed
  a3459dd

  Copy full SHA for a3459dd

• C++: Fix primitive_basic_block_member join order

  Show description for 11e03b3
  jbj

  committed
  11e03b3

  Copy full SHA for 11e03b3

• C++: Faster implementation of BB entry node

  Show description for 2658520
  jbj

  committed
  2658520

  Copy full SHA for 2658520