Repository navigation

Python: Modernize the Signature Mismatch query - #20217

Merged

joefarebrother merged 15 commits into

github:mainfrom

joefarebrother:python-qual-signature-mismatch

Sep 17, 2025

Merged

Python: Modernize the Signature Mismatch query#20217
joefarebrother merged 15 commits into
github:mainfrom
joefarebrother:python-qual-signature-mismatch

Commits on Sep 1, 2025
- Modernize signature mismatch
  joefarebrother
  committed
  5ba5007
- Update alert messages and choose one witness
  joefarebrother
  committed
  4212d1b
- Include conditional alert messages for various cases
  joefarebrother
  committed
  067c98d
- Update tests, update alert messages
  joefarebrother
  committed
  f429b90
- Add additional test cases
  joefarebrother
  committed
  2bbf24b
- Updae other test output
  joefarebrother
  committed
  502ea82
- Update documentation
  joefarebrother
  committed
  900a5cd
- Add changenote.+ fix typo
  joefarebrother
  committed
  0a83c11
- Update python/ql/src/Functions/SignatureOverriddenMethod.ql
  
  joefarebrother
  and
  Copilot
  committed
  6587ad4
- Use new option name
  joefarebrother
  committed
  125c653
Commits on Sep 2, 2025
- Increase precision in detecting call matches signature
  joefarebrother
  committed
  318d1cd
Commits on Sep 3, 2025
- Add comments documenting helper predicates, and add call resolve condition to callMatchesSignature to avoid cartesian product
  joefarebrother
  committed
  9fa630f
- Fix typos
  joefarebrother
  committed
  71dec0b
Commits on Sep 8, 2025
- Performance experiment - add getFunctionFIle for better join order
  joefarebrother
  committed
  eb246f6
Commits on Sep 9, 2025
- Simplify choosaASignatureMismatchWitness for improved performance
  joefarebrother
  committed
  f9e094d