Open jbeard4 opened 9 years ago
Expressions referenced in idlocation should exist in the datamodel. We should add this feature to our static-analysis module.
idlocation
@feyzo Did we add the feature where we flow through and check that assign/@location exists in the datamodel, i.e. check that variables that are referenced have been declared?
assign/@location
Expressions referenced in
idlocation
should exist in the datamodel. We should add this feature to our static-analysis module.