Restore removed node location output

This commit is contained in:
Nicolas Will
2025-02-27 05:45:27 +01:00
parent 04f4683399
commit ef0614ad45

View File

@@ -58,7 +58,7 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
or
// CodeQL's DGML output does not include a location
key = "Location" and
value = "<demo>" // node.getLocation().toString()
value = node.getLocation().toString()
or
// Known unknown edges should be reported as properties rather than edges
node = node.getChild(key) and