Commits

Breadcrumbs

History for

onf287216

User selector

All users

All time

Commit History

Commits on Sep 24, 2024

• Update expected test output

  hvitved

  committed
  f287216

  Copy full SHA for f287216

Commits on Sep 19, 2024

• Shared: Do not use `@kind graph` for CFG test output

  hvitved

  committed
  1681324

  Copy full SHA for 1681324

Commits on Sep 17, 2024

• Swift: Run code generator

  hvitved

  committed
  8c0d2e9

  Copy full SHA for 8c0d2e9

Commits on Sep 16, 2024

• Swift: Add change note

  hvitved

  committed
  961b077

  Copy full SHA for 961b077

• Merge pull request #17474 from github/redsun82/swift-cfg-order-disambuigation

  Show description for 37f3ea1
  redsun82

  authored
  37f3ea1

  Copy full SHA for 37f3ea1

• Swift: Run code generator

  hvitved

  committed
  4ab5a1a

  Copy full SHA for 4ab5a1a

• Swift: Add `Impl` suffix to all stub/implementation classes

  Show description for 5fc762d
  hvitved

  committed
  5fc762d

  Copy full SHA for 5fc762d

• Swift: tentative fix to Cfg disambuigation

  

  Paolo Tranquilli

  committed
  d74dd21

  Copy full SHA for d74dd21

Commits on Aug 28, 2024

• Merge pull request #16970 from hvitved/dataflow/local-big-step-stage

  Show description for 7f8e6bf
  hvitved

  authored
  7f8e6bf

  Copy full SHA for 7f8e6bf

Commits on Aug 26, 2024

• Data flow: Compute local big step relation per stage

  hvitved

  committed
  c92c96f

  Copy full SHA for c92c96f

Commits on Aug 23, 2024

• Swift: update test output

  Show description for 8df7fbf
  asgerf

  committed
  8df7fbf

  Copy full SHA for 8df7fbf

• Test output updates that only affect nodes/edges

  asgerf

  committed
  9703f67

  Copy full SHA for 9703f67

Commits on Aug 19, 2024

• Merge pull request #17148 from geoffw0/hardkey

  Show description for 4c5c6c6
  geoffw0

  authored
  4c5c6c6

  Copy full SHA for 4c5c6c6

Commits on Aug 13, 2024

• Swift: Exclude tel:, mailto: and similar URLs from the query.

  geoffw0

  committed
  446c992

  Copy full SHA for 446c992

• Swift: Add more test cases for swift/cleartext-transmission.

  geoffw0

  committed
  345e184

  Copy full SHA for 345e184

Commits on Aug 5, 2024

• Swift: Add test cases for swift/hardcoded-key.

  geoffw0

  committed
  4225774

  Copy full SHA for 4225774

• Swift: Test spacing.

  geoffw0

  committed
  0f75987

  Copy full SHA for 0f75987

Commits on Aug 2, 2024

• Merge pull request #17128 from geoffw0/swiftcmdline

  Show description for 0525e9c
  geoffw0

  authored
  0525e9c

  Copy full SHA for 0525e9c

• Merge pull request #17129 from geoffw0/swiftconstsalt

  Show description for b87d832
  geoffw0

  authored
  b87d832

  Copy full SHA for b87d832

• Merge pull request #17126 from geoffw0/swiftcleartext

  Show description for 49335e5
  geoffw0

  authored
  49335e5

  Copy full SHA for 49335e5

• Swift: Remove quotes from the message.

  geoffw0

  committed
  aae19ab

  Copy full SHA for aae19ab

Commits on Aug 1, 2024

• Swift: Add some test of taint through 'as'.

  geoffw0

  committed
  39411b0

  Copy full SHA for 39411b0

• Swift: Remove the sources instead (more general solution).

  geoffw0

  committed
  3f26250

  Copy full SHA for 3f26250

• Swift: Use a barrier as a simple fix.

  geoffw0

  committed
  2b7b1c6

  Copy full SHA for 2b7b1c6

• Swift: Add test cases.

  geoffw0

  committed
  7bf61d1

  Copy full SHA for 7bf61d1

• Swift: Test spacing.

  geoffw0

  committed
  683ca2d

  Copy full SHA for 683ca2d

• Swift: Put a barrier on the qualifiers as well.

  geoffw0

  committed
  61eb5cd

  Copy full SHA for 61eb5cd

• Swift: Make append methods and string interpolation barriers for swift/constant-salt.

  geoffw0

  committed
  0c3e8ce

  Copy full SHA for 0c3e8ce

• Swift: Make + a barrier for swift/constant-salt.

  geoffw0

  committed
  2543f3e

  Copy full SHA for 2543f3e

• Swift: Tests for string appending with swift/constant-salt.

  geoffw0

  committed
  c8438c3

  Copy full SHA for c8438c3

• Swift: Use in swift/constant-salt so that the source node is clickable + visible to autofix.

  geoffw0

  committed
  69c18f9

  Copy full SHA for 69c18f9

Commits on Jul 30, 2024

• Swift: Make use of CBC blockmode in examples and tests mode accurate.

  geoffw0

  committed
  3d6a889

  Copy full SHA for 3d6a889

Commits on Jul 25, 2024

• Merge pull request #17064 from geoffw0/swiftbobs

  Show description for 245f43d
  geoffw0

  authored
  245f43d

  Copy full SHA for 245f43d

Commits on Jul 24, 2024

• Swift: Fix a corrupted model.

  geoffw0

  committed
  ecefa3e

  Copy full SHA for ecefa3e

Commits on Jul 19, 2024

• Merge branch 'main' into swiftssn

  geoffw0

  committed
  68a2166

  Copy full SHA for 68a2166