hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Autoformat

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2020-03-25 11:56:18 +01:00
parent 12c6997e7b
commit dc9dbf3682
1 changed files with 3 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
python/ql/test/library-tests/examples/custom-sanitizer/Taint.qll
View File

@@ -17,13 +17,10 @@ class MySimpleSanitizer extends Sanitizer {
* The test `if is_safe(arg):` sanitizes `arg` on its `true` edge.
*
* Can't handle `if not is_safe(arg):` :\ that's why it's called MySimpleSanitizer
*
*/
override predicate sanitizingEdge(TaintKind taint, PyEdgeRefinement test) {
taint instanceof ExternalStringKind and
exists(CallNode call |
test.getTest() = call and test.getSense() = true
|
exists(CallNode call | test.getTest() = call and test.getSense() = true |
call = Value::named("test.is_safe").getACall() and
test.getInput().getAUse() = call.getAnArg()
)
@@ -75,11 +72,7 @@ class TestConfig extends TaintTracking::Configuration {
sanitizer instanceof MySanitizerHandlingNot
}
override predicate isSource(TaintTracking::Source source) {
source instanceof SimpleSource
}
override predicate isSource(TaintTracking::Source source) { source instanceof SimpleSource }
override predicate isSink(TaintTracking::Sink sink) {
none()
}
override predicate isSink(TaintTracking::Sink sink) { none() }
}