Robuta

https://codeql.github.com/codeql-standard-libraries/python/semmle/python/Flow.qll/predicate.Flow$BasicBlock$alwaysReaches.1.html alwaysReaches API documentation for CodeQL