File tree Expand file tree Collapse file tree 2 files changed +4
-0
lines changed
java/ql/lib/semmle/code/java/security Expand file tree Collapse file tree 2 files changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -17,6 +17,7 @@ class X509TrustManager extends RefType {
1717 X509TrustManager ( ) { this .hasQualifiedName ( "javax.net.ssl" , "X509TrustManager" ) }
1818}
1919
20+ /** The `javax.net.ssl.HttpsURLConnection` class. */
2021class HttpsUrlConnection extends RefType {
2122 HttpsUrlConnection ( ) { this .hasQualifiedName ( "javax.net.ssl" , "HttpsURLConnection" ) }
2223}
Original file line number Diff line number Diff line change @@ -723,6 +723,7 @@ private class ExplicitlySafeXmlReaderFlowConfig extends DataFlow3::Configuration
723723 override int fieldFlowBranchLimit ( ) { result = 0 }
724724}
725725
726+ /** An argument to a safe XML reader. */
726727class SafeXmlReaderFlowSink extends Expr {
727728 SafeXmlReaderFlowSink ( ) {
728729 this = any ( XmlReaderParse p ) .getQualifier ( ) or
@@ -767,6 +768,7 @@ class ExplicitlySafeXmlReader extends VarAccess {
767768 )
768769 }
769770
771+ /** Holds if `SafeXmlReaderFlowSink` detects flow from this to `sink` */
770772 predicate flowsTo ( SafeXmlReaderFlowSink sink ) {
771773 any ( ExplicitlySafeXmlReaderFlowConfig conf )
772774 .hasFlow ( DataFlow:: exprNode ( this ) , DataFlow:: exprNode ( sink ) )
@@ -810,6 +812,7 @@ class CreatedSafeXmlReader extends Call {
810812 )
811813 }
812814
815+ /** Holds if `CreatedSafeXmlReaderFlowConfig` detects flow from this to `sink` */
813816 predicate flowsTo ( SafeXmlReaderFlowSink sink ) {
814817 any ( CreatedSafeXmlReaderFlowConfig conf )
815818 .hasFlow ( DataFlow:: exprNode ( this ) , DataFlow:: exprNode ( sink ) )
You can’t perform that action at this time.
0 commit comments