Commits

Breadcrumbs

History for

on9446249

User selector

All users

All time

Commit History

Commits on Dec 18, 2023

• Merge pull request #15012 from atorralba/atorralba/java/fix-missing-pinning-fp

  Show description for 9446249
  atorralba

  authored
  9446249

  Copy full SHA for 9446249

Commits on Dec 14, 2023

• Merge pull request #14573 from hvitved/flow-summary-impl-param

  Show description for c8b4a21
  hvitved

  authored
  c8b4a21

  Copy full SHA for c8b4a21

Commits on Dec 12, 2023

• Java: Fix FPs in Missing certificate pinning

  Show description for bd8f35b
  atorralba

  committed
  bd8f35b

  Copy full SHA for bd8f35b

Commits on Dec 11, 2023

• Fix test case

  egregius313

  committed
  7362158

  Copy full SHA for 7362158

• Alter cookie sinks to instead focus on creation of a cookie

  egregius313

  committed
  bbf9937

  Copy full SHA for bbf9937

• Move ESAPI models into the Weak Randomness query

  Show description for b9d2a26
  egregius313

  committed
  b9d2a26

  Copy full SHA for b9d2a26

• More variety of test cases

  egregius313

  committed
  fb875f5

  Copy full SHA for fb875f5

• Make imports private

  egregius313

  committed
  ce7690b

  Copy full SHA for ce7690b

• Add ThreadLocalRandom.current as another source

  egregius313

  committed
  b713efb

  Copy full SHA for b713efb

• Add test cases

  egregius313

  committed
  1daa83b

  Copy full SHA for 1daa83b

Commits on Dec 10, 2023

• Java: Use `FlowSummaryImpl` from `dataflow` pack

  hvitved

  committed
  f9dbf67

  Copy full SHA for f9dbf67

Commits on Dec 4, 2023

• Merge pull request #14913 from jcogs33/jcogs33/unsafe-url-forward_path-inj-related_cve-2019-3799

  Show description for 6516539
  jcogs33

  authored
  6516539

  Copy full SHA for 6516539

Commits on Nov 30, 2023

• Update test expectations re: record-pattern type accesses

  smowton

  committed
  cc68169

  Copy full SHA for cc68169

• Fix hasBranchEdge for switch exprs with an internal CFG and incoming edges from a passing case guard

  smowton

  committed
  b33dc38

  Copy full SHA for b33dc38

• Remove fall-through CFG edge for exhaustive switch statements

  smowton

  committed
  aa5f735

  Copy full SHA for aa5f735

• Fix pretty-printing `case null, default`

  smowton

  committed
  d99a005

  Copy full SHA for d99a005

• Fix record pattern and pretty-printing

  smowton

  committed
  4bff795

  Copy full SHA for 4bff795

• Add test ensuring read steps via record patterns lead to type filtering

  smowton

  committed
  419d530

  Copy full SHA for 419d530

• Adjust test expectations

  smowton

  committed
  087be2c

  Copy full SHA for 087be2c

• Fixup pretty-printer and add test

  smowton

  committed
  a11c5c7

  Copy full SHA for a11c5c7

• Include switch and instanceof binding in Variable.getAnAssignedValue, and test via endsInQuote

  smowton

  committed
  29fdd04

  Copy full SHA for 29fdd04

• Cast back to Object in advance of returning, to ensure the test doesn't mask a shortcoming of type pruning by pruning at the return site

  smowton

  committed
  47e3d7d

  Copy full SHA for 47e3d7d

• Expose that case guard test controls its case body

  smowton

  committed
  f0144d6

  Copy full SHA for f0144d6

• Note that binding variables may be casting nodes

  smowton

  committed
  da62a04

  Copy full SHA for da62a04

• Note we can't prove certain unreachable callables when 'case null' is present

  smowton

  committed
  c11a260

  Copy full SHA for c11a260

• Allow case null, default to be the first switch case

  Show description for 6b3080a
  smowton

  committed
  6b3080a

  Copy full SHA for 6b3080a

• Fix switchCaseControls and hasBranchEdge to account for mixed patterns and constant cases

  smowton

  committed
  668f445

  Copy full SHA for 668f445

• Restrict pattern type guards to account for nested record matching failures

  smowton

  committed
  6583c72

  Copy full SHA for 6583c72

• First stab at implementing negative type-test logic for pattern-case

  smowton

  committed
  0bb051e

  Copy full SHA for 0bb051e

• Remove needless test options

  smowton

  committed
  d7a517a

  Copy full SHA for d7a517a

• Fix hasNullCase

  smowton

  committed
  de2b98f

  Copy full SHA for de2b98f

• autoformat

  smowton

  committed
  480781b

  Copy full SHA for 480781b

• Add test for ObjFlow over binding patterns

  smowton

  committed
  011eb22

  Copy full SHA for 011eb22

• Add test for virtual-dispatch flow through binding patterns

  smowton

  committed
  4cf511e

  Copy full SHA for 4cf511e

• Add test for typeflow propagation through instanceof and pattern-case

  smowton

  committed
  43c9350

  Copy full SHA for 43c9350