hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 10:46:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python: Minor cleanup of XmlParsingTest

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2022-03-31 18:18:35 +02:00
parent b4c0065aeb
commit 673220b231
1 changed files with 7 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
python/ql/test/experimental/meta/ConceptsTest.qll
View File

@@ -543,18 +543,16 @@ class HttpClientRequestTest extends InlineExpectationsTest {
class XmlParsingTest extends InlineExpectationsTest { class XmlParsingTest extends InlineExpectationsTest {
XmlParsingTest() { this = "XmlParsingTest" } XmlParsingTest() { this = "XmlParsingTest" }
override string getARelevantTag() { result in ["xmlInput", "xmlVuln"] } override string getARelevantTag() { result in ["xmlVuln"] }
override predicate hasActualResult(Location location, string element, string tag, string value) { override predicate hasActualResult(Location location, string element, string tag, string value) {
exists(location.getFile().getRelativePath()) and exists(location.getFile().getRelativePath()) and
exists(XML::XMLParsing parsing | exists(XML::XMLParsing parsing, XML::XMLParsingVulnerabilityKind kind |
exists(XML::XMLParsingVulnerabilityKind kind | parsing.vulnerableTo(kind) and
parsing.vulnerableTo(kind) and location = parsing.getLocation() and
location = parsing.getLocation() and element = parsing.toString() and
element = parsing.toString() and value = "'" + kind + "'" and
value = "'" + kind + "'" and tag = "xmlVuln"
tag = "xmlVuln"
)
) )
} }
} }