Commits

Commit history

1. Commits on Aug 13, 2024

   • Merge pull request #16817 from hvitved/csharp/multi-body-dataflow-dispatch

     Show description for fbcb449
     hvitved

     authored
     fbcb449View commit details

     Copy full SHA for fbcb449

     View code at this pointBrowse repository at this point
2. Commits on Jul 15, 2024

   • C#: Code quality improvement.

     michaelnebel

     committed
     8eba4a3View commit details

     Copy full SHA for 8eba4a3

     View code at this pointBrowse repository at this point
3. Commits on Jul 11, 2024

   • C#: Restrict multi-body dataflow dispatch based on file-system distance

     hvitved

     committed
     0459422View commit details

     Copy full SHA for 0459422

     View code at this pointBrowse repository at this point
4. Commits on Jul 2, 2024

   • C#: Do not generate source models for Overriable callables that overrides or implements something.

     michaelnebel

     committed
     5639adaView commit details

     Copy full SHA for 5639ada

     View code at this pointBrowse repository at this point
5. Commits on Jun 27, 2024

   • C#: Only lift summary models in the model generator.

     michaelnebel

     committed
     64ac52eView commit details

     Copy full SHA for 64ac52e

     View code at this pointBrowse repository at this point
6. Commits on Jun 24, 2024

   • C#: Exclude APIs with a manual source neutral from source model generation and allow source generation for all source kinds.

     michaelnebel

     committed
     b27a9d9View commit details

     Copy full SHA for b27a9d9

     View code at this pointBrowse repository at this point

   • C#: Adjust implementation to use the shared model printer.

     michaelnebel

     committed
     b7bc540View commit details

     Copy full SHA for b7bc540

     View code at this pointBrowse repository at this point
7. Commits on Jun 19, 2024

   • C#: Only allow source propgatation upwards in the call stack if the call path consists of unique call targets (to avoid unwanted virtual dispatch). This severely tightens the generation of extrapol…

     Show description for 4020491
     michaelnebel

     committed
     4020491View commit details

     Copy full SHA for 4020491

     View code at this pointBrowse repository at this point
8. Commits on Jun 18, 2024

   • C#: Some renaming and re-factoring.

     michaelnebel

     committed
     1c3ceacView commit details

     Copy full SHA for 1c3ceac

     View code at this pointBrowse repository at this point

   • C#: Use the same types as sanitizers for source and sink model as we use for summary model generation.

     michaelnebel

     committed
     b5d6a6dView commit details

     Copy full SHA for b5d6a6d

     View code at this pointBrowse repository at this point
9. Commits on Jun 14, 2024

   • C#/Java: Address review comments.

     michaelnebel

     committed
     a29446aView commit details

     Copy full SHA for a29446a

     View code at this pointBrowse repository at this point
10. Commits on Jun 12, 2024

    • C#: Perceive field and property reads as additional flow steps in sink extrapolation.

      michaelnebel

      committed
      91ebeeeView commit details

      Copy full SHA for 91ebeee

      View code at this pointBrowse repository at this point
11. Commits on May 31, 2024

    • C#: The model generator should consider System.Type and System.DateTime as sanitizers.

      michaelnebel

      committed
      8b75bb2View commit details

      Copy full SHA for 8b75bb2

      View code at this pointBrowse repository at this point
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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
21. 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
22. 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
23. 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
24. 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
25. 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