Meeting minutes for 02.10.2025

[konradweiss]

Agenda

1. Open PRs

Discussed PRs

• Implement alwaysComesFrom #2431 @KuechA Will do some refactoring and tests.
• Generate concepts and operations from cloud ontology #2414 @interruptedHandshake will finish the enum integration and exclude the generated Nodes from the coverage report.
• Timeout for CDG and CFSensitiveDFG pass #2417 @KuechA will look into if we can keep the non-CFS DFG Edges in case of Timeout.
• Timeout for CDG and CFSensitiveDFG pass #2417 @oxisto WIll adapt the PR.
• Moved AST nodes to graph.ast package #2402 @konradweiss Will oslve conflicts and then we need a major version.
• Renaming proposal for subtree searching extension functions #2391 @konradweiss got some feedback on how to appraoch this rework
• Implementing a simple running counter for our legacy ID  #2439 @konradweiss Can we derive a code location for the fluent dsl like we did for assumptions and eliminate the legacy id.
• # 2260 @konradweiss will implement this.
• Abstract Value Analysis #1759 @KuechA Merges this.
• Changing function signature of parse to accept the file content instead of a file #1706 @oxisto Will look if he can finish this. We will mere this for the two frontends that work and look how to integrate more of them.

...