Commits

Breadcrumbs

History for

ond18a701

User selector

All users

All time

Commit History

Commits on Nov 7, 2018

• C++: Fix mixed tabs and spaces in non-test code

  dave-bartolomeo

  committed
  5bf88f0

  Copy full SHA for 5bf88f0

• Merge pull request #354 from geoffw0/return-exception

  Show description for 6f2fd05
  jbj

  authored
  6f2fd05

  Copy full SHA for 6f2fd05

Commits on Nov 6, 2018

• Merge pull request #293 from geoffw0/zerosizebuffer

  Show description for e03b4f0
  jbj

  authored
  e03b4f0

  Copy full SHA for e03b4f0

• CPP: Move the fix into Buffer.qll so that it applies to other queries.

  geoffw0

  committed
  ad44416

  Copy full SHA for ad44416

Commits on Nov 5, 2018

• Merge pull request #403 from jbj/FlowVar-getAnAccess-perf

  Show description for 5cd7103
  geoffw0

  authored
  5cd7103

  Copy full SHA for 5cd7103

• C++: Performance fix for FlowVar.getAnAccess

  Show description for 9a3907c
  jbj

  committed
  9a3907c

  Copy full SHA for 9a3907c

Commits on Nov 1, 2018

• CPP: Make Handlers always begin a BasicBlock.

  geoffw0

  committed
  a3dfa31

  Copy full SHA for a3dfa31

• Merge pull request #352 from dave-bartolomeo/dave/Operands

  Show description for ea601b2
  jbj

  authored
  ea601b2

  Copy full SHA for ea601b2

Commits on Oct 30, 2018

• CPP: Also update reachable for ControlFlowNodes.

  geoffw0

  committed
  092db18

  Copy full SHA for 092db18

• CPP: Have reachability flow to the Handler as well as the CAtchBlock of an exception.

  geoffw0

  committed
  1092cb9

  Copy full SHA for 1092cb9

• CPP: Improve nonReturningFunction.

  geoffw0

  committed
  6e940d7

  Copy full SHA for 6e940d7

• CPP: Remove successor edges from non-returning functions from the control flow graph.

  geoffw0

  committed
  6427e96

  Copy full SHA for 6427e96

Commits on Oct 29, 2018

• Merge pull request #374 from jbj/range-analysis-rounding

  Show description for 7d37cf4
  semmle-qlci

  authored
  7d37cf4

  Copy full SHA for 7d37cf4

Commits on Oct 26, 2018

• C++: Rename a couple predicates based on PR feedback

  dave-bartolomeo

  committed
  459b05d

  Copy full SHA for 459b05d

• Merge pull request #318 from geoffw0/overflowstatic

  Show description for 47096bb
  jbj

  authored
  47096bb

  Copy full SHA for 47096bb

• Merge pull request #368 from geoffw0/buffersize

  Show description for 306b711
  rdmarsh2

  authored
  306b711

  Copy full SHA for 306b711

• CPP: BinaryArithmeticOperation -> AddExpr.

  geoffw0

  committed
  2f517de

  Copy full SHA for 2f517de

• C++: Fix range analysis rounding for negative zero

  jbj

  committed
  a3505e0

  Copy full SHA for a3505e0

• C++: Pull rounding functions out to new predicates

  jbj

  committed
  cbe16e5

  Copy full SHA for cbe16e5

• C++: Round towards +/- Inf in range analysis

  Show description for 006594f
  jbj

  committed
  006594f

  Copy full SHA for 006594f

Commits on Oct 25, 2018

• CPP: Support builtin offsetof.

  geoffw0

  committed
  c9ed039

  Copy full SHA for c9ed039

• CPP: Don't require alloc in memberMayBeVarSize.

  geoffw0

  committed
  2dcec4d

  Copy full SHA for 2dcec4d

• CPP: Fix array size bug in memberMayBeVarSize.

  geoffw0

  committed
  035823c

  Copy full SHA for 035823c

• CPP: Include offsetof type calculations in memberMayBeVarSize.

  geoffw0

  committed
  69785fc

  Copy full SHA for 69785fc

Commits on Oct 24, 2018

• CPP: Include sizeof(expr) expressions in isDynamicallyAllocatedWithDifferentSize.

  geoffw0

  committed
  ec205e9

  Copy full SHA for ec205e9

Commits on Oct 23, 2018

• C++: Operands as IPA types

  Show description for f278f4f
  dave-bartolomeo

  committed
  f278f4f

  Copy full SHA for f278f4f

Commits on Oct 20, 2018

• Merge pull request #336 from aschackmull/java/dataflow-cleanup

  Show description for c78f3f8
  semmle-qlci

  authored
  c78f3f8

  Copy full SHA for c78f3f8

Commits on Oct 18, 2018

• Merge pull request #331 from geoffw0/av-35b

  Show description for 36a1ac5
  rdmarsh2

  authored
  36a1ac5

  Copy full SHA for 36a1ac5

• Java/CPP: Sync files.

  aschackmull

  committed
  0b46ffa

  Copy full SHA for 0b46ffa

• Java: Remove self-ref tracking; improve AccessPath.toString on numbers.

  aschackmull

  committed
  bf58b6c

  Copy full SHA for bf58b6c

Commits on Oct 17, 2018

• CPP: Speed up startsWithIfndef.

  geoffw0

  committed
  b8d7292

  Copy full SHA for b8d7292

Commits on Oct 12, 2018

• CPP: Speed up phi_node > frontier_phi_node > ssa_defn recursion.

  geoffw0

  committed
  a9b5553

  Copy full SHA for a9b5553

• Java/C: Sync dataflow copies.

  aschackmull

  committed
  f341aa7

  Copy full SHA for f341aa7

• CPP: Speed up getBufferSize.

  geoffw0

  committed
  6fc5ff5

  Copy full SHA for 6fc5ff5

Commits on Oct 10, 2018

• Merge pull request #270 from geoffw0/negindex

  Show description for 3e022ad
  jbj

  authored
  3e022ad

  Copy full SHA for 3e022ad