Commits

Commit history

1. Commits on May 23, 2024

   • Java: Do not lift neutrals and only generate for public endpoints.

     michaelnebel

     committed
     6f5bdfbView commit details

     Copy full SHA for 6f5bdfb

     View code at this pointBrowse repository at this point

   • Java: Remove source dispatch when there's an exact match from a manual model.

     aschackmull

     committed
     0f86408View commit details

     Copy full SHA for 0f86408

     View code at this pointBrowse repository at this point
2. Commits on May 21, 2024

   • Address review comments

     hvitved

     committed
     bebcd67View commit details

     Copy full SHA for bebcd67

     View code at this pointBrowse repository at this point

   • Data flow: Synthesize parameter return nodes

     hvitved

     committed
     454687dView commit details

     Copy full SHA for 454687d

     View code at this pointBrowse repository at this point
3. Commits on May 8, 2024

   • Java: Make it evident that we print signature of the lifted callable.

     michaelnebel

     committed
     64145cfView commit details

     Copy full SHA for 64145cf

     View code at this pointBrowse repository at this point

   • C#/Java: Invert api filtering logic.

     michaelnebel

     committed
     f00ad7cView commit details

     Copy full SHA for f00ad7c

     View code at this pointBrowse repository at this point

   • Java: Improve super implementation and ensure that lift produces a result.

     michaelnebel

     committed
     e8120afView commit details

     Copy full SHA for e8120af

     View code at this pointBrowse repository at this point
4. Commits on Apr 12, 2024

   • Java/Dataflow: Propagate MaD-id/model-id to PathGraph.

     aschackmull

     committed
     2925e45View commit details

     Copy full SHA for 2925e45

     View code at this pointBrowse repository at this point
5. Commits on Mar 19, 2024

   • Java/Go/Swift: Sync changes.

     michaelnebel

     committed
     70c6744View commit details

     Copy full SHA for 70c6744

     View code at this pointBrowse repository at this point
6. Commits on Mar 11, 2024

   • Data flow: Add `ConfigSig::accessPathLimit`

     hvitved

     committed
     7a39f07View commit details

     Copy full SHA for 7a39f07

     View code at this pointBrowse repository at this point
7. Commits on Jan 12, 2024

   • Java: Address review comments.

     michaelnebel

     committed
     37a21ecView commit details

     Copy full SHA for 37a21ec

     View code at this pointBrowse repository at this point

   • Java: Avoid generating contradicting summary and neutral summary models.

     michaelnebel

     committed
     6af0bcaView commit details

     Copy full SHA for 6af0bca

     View code at this pointBrowse repository at this point

   • C#/Java: Don't generate models if there exist a manual summary or neutral summary.

     michaelnebel

     committed
     81de9d3View commit details

     Copy full SHA for 81de9d3

     View code at this pointBrowse repository at this point
8. Commits on Dec 10, 2023

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

     hvitved

     committed
     f9dbf67View commit details

     Copy full SHA for f9dbf67

     View code at this pointBrowse repository at this point
9. Commits on Sep 25, 2023

   • Java: Split API name column into separate columns

     koesie10

     committed
     ced95e0View commit details

     Copy full SHA for ced95e0

     View code at this pointBrowse repository at this point
10. Commits on Sep 22, 2023

    • Java: Remove unnecessary columns

      koesie10

      committed
      f4522edView commit details

      Copy full SHA for f4522ed

      View code at this pointBrowse repository at this point

    • Java: Switch from problem to table query

      koesie10

      committed
      7dc22e4View commit details

      Copy full SHA for 7dc22e4

      View code at this pointBrowse repository at this point
11. Commits on Sep 20, 2023

    • Java: Fix identification of supported endpoints in framework mode

      koesie10

      committed
      9e29847View commit details

      Copy full SHA for 9e29847

      View code at this pointBrowse repository at this point

    • Java: Refactor most of the logic out of the model editor query files

      koesie10

      committed
      73ebd21View commit details

      Copy full SHA for 73ebd21

      View code at this pointBrowse repository at this point

    • Java: Rename CallableMethod to Endpoint

      koesie10

      committed
      6e78aacView commit details

      Copy full SHA for 6e78aac

      View code at this pointBrowse repository at this point

    • Java: Update query id/tags and documentation

      koesie10

      committed
      fee9640View commit details

      Copy full SHA for fee9640

      View code at this pointBrowse repository at this point

    • Java: Rename queries from fetch methods to endpoints

      koesie10

      committed
      fe7ce0aView commit details

      Copy full SHA for fe7ce0a

      View code at this pointBrowse repository at this point

    • Java: Rename AutomodelVsCode to ModelEditor

      koesie10

      committed
      082a454View commit details

      Copy full SHA for 082a454

      View code at this pointBrowse repository at this point
12. Commits on Sep 13, 2023

    • Java: Fix formatting of AutomodelVsCode.qll file

      koesie10

      committed
      0434cceView commit details

      Copy full SHA for 0434cce

      View code at this pointBrowse repository at this point

    • Java: Use don't care expression for kind and provenance

      koesie10

      committed
      95296f1View commit details

      Copy full SHA for 95296f1

      View code at this pointBrowse repository at this point

    • Java: Add VS Code model editor queries

      koesie10

      committed
      7db082fView commit details

      Copy full SHA for 7db082f

      View code at this pointBrowse repository at this point
13. Commits on Jul 13, 2023

    • C#/Java/Ruby: Remove superfluous module members.

      aschackmull

      committed
      91de43fView commit details

      Copy full SHA for 91de43f

      View code at this pointBrowse repository at this point
14. Commits on Jun 15, 2023

    • Java: Rewrite `InlineFlowTest` as a parameterized module

      jketema

      committed
      742eb8dView commit details

      Copy full SHA for 742eb8d

      View code at this pointBrowse repository at this point
15. Commits on May 31, 2023

    • Java: update write-file sink kind to file-system-store

      

      Jami Cogswell

      authored and

      Jami Cogswell

      committed
      eb1a8e2View commit details

      Copy full SHA for eb1a8e2

      View code at this pointBrowse repository at this point

    • Java: update logging sink kind to log-injection

      

      Jami Cogswell

      authored and

      Jami Cogswell

      committed
      430010dView commit details

      Copy full SHA for 430010d

      View code at this pointBrowse repository at this point
16. Commits on May 30, 2023

    • Merge pull request #13314 from github/aeisenberg/adds-to-pack

      Show description for 6ba8f9e
      aeisenberg

      authored
      6ba8f9eView commit details

      Copy full SHA for 6ba8f9e

      View code at this pointBrowse repository at this point
17. Commits on May 29, 2023

    • Fix `addsTo.pack` references

      Show description for 2d81e30
      aeisenberg

      committed
      2d81e30View commit details

      Copy full SHA for 2d81e30

      View code at this pointBrowse repository at this point

    • Further perf improvements

      atorralba

      committed
      6386ef3View commit details

      Copy full SHA for 6386ef3

      View code at this pointBrowse repository at this point
18. Commits on May 26, 2023

    • Java: Fix performance issue in the stub generator

      atorralba

      committed
      4dfc9b1View commit details

      Copy full SHA for 4dfc9b1

      View code at this pointBrowse repository at this point
19. Commits on May 8, 2023

    • C#/Java: Update model converter queries to handle kind information.

      michaelnebel

      committed
      8435c31View commit details

      Copy full SHA for 8435c31

      View code at this pointBrowse repository at this point