Commits

Commit history

1. Commits on May 28, 2024

   • C#: Address review comments.

     michaelnebel

     committed
     5a25967View commit details

     Copy full SHA for 5a25967

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

   • C#: Use manual sink callables as exclusion for extrapolated sinks.

     michaelnebel

     committed
     c59c7cfView commit details

     Copy full SHA for c59c7cf

     View code at this pointBrowse repository at this point

   • C#: Introduce lifting of callables in the model generator.

     michaelnebel

     committed
     a8feda2View commit details

     Copy full SHA for a8feda2

     View code at this pointBrowse repository at this point

   • C#: Re-factor model generator specific to align with Java.

     michaelnebel

     committed
     3ad29d8View commit details

     Copy full SHA for 3ad29d8

     View code at this pointBrowse repository at this point
3. 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
4. Commits on May 16, 2024

   • C#: Remove the override and ext column from the summaries printing test.

     michaelnebel

     committed
     763d53aView commit details

     Copy full SHA for 763d53a

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

   • 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
6. Commits on Apr 12, 2024

   • C#: Address review comments.

     michaelnebel

     committed
     254c6c3View commit details

     Copy full SHA for 254c6c3

     View code at this pointBrowse repository at this point

   • C#: Update the model editor code to disregard properties in case both a getter and a setter is present.

     michaelnebel

     committed
     c12c2a5View commit details

     Copy full SHA for c12c2a5

     View code at this pointBrowse repository at this point

   • C#: Only attempt to generate models for properties that does not both have a get and a set accessor.

     michaelnebel

     committed
     8cc4f86View commit details

     Copy full SHA for 8cc4f86

     View code at this pointBrowse repository at this point

   • C#: Add alert provenance plumbing.

     aschackmull

     committed
     004bda1View commit details

     Copy full SHA for 004bda1

     View code at this pointBrowse repository at this point
7. 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
8. Commits on Mar 7, 2024

   • C#: Clean up implementation and remove CIL dataflow implementation.

     michaelnebel

     committed
     58a1353View commit details

     Copy full SHA for 58a1353

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

   • 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
10. Commits on Dec 20, 2023

    • C#: Introduce `TestRelatedFile` class

      koesie10

      committed
      d09fadfView commit details

      Copy full SHA for d09fadf

      View code at this pointBrowse repository at this point
11. Commits on Dec 19, 2023

    • C#: Extend TestFile instead of separate class

      koesie10

      committed
      0f71df9View commit details

      Copy full SHA for 0f71df9

      View code at this pointBrowse repository at this point

    • C#: Classify test support files in model editor queries

      koesie10

      committed
      d22acfbView commit details

      Copy full SHA for d22acfb

      View code at this pointBrowse repository at this point
12. Commits on Dec 14, 2023

    • C#: Rename getMethodName to getEndpointName

      koesie10

      committed
      96feb2cView commit details

      Copy full SHA for 96feb2c

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

    • C#: Share qualified name module for model editor queries

      koesie10

      committed
      e177f87View commit details

      Copy full SHA for e177f87

      View code at this pointBrowse repository at this point

    • C#: Use correct names for generic types/methods in model editor queries

      koesie10

      committed
      ea504cdView commit details

      Copy full SHA for ea504cd

      View code at this pointBrowse repository at this point
14. Commits on Nov 10, 2023

    • C#: Use `{get,has}FullyQualifiedName` throughout

      hvitved

      committed
      b72f345View commit details

      Copy full SHA for b72f345

      View code at this pointBrowse repository at this point
15. Commits on Nov 9, 2023

    • C#: Update model conversion queries

      hvitved

      committed
      74f483aView commit details

      Copy full SHA for 74f483a

      View code at this pointBrowse repository at this point

    • C#: Include type parameters when printing MaD rows with generics

      hvitved

      committed
      6f4311dView commit details

      Copy full SHA for 6f4311d

      View code at this pointBrowse repository at this point
16. Commits on Nov 5, 2023

    • C#: Merge `ExternalFlow.qll` and `ExternalFlowExtensions.qll`, and move to `internal`

      hvitved

      committed
      2a33a86View commit details

      Copy full SHA for 2a33a86

      View code at this pointBrowse repository at this point
17. Commits on Sep 28, 2023

    • C#: Fix parentheses in model editor queries

      Show description for 3f3c662
      koesie10

      committed
      3f3c662View commit details

      Copy full SHA for 3f3c662

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

    • C#: Remove unnecessary import

      koesie10

      committed
      922ff7bView commit details

      Copy full SHA for 922ff7b

      View code at this pointBrowse repository at this point

    • C#: Split API name column into separate columns

      koesie10

      committed
      dc6def7View commit details

      Copy full SHA for dc6def7

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

    • C#: Remove unnecessary columns

      koesie10

      committed
      0fea21fView commit details

      Copy full SHA for 0fea21f

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

    • C#: Address review comments.

      michaelnebel

      committed
      13dd9a6View commit details

      Copy full SHA for 13dd9a6

      View code at this pointBrowse repository at this point

    • C#: Re-factor most of the logic out of the model editor query files.

      michaelnebel

      committed
      50a9219View commit details

      Copy full SHA for 50a9219

      View code at this pointBrowse repository at this point

    • C#: Identify whether callables in the source code are supported in terms of MaD.

      michaelnebel

      committed
      45432f2View commit details

      Copy full SHA for 45432f2

      View code at this pointBrowse repository at this point
21. Commits on Sep 19, 2023

    • C#: Update query id/tags and documentation

      koesie10

      committed
      3ebb9e1View commit details

      Copy full SHA for 3ebb9e1

      View code at this pointBrowse repository at this point

    • C#: Rename queries from fetch methods to endpoints

      koesie10

      committed
      044fb9fView commit details

      Copy full SHA for 044fb9f

      View code at this pointBrowse repository at this point

    • C#: Remove unnecessary isUnboundDeclaration predicates

      koesie10

      committed
      dd79049View commit details

      Copy full SHA for dd79049

      View code at this pointBrowse repository at this point