Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Program Dependence Graph #1227

Merged
merged 66 commits into from
Aug 8, 2023
Merged

Add Program Dependence Graph #1227

merged 66 commits into from
Aug 8, 2023

Commits on Mar 17, 2023

  1. Try to use a more formal worklist EOG worklist iteration for the CFSe… 

    …nsitiveDFG
    @KuechA
    KuechA committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    19ef696 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2023

  1. Add new SplitsControlFlow interface

    @KuechA
    KuechA committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    50e1d48 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2023

  1. New unreachable EOG edges pass

    @KuechA
    KuechA committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    67086bc View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2023

  1. Handle AssignExpressions in ControlFlowSensitiveDFGPass

    @KuechA
    KuechA committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    d2dc925 View commit details
    Browse the repository at this point in the history

  2. Mark statements which should be irrelevant because the same edges are… 

    … set in the normal DFGPass
    @KuechA
    KuechA committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    56c8a55 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2023

  1. Remove setting unnecessary (already existing) edges from CFSensitiveD… 

    …FGPass
    @KuechA
    KuechA committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    f1cd62b View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2023

  1. ConditionalExpression splits control flow

    @KuechA
    KuechA committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    3229f54 View commit details
    Browse the repository at this point in the history

  2. Fix issue 1141

    @KuechA
    KuechA committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    f5e6342 View commit details
    Browse the repository at this point in the history

  3. Fix issue 1141

    @KuechA
    KuechA committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    3f58534 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into worklist-eog-iteration

    @KuechA
    KuechA committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    a2ab3aa View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2023

  1. Consistency

    @KuechA
    KuechA committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    9a57f2b View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. Rename class and add fields

    @KuechA
    KuechA committed May 12, 2023
    Configuration menu
    Copy the full SHA
    68d97fe View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Generate CDG

    @KuechA
    KuechA committed May 16, 2023
    Configuration menu
    Copy the full SHA
    71fc6f7 View commit details
    Browse the repository at this point in the history

  2. Merge main into worklist-eog-iteration

    @KuechA
    KuechA committed May 16, 2023
    Configuration menu
    Copy the full SHA
    3e50dd6 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2023

  1. Fix problem with very strange EOG self reference of literals

    @KuechA
    KuechA committed May 17, 2023
    Configuration menu
    Copy the full SHA
    cb035c8 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2023

  1. Test if statements and cdg

    @KuechA
    KuechA committed May 19, 2023
    Configuration menu
    Copy the full SHA
    011ab5d View commit details
    Browse the repository at this point in the history

  2. Add test for foreach loop

    @KuechA
    KuechA committed May 19, 2023
    Configuration menu
    Copy the full SHA
    3396b0a View commit details
    Browse the repository at this point in the history

Commits on May 22, 2023

  1. Reduce sonar warnings

    @KuechA
    KuechA committed May 22, 2023
    Configuration menu
    Copy the full SHA
    8560256 View commit details
    Browse the repository at this point in the history

  2. Fix failing tests

    @KuechA
    KuechA committed May 22, 2023
    Configuration menu
    Copy the full SHA
    1356f94 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into worklist-eog-iteration

    @KuechA
    KuechA committed May 22, 2023
    Configuration menu
    Copy the full SHA
    6262559 View commit details
    Browse the repository at this point in the history

  4. Use HasShortcircuitOperators to generate ShortcircuitOperator objects… 

    … in Expression Builder
    @KuechA
    KuechA committed May 22, 2023
    Configuration menu
    Copy the full SHA
    ee8e2ed View commit details
    Browse the repository at this point in the history

Commits on May 23, 2023

  1. Merge branch 'main' into worklist-eog-iteration

    @KuechA
    KuechA committed May 23, 2023
    Configuration menu
    Copy the full SHA
    26d25d5 View commit details
    Browse the repository at this point in the history

  2. Little fix

    @KuechA
    KuechA committed May 23, 2023
    Configuration menu
    Copy the full SHA
    8f5e0c4 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2023

  1. Integrate review feedback

    @KuechA
    KuechA committed May 31, 2023
    Configuration menu
    Copy the full SHA
    0edfa6e View commit details
    Browse the repository at this point in the history

  2. Merge main into worklist-eog-iteration

    @KuechA
    KuechA committed May 31, 2023
    Configuration menu
    Copy the full SHA
    b6090dd View commit details
    Browse the repository at this point in the history

  3. Merge main into worklist-eog-iteration

    @KuechA
    KuechA committed May 31, 2023
    Configuration menu
    Copy the full SHA
    648fa65 View commit details
    Browse the repository at this point in the history

  4. More review feedback

    @KuechA
    KuechA committed May 31, 2023
    Configuration menu
    Copy the full SHA
    871530a View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2023

  1. Update cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/helpers/EOGWo… 

    …rklist.kt

Co-authored-by: Christian Banse <[email protected]>
    @KuechA @oxisto
    KuechA and oxisto committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    73b741b View commit details
    Browse the repository at this point in the history

  2. Merge two iterateEOG functions

    @KuechA
    KuechA committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    cb9f2a2 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into worklist-eog-iteration

    @KuechA
    KuechA committed Jun 7, 2023
    Configuration menu
    Copy the full SHA
    4c54266 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2023

  1. Fluent DSL for loops

    @oxisto
    oxisto committed Jun 11, 2023
    Configuration menu
    Copy the full SHA
    4ecc621 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2023

  1. Fix redundant stuff

    @KuechA
    KuechA committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    c79d7cb View commit details
    Browse the repository at this point in the history

  2. Revert "Fluent DSL for loops" 

    This reverts commit 4ecc621.
    @KuechA
    KuechA committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    6ce7340 View commit details
    Browse the repository at this point in the history

  3. Get rid of "expectedUpdate"

    @KuechA
    KuechA committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    5a237eb View commit details
    Browse the repository at this point in the history

  4. Change method signatures

    @KuechA
    KuechA committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    2e6f440 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into worklist-eog-iteration

    @KuechA
    KuechA committed Jun 13, 2023
    Configuration menu
    Copy the full SHA
    83971cf View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. Small cleanup

    @KuechA
    KuechA committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    e67a75c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into worklist-eog-iteration

    @KuechA
    KuechA committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    6b1ff1b View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. Rename lattice to latticeelement

    @KuechA
    KuechA committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    2f5ec72 View commit details
    Browse the repository at this point in the history

  2. Remove nullable properties

    @KuechA
    KuechA committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    faa7d70 View commit details
    Browse the repository at this point in the history

  3. Nicer code

    @KuechA
    KuechA committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    9455a71 View commit details
    Browse the repository at this point in the history

  4. Documentation

    @KuechA
    KuechA committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    39b0bbd View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into worklist-eog-iteration

    @KuechA
    KuechA committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    f2377fa View commit details
    Browse the repository at this point in the history

  6. first draft for generating pdg property edges

    @seelchen
    seelchen committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    94496dd View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2023

  1. change delegate constructor parameter to KProperty1 for consistency

    @seelchen
    seelchen committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    0279df3 View commit details
    Browse the repository at this point in the history

  2. change PDGEdges properties from using delegates to custom getters

    @seelchen
    seelchen committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    19e6b02 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. add EventListener to set pdg edges before neo4j serialization

    @seelchen
    seelchen committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    339bbec View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. change to adding the PDG edges through a new Pass

    @seelchen
    seelchen committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    998d1b3 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. fix typos

    @seelchen
    seelchen committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    cc9dd65 View commit details
    Browse the repository at this point in the history

  2. add test for the ProgramDependenceGraphPass

    @seelchen
    seelchen committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    d55fbc4 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. add more tests

    @seelchen
    seelchen committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    25f7995 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2023

  1. add documentation

    @seelchen
    seelchen committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    7423ab5 View commit details
    Browse the repository at this point in the history

  2. fix format violation

    @seelchen
    seelchen committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    777da64 View commit details
    Browse the repository at this point in the history

  3. remove unused delegate class

    @seelchen
    seelchen committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    5a543fb View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2023

  1. rename pass to ProgramDependenceGraphPass and add documentation

    @seelchen
    seelchen committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    3e47441 View commit details
    Browse the repository at this point in the history

  2. rename pdgSetter to visitor

    @seelchen
    seelchen committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    35a7d73 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2023

  1. add new edge property DEPENDENCE

    @seelchen
    seelchen committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    3466320 View commit details
    Browse the repository at this point in the history

  2. use new DEPENDENCE property for PDGEdges and change addAllPrevPDGEdge… 

    …s function to add the PropertyEdge to both nodes which makes addAllNextPDGEdges unnecessary
    @seelchen
    seelchen committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    104fa00 View commit details
    Browse the repository at this point in the history

  3. change test to not rely on hashCode for comparing the lists

    @seelchen
    seelchen committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    ae1c173 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. Merge branch 'main' into add-pdg-properties

    @KuechA
    KuechA committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    f9d2a8c View commit details
    Browse the repository at this point in the history

  2. Fix problems of merge

    @KuechA
    KuechA committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    01d4922 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. change to use DFG PropertyEdges instead of the nodes

    @seelchen
    seelchen committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    93aec2b View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/main' into add-pdg-properties

    @seelchen
    seelchen committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    e193aa1 View commit details
    Browse the repository at this point in the history

  3. change to use sets for storing PDG and adjust PropertyEdgeSetDelegate… 

    … to use Collection instead of List
    @seelchen
    seelchen committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    ed0255d View commit details
    Browse the repository at this point in the history

  4. fix types in test

    @seelchen
    seelchen committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    4aa9c7f View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. Merge branch 'main' into add-pdg-properties

    @seelchen
    seelchen committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    f666f0c View commit details
    Browse the repository at this point in the history