Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Sep 3, 2020

• Merge pull request #4182 from github/igfoo/cfg

  Show description for b8ae874
  nickrolfe

  authored
  b8ae874

  Copy full SHA for b8ae874

Commits on Sep 2, 2020

• C++: Put {true,false}cond_base back as deprecated predicates for now

  igfoo

  committed
  8c7431c

  Copy full SHA for 8c7431c

Commits on Sep 1, 2020

• C++: Remove some remnants of the extractor CFG

  igfoo

  committed
  1cba09d

  Copy full SHA for 1cba09d

Commits on Aug 28, 2020

• C++: Treat reference parameters as non-references

  jbj

  committed
  a3a3423

  Copy full SHA for a3a3423

Commits on Jun 16, 2020

• C++: Account for unreachable blocks in guards

  Show description for 17737cd
  jbj

  committed
  17737cd

  Copy full SHA for 17737cd

Commits on Jun 9, 2020

• C++: Copy and adjust Java's correctness argumnt

  Show description for ad401e9
  jbj

  committed
  ad401e9

  Copy full SHA for ad401e9

• C++: Speed up IRGuardCondition::controlsBlock

  Show description for 4642037
  jbj

  committed
  4642037

  Copy full SHA for 4642037

• C++: Use the `hasBranchEdge` helper predicate

  Show description for cade3a3
  jbj

  committed
  cade3a3

  Copy full SHA for cade3a3

Commits on May 28, 2020

• Merge pull request #3586 from MathiasVP/qldoc-for-remaining-controlflow

  Show description for 732da9c
  rdmarsh2

  authored
  732da9c

  Copy full SHA for 732da9c

• C++: QLDoc for the remaining elements in the controlflow directory

  MathiasVP

  committed
  0671586

  Copy full SHA for 0671586

• C++: Respond to review comments.

  MathiasVP

  committed
  52da575

  Copy full SHA for 52da575

• C++: QLDoc for BasicBlock, ControlFlowGraph and Dataflow

  MathiasVP

  committed
  3d27b6b

  Copy full SHA for 3d27b6b

Commits on Mar 27, 2020

• C++: Replace "min = max" with "unique"

  Show description for 710eb0c
  jbj

  committed
  710eb0c

  Copy full SHA for 710eb0c

Commits on Mar 13, 2020

• C++: Fix failed tests

  Show description for 9922958
  

  Dave Bartolomeo

  committed
  9922958

  Copy full SHA for 9922958

Commits on Mar 12, 2020

• C++: Model dynamic initialization of static local variables in IR

  Show description for 1526400
  

  Dave Bartolomeo

  committed
  1526400

  Copy full SHA for 1526400

Commits on Mar 10, 2020

• C++: Share the constant initializer detection

  Show description for 5e01b4b
  jbj

  committed
  5e01b4b

  Copy full SHA for 5e01b4b

Commits on Jan 29, 2020

• C++: Autoformat.

  aschackmull

  committed
  96e4a57

  Copy full SHA for 96e4a57

Commits on Nov 28, 2019

• Revert "C++: Use StackVariable in Nullness.qll"

  Show description for d816701
  jbj

  committed
  d816701

  Copy full SHA for d816701

Commits on Nov 19, 2019

• C++: Deprecate LocalScopeVariableReachability

  jbj

  committed
  4d97534

  Copy full SHA for 4d97534

• C++: Use StackVariable in Nullness.qll

  Show description for f5b9837
  jbj

  committed
  f5b9837

  Copy full SHA for f5b9837

• C++: Use StackVariable where SSA/def-use are used

  Show description for 140575e
  jbj

  committed
  140575e

  Copy full SHA for 140575e

• C++: Use StackVariable in def-use libraries

  Show description for e57f98c
  jbj

  committed
  e57f98c

  Copy full SHA for e57f98c

• C++: Use StackVariable in SSA libraries

  Show description for 95a333d
  jbj

  committed
  95a333d

  Copy full SHA for 95a333d

• C++: Use StackVariableReachability

  Show description for c1ed908
  jbj

  committed
  c1ed908

  Copy full SHA for c1ed908

• C++: Bring back StackVariableReachability.qll

  Show description for 01ca63a
  jbj

  committed
  01ca63a

  Copy full SHA for 01ca63a

Commits on Nov 15, 2019

• Merge pull request #2309 from geoffw0/cpp418

  Show description for 73d9cc2
  jbj

  authored
  73d9cc2

  Copy full SHA for 73d9cc2

Commits on Nov 12, 2019

• [CPP-418] Update references to BuiltInOperationBuiltInOffsetOf and __builtin_offsetof.

  

  zlaski-semmle

  authored and

  geoffw0

  committed
  faf4342

  Copy full SHA for faf4342

Commits on Nov 8, 2019

• Merge branch 'master' into rdmarsh/cpp/hasGlobalOrStdName

  

  Robert Marsh

  committed
  7e8a67a

  Copy full SHA for 7e8a67a

Commits on Oct 16, 2019

• Merge pull request #2077 from jbj/cfg-enable-pr

  Show description for 6f96d17
  geoffw0

  authored
  6f96d17

  Copy full SHA for 6f96d17

Commits on Oct 15, 2019

• C++: Autoformat CFG.qll

  jbj

  committed
  4c15ea5

  Copy full SHA for 4c15ea5

• C++: Implement Pos and Spec as int, not newtype

  Show description for a9984e9
  jbj

  committed
  a9984e9

  Copy full SHA for a9984e9

Commits on Oct 3, 2019

• C++: Support `if constexpr` in QL CFG

  Show description for 41d344a
  jbj

  committed
  41d344a

  Copy full SHA for 41d344a

• C++: enable the QL-based CFG code

  jbj

  committed
  8bed418

  Copy full SHA for 8bed418

Commits on Oct 2, 2019

• C++: use Declaration.hasGlobalOrStdName

  

  Robert Marsh

  committed
  03f72d2

  Copy full SHA for 03f72d2

Commits on Sep 16, 2019

• CPP: Tiny qldoc fixes.

  geoffw0

  committed
  3df31e6

  Copy full SHA for 3df31e6