Commits

Breadcrumbs

History for

onc195420

User selector

All users

All time

Commit History

Commits on Jul 11, 2019

• C++: respond to PR comments

  

  Robert Marsh

  committed
  c195420

  Copy full SHA for c195420

Commits on Jul 8, 2019

• C++: alias and side effect info for pure functions

  

  Robert Marsh

  committed
  41e4d92

  Copy full SHA for 41e4d92

• C++: add test for Alias and SideEffect models

  

  Robert Marsh

  committed
  ea7602b

  Copy full SHA for ea7602b

Commits on Jul 1, 2019

• Merge pull request #1251 from zlaski-semmle/zlaski/cpp370

  Show description for 757ec97
  jbj

  authored
  757ec97

  Copy full SHA for 757ec97

Commits on Jun 25, 2019

• CPP: Improve wording of UnsafeArrayForDAysOfYear.ql.

  geoffw0

  committed
  627fba8

  Copy full SHA for 627fba8

• Merge pull request #1492 from geoffw0/exprnoeffectweak

  Show description for d2f8029
  jbj

  authored
  d2f8029

  Copy full SHA for d2f8029

• Merge pull request #1490 from geoffw0/leapyeararith

  Show description for de65dc5
  jbj

  authored
  de65dc5

  Copy full SHA for de65dc5

Commits on Jun 24, 2019

• CPP: Calls to weak functions should be considered impure.

  geoffw0

  committed
  9a0645a

  Copy full SHA for 9a0645a

• CPP: Add a test of ExprHasNoEffect.ql with a call to a 'weak' function.

  geoffw0

  committed
  aee2af7

  Copy full SHA for aee2af7

• CPP: Clean up duplication in Adding365DaysPerYear.ql.

  geoffw0

  committed
  69533a7

  Copy full SHA for 69533a7

• CPP: Fix UncheckedLeapYearAfterYearModification FPs.

  geoffw0

  committed
  7fca220

  Copy full SHA for 7fca220

Commits on Jun 21, 2019

• CPP: Add another test case based on a real world case.

  geoffw0

  committed
  cff3f9b

  Copy full SHA for cff3f9b

• CPP: Add a test case where a date is created.

  geoffw0

  committed
  b1f6294

  Copy full SHA for b1f6294

• CPP: Adjust file name case for consistency.

  geoffw0

  committed
  09b33bc

  Copy full SHA for 09b33bc

• CPP: Rename the test subdirectories.

  geoffw0

  committed
  1a7269b

  Copy full SHA for 1a7269b

Commits on Jun 20, 2019

• C++: NonConstantFormat taint only for string types

  Show description for cace411
  jbj

  committed
  cace411

  Copy full SHA for cace411

• C++: Demonstrate ArrayExpr FP

  jbj

  committed
  e99c688

  Copy full SHA for e99c688

Commits on Jun 19, 2019

• Merge branch 'master' into taintedallocfp

  jbj

  authored
  ad337de

  Copy full SHA for ad337de

• Merge pull request #1365 from geoffw0/uninit

  Show description for 53d4b2d
  jbj

  authored
  53d4b2d

  Copy full SHA for 53d4b2d

Commits on Jun 18, 2019

• CPP: Don't use getFollowingStmt.

  geoffw0

  committed
  ef3ceb5

  Copy full SHA for ef3ceb5

• CPP: Additional test cases.

  geoffw0

  committed
  536adaa

  Copy full SHA for 536adaa

• CPP: Remove commented out code.

  geoffw0

  committed
  52b68a7

  Copy full SHA for 52b68a7

• CPP: Fix for LocalScopeReachability.

  geoffw0

  committed
  56adcff

  Copy full SHA for 56adcff

• CPP: Add a test examining the LoopEntryConditionEvaluator on this code.

  geoffw0

  committed
  f4b4ddb

  Copy full SHA for f4b4ddb

• CPP: Additional test cases.

  geoffw0

  committed
  12bbb07

  Copy full SHA for 12bbb07

• Merge pull request #1354 from denislevin/denisl/cpp/MishandlingJapaneseDatesAndLeapYear

  Show description for 83ec5f1
  geoffw0

  authored
  83ec5f1

  Copy full SHA for 83ec5f1

Commits on Jun 14, 2019

• Some more typo fixes and a fix to test files

  

  Denis Levin

  committed
  7ff8fcd

  Copy full SHA for 7ff8fcd

Commits on Jun 12, 2019

• [CPP-370] Fix up `// GOOD` and `// BAD` test annotations so that they're consistent.

  zlaski-semmle

  committed
  88a39d9

  Copy full SHA for 88a39d9

Commits on Jun 10, 2019

• [CPP-370] Improve handling of `_` macros by using taint sanitizers.

  zlaski-semmle

  committed
  0f5a4a7

  Copy full SHA for 0f5a4a7

• CPP: Integrate and produce full results.

  geoffw0

  committed
  a842ed5

  Copy full SHA for a842ed5

• CPP: Pavel's sketch implementation.

  geoffw0

  committed
  e143870

  Copy full SHA for e143870

• CPP: Add cases for fields.

  geoffw0

  committed
  2f36d81

  Copy full SHA for 2f36d81

• CPP: Create a direct test of Variable.getAnAssignedValue().

  geoffw0

  committed
  d3f98a5

  Copy full SHA for d3f98a5

• CPP: Fix in dataflow.

  geoffw0

  committed
  3deff9c

  Copy full SHA for 3deff9c

• CPP: Add test cases.

  geoffw0

  committed
  d51f870

  Copy full SHA for d51f870