Commit bcf4df8

committed

Convert ObjectOrCfg to IPA type for stronger type-checking.

1 parent c767de0 commit bcf4df8Copy full SHA for bcf4df8

5 files changed

+185

-92

lines changed

python/ql
- src/semmle/python
  - pointsto
    - PointsTo.qll
  - types
    - ClassObject.qll
    - ModuleObject.qll
- test/library-tests/PointsTo/imports
  - Runtime.expected
  - RuntimeWithType.expected

5 files changed

+185

-92

lines changed

Comments

(0)