Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Feb 1, 2017

• Fix quality flaw: Move invariant to the correct place.

  benzonico

  committed
  f5a869c

  Copy full SHA for f5a869c

• fix quality flaw: Add explicit invariant check (#1222)

  

  saberduck

  authored and

  benzonico

  committed
  8c313a7

  Copy full SHA for 8c313a7

• SONARJAVA-2088 Use persistent stack to back ProgramState's stack (#1220)

  Show description for 79e35f6
  

  saberduck

  authored and

  benzonico

  committed
  79e35f6

  Copy full SHA for 79e35f6

• Fix quality flaw: increase coverage of CFG when catching 'Error'

  Wohops

  committed
  85a0cbb

  Copy full SHA for 85a0cbb

• Fix quality flaw: increase coverage of MethodYield

  Wohops

  committed
  300bb89

  Copy full SHA for 300bb89

• SONARJAVA-2090 Remove completing symbol debug log (#1217)

  

  benzonico

  authored and

  Wohops

  committed
  209c8e3

  Copy full SHA for 209c8e3

• Fix quality flaw: extract method from lambda (#1215)

  Wohops

  authored
  d46239d

  Copy full SHA for d46239d

Commits on Jan 31, 2017

• Store EG Nodes in methodYield instead of precomputing flows (#1208)

  

  benzonico

  authored and

  Wohops

  committed
  cca86a3

  Copy full SHA for cca86a3

• SONARJAVA-2087: Rewrite recursion imperatively (#1211)

  Show description for 4621d98
  

  saberduck

  authored and

  benzonico

  committed
  4621d98

  Copy full SHA for 4621d98

• SONARJAVA-2004: Messages should end with period

  saberduck

  committed
  c72f9e2

  Copy full SHA for c72f9e2

• SONARJAVA-2004: Improve reporting when we learn on method invocation arguments

  saberduck

  committed
  1acdd9d

  Copy full SHA for 1acdd9d

• SONARJAVA-2004: Add method yields from happy paths

  saberduck

  committed
  e16de1a

  Copy full SHA for e16de1a

• SONARJAVA-2004: move FlowComputation

  saberduck

  committed
  7b9273d

  Copy full SHA for 7b9273d

• Fix perf: do not compute method yield when method exploration is interrupted (#1210)

  

  Wohops

  authored and

  benzonico

  committed
  45860ff

  Copy full SHA for 45860ff

Commits on Jan 27, 2017

• Fix perf: only compute method behaviors of non-overridable methods (#1206)

  

  Wohops

  authored and

  benzonico

  committed
  be5f810

  Copy full SHA for be5f810

• SONARJAVA-2071 support guava Preconditions behavior (#1202)

  benzonico

  authored
  1301c87

  Copy full SHA for 1301c87

• Fix perf: refactor flowFromLearnedConstraints in order to avoid to 'Collect' stream (#1203)

  

  Wohops

  authored and

  benzonico

  committed
  40b2072

  Copy full SHA for 40b2072

Commits on Jan 26, 2017

• Fix perf: stop initializing ArrayLists when exploring ExplodedGraph node parents (#1201)

  

  Wohops

  authored and

  benzonico

  committed
  f0423c4

  Copy full SHA for f0423c4

• SONARJAVA-2079 Fix NPE when methodReference type is defered (#1200)

  

  benzonico

  authored and

  Wohops

  committed
  4577a9f

  Copy full SHA for 4577a9f

• SONARJAVA-2077 Fix computation of functional type for nested lambdas (#1199)

  

  benzonico

  authored and

  Wohops

  committed
  cab08ba

  Copy full SHA for cab08ba

• SONARJAVA-2026: Flow for local variables should be reported on initia… (#1198)

  Show description for 0a90f3c
  

  saberduck

  authored and

  benzonico

  committed
  0a90f3c

  Copy full SHA for 0a90f3c

Commits on Jan 25, 2017

• SONARJAVA-1995 Selected yields on edges of exploded graph for exceptional paths (#1189)

  Show description for 01e3572
  

  Wohops

  authored and

  benzonico

  committed
  01e3572

  Copy full SHA for 01e3572

• SONARJAVA-2070 Support StringUtils methods (#1197)

  

  benzonico

  authored and

  saberduck

  committed
  7e7ff01

  Copy full SHA for 7e7ff01

• SONARJAVA-2067 Use behaviors for Objects.isNull and nonNull methods (#1196)

  

  benzonico

  authored and

  saberduck

  committed
  6fac3f0

  Copy full SHA for 6fac3f0

Commits on Jan 24, 2017

• SONARJAVA-2061 fix equals of exceptional SV to take ID into account

  Wohops

  committed
  e23b91b

  Copy full SHA for e23b91b

• SONARJAVA-2061 Stack and consume correctly exceptional symbolic values

  Wohops

  committed
  47f42d4

  Copy full SHA for 47f42d4

• SONARJAVA-2066 behavior cache handle requireNonNull method

  benzonico

  committed
  607fcea

  Copy full SHA for 607fcea

• SONARJAVA-2066 Remove useless code

  benzonico

  committed
  b7d4548

  Copy full SHA for b7d4548

Commits on Jan 23, 2017

• SONARJAVA-1537 Support assert statement in CFG and SE (#1191)

  Show description for 2e40fe6
  

  benzonico

  authored and

  saberduck

  committed
  2e40fe6

  Copy full SHA for 2e40fe6

• Fix quality flaw: Remove dead code (#1192)

  

  benzonico

  authored and

  Wohops

  committed
  0f35c06

  Copy full SHA for 0f35c06

Commits on Jan 16, 2017

• SONARJAVA-2003: Flow should have a message when we learn that symbolic value has constraint

  Show description for 6cfe4a4
  saberduck

  authored
  6cfe4a4

  Copy full SHA for 6cfe4a4

• SONARJAVA-2050 Guarantee order of end of execution path evaluations (#1184)

  

  benzonico

  authored and

  saberduck

  committed
  9463802

  Copy full SHA for 9463802

Commits on Jan 12, 2017

• SONARJAVA-2048 Show last evaluated symbol in the EG viewer (#1180)

  

  saberduck

  authored and

  benzonico

  committed
  4b36e57

  Copy full SHA for 4b36e57

• SONARJAVA-2044 Log warning instead of failing for bridge method not synthetic (#1178)

  

  benzonico

  authored and

  saberduck

  committed
  d50cdbf

  Copy full SHA for d50cdbf

• SONARJAVA-1978 (#1177)

  Show description for 8370370
  

  benzonico

  authored and

  saberduck

  committed
  8370370

  Copy full SHA for 8370370