Python: More style-guide renaming

Split it into multiple commits to make it easier to review.
This commit is contained in:
Rasmus Wriedt Larsen
2023-08-28 12:02:52 +02:00
parent 996364d6ee
commit c665c21d83
9 changed files with 3 additions and 3 deletions

View File

@@ -12,7 +12,7 @@
// determine precision above
import python
import experimental.semmle.python.security.LDAPInsecureAuth
import experimental.semmle.python.security.LdapInsecureAuth
import LdapInsecureAuthFlow::PathGraph
from LdapInsecureAuthFlow::PathNode source, LdapInsecureAuthFlow::PathNode sink