Commits

Breadcrumbs

History for

on78e5a1a

User selector

All users

All time

Commit History

Commits on Jan 22, 2024

• Autoformat.

  

  Max Schaefer

  committed
  78e5a1a

  Copy full SHA for 78e5a1a

Commits on Jan 17, 2024

• Make tags for positive and negative examples more precise.

  

  Max Schaefer

  committed
  7bc0304

  Copy full SHA for 7bc0304

• Fix spurious source models for primitive types in framework mode.

  

  Max Schaefer

  committed
  ae23920

  Copy full SHA for ae23920

• Autoformat.

  

  Max Schaefer

  committed
  9975f97

  Copy full SHA for 9975f97

• Use inline expectations for all framework-mode tests.

  

  Max Schaefer

  committed
  6d2bf68

  Copy full SHA for 6d2bf68

• Refactor framework-mode queries to make them more easily testable.

  

  Max Schaefer

  committed
  6c47a5d

  Copy full SHA for 6c47a5d

• Refactor application-mode tests so we can reuse most of it for framework mode.

  

  Max Schaefer

  committed
  adea805

  Copy full SHA for adea805

• Consolidate application mode tests.

  

  Max Schaefer

  committed
  312dd16

  Copy full SHA for 312dd16

• Use inline expectations for positive examples.

  

  Max Schaefer

  committed
  692d5e5

  Copy full SHA for 692d5e5

• Use inline expectations for negative-example tests as well.

  

  Max Schaefer

  committed
  83c5673

  Copy full SHA for 83c5673

• Fix treatment of void method calls.

  

  Max Schaefer

  committed
  1ebd074

  Copy full SHA for 1ebd074

• Turn `AutomodelApplicationModeExtractCandidates` into an inline-expectations test.

  

  Max Schaefer

  committed
  18e44b6

  Copy full SHA for 18e44b6

• Refactor application-mode candidate-extraction query so we can test its results before sampling.

  

  Max Schaefer

  committed
  587d69e

  Copy full SHA for 587d69e

• Treat unexploitable types more centrally.

  Show description for 800a78d
  

  Max Schaefer

  committed
  800a78d

  Copy full SHA for 800a78d

• Address review feedback.

  

  Max Schaefer

  committed
  8614d7b

  Copy full SHA for 8614d7b

Commits on Jan 15, 2024

• Fix omittable exists.

  

  Max Schaefer

  committed
  90a4552

  Copy full SHA for 90a4552

• Autoformat.

  

  Max Schaefer

  committed
  fee4407

  Copy full SHA for fee4407

• When checking whether an endpoint has already been modelled, make sure to take the extensibleType into account.

  

  Max Schaefer

  committed
  3befce9

  Copy full SHA for 3befce9

• Remove a few `getExtensibleType` checks which are now unnecessary.

  

  Max Schaefer

  committed
  68cf9ac

  Copy full SHA for 68cf9ac

Commits on Jan 12, 2024

• Some more performance refactoring.

  

  Max Schaefer

  committed
  919330f

  Copy full SHA for 919330f

• Refactor to avoid bad join order.

  

  Max Schaefer

  committed
  bb63fcd

  Copy full SHA for bb63fcd

• Rename a predicate.

  

  Max Schaefer

  committed
  45ca301

  Copy full SHA for 45ca301

• Extend negative characteristics for exceptions to source models.

  

  Max Schaefer

  committed
  ea26e21

  Copy full SHA for ea26e21

• Eliminate `GetCallable` modules and use `getCallable` instead.

  

  Max Schaefer

  committed
  06ba5ea

  Copy full SHA for 06ba5ea

• Share some code.

  

  Max Schaefer

  committed
  76b8430

  Copy full SHA for 76b8430

• Make `Unexploitable*Characteristic` more precise.

  

  Max Schaefer

  committed
  9f443d4

  Copy full SHA for 9f443d4

Commits on Jan 11, 2024

• Properly distinguish negative source and sink characteristics.

  Show description for 6e9c90a
  

  Max Schaefer

  committed
  6e9c90a

  Copy full SHA for 6e9c90a

• Get rid of negative sink types.

  Show description for ff4555a
  

  Max Schaefer

  committed
  ff4555a

  Copy full SHA for ff4555a

• Drop a conjunct which is now spurious.

  

  Max Schaefer

  committed
  bcf4f4f

  Copy full SHA for bcf4f4f

• Associate endpoints with their potential endpoint types and check these when determining candidates.

  Show description for 03ca244
  

  Max Schaefer

  committed
  03ca244

  Copy full SHA for 03ca244

• Add an example of a missed source candidate.

  Show description for a6d996b
  

  Max Schaefer

  committed
  a6d996b

  Copy full SHA for a6d996b

• Rename `isSinkCandidate` (and a related predicate) to `isCandidate`.

  Show description for 8e429bd
  

  Max Schaefer

  committed
  8e429bd

  Copy full SHA for 8e429bd

Commits on Jan 9, 2024

• Clarify relationship of `isFromSource` and `Element::fromSource`.

  

  Max Schaefer

  committed
  9b7cfd8

  Copy full SHA for 9b7cfd8

• Automodel: Do not generate features for compiler-generated program elements.

  Show description for 3e8775d
  

  Max Schaefer

  committed
  3e8775d

  Copy full SHA for 3e8775d

Commits on Dec 20, 2023

• Merge pull request #14646 from github/java/update-mad-decls-after-triage-2023-10-31T15-52-01

  Show description for 1b9f59e
  atorralba

  authored
  1b9f59e

  Copy full SHA for 1b9f59e