diff --git a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/declarations/ValueDeclaration.kt b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/declarations/ValueDeclaration.kt index 0835ebd7b14..df0044e8885 100644 --- a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/declarations/ValueDeclaration.kt +++ b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/declarations/ValueDeclaration.kt @@ -61,6 +61,8 @@ abstract class ValueDeclaration : Declaration(), HasType { } } + var aliases = mutableSetOf() + override var assignedTypes: Set = mutableSetOf() set(value) { if (field == value) { diff --git a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/statements/expressions/Reference.kt b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/statements/expressions/Reference.kt index 048a276a68f..f5447a58b79 100644 --- a/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/statements/expressions/Reference.kt +++ b/cpg-core/src/main/kotlin/de/fraunhofer/aisec/cpg/graph/statements/expressions/Reference.kt @@ -71,7 +71,9 @@ open class Reference : Expression(), HasType.TypeObserver { value.registerTypeObserver(this) } } - // set the access + + var aliases = mutableSetOf() + /** * Is this reference used for writing data instead of just reading it? Determines dataflow * direction