(Internal) CPG Hackathon 2024-10-02

[maximiliankaul]

Please add your ideas below.

• I'd like to get an introduction an the Control Flow Sensitive DFG pass (and other "basic passes" without good documentation one should know about).
• Please tell me more about how the graph works. Why are we storing lists of edges. What's going on with all the funny annotations? Which ones should I know? What's the unwrap stuff? ...

[morbitzer]

• Difference between the DeclarationState and the generalState (applies to all passes)

[oxisto]

• Difference between the DeclarationState and the generalState (applies to all passes)

Isn’t this only used in the CFDFG?

[morbitzer]

Ok, maybe it only applies to the Alias and the (Alias)CFSDFGPass

[oxisto]

If there is time we could discuss about the possible "withChildren" styles for the node builder (e.g., with it, with implicit receiver, with function, with block, etc.). I can prepare some different options,

[maximiliankaul]

I would welcome this topic. It's time to finalize this stuff.

[morbitzer]

• Which DFG/(Alias)CFSDFG Pass is supposed to draw which edges?

[maximiliankaul]

Assuming this is relevant for our current project: what's the current status of the value evaluators / what should be the status / short introduction on how they currently work.

[maximiliankaul]

Focus for Wednesday: passes

• Mermaid dependency graph
• Annotations: ExecuteBefore, ... @maximiliankaul
• Types of passes: component pass, ... @oxisto
• EOG @konradweiss
• Type Resolving @oxisto
• Symbol Resolver @oxisto
• DFG / CFSDFG @KuechA

[konradweiss]

What is documented where:
General Information, principles and Examples: https://github.com/Fraunhofer-AISEC/cpg/wiki
Documentation for users, specifications: https://fraunhofer-aisec.github.io/cpg/
Comments in code

[maximiliankaul]

Next Hackathon: Quary API QueryTree