Files
codeql/python/ql/test/library-tests/PointsTo/properties/Lookup.ql
2020-03-30 11:59:10 +02:00

8 lines
255 B
Plaintext

import python
import semmle.python.pointsto.PointsTo
import semmle.python.objects.ObjectInternal
from ClassObjectInternal cls, string name, ObjectInternal f
where cls.lookup(name, f, _) and exists(f.getOrigin())
select cls.toString(), name, f.toString()