Review

Misuse Details

Details about the known misuse from the MUBench dataset.

Potential Hits

Findings of the detector that identify an anomaly in the same file and method as the known misuse.

Hit Rank Confidence Defect Indicator Missing Properties Present Properties Supporting Objects
?

0

0.96

1.0

AG (HttpConnection.open () : void @ (0) => EX EF HttpConnection.isProxied () : boolean @ (0));AF HttpConnection.open () : void @ (0);AG (HttpConnection.isOpen () : boolean @ (0) => AX AF HttpConnection.isProxied () : boolean @ (0));AF HttpConnection.isOpen () : boolean @ (0);AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpConnection.isProxied () : boolean @ (0));AG (HttpConnection.isOpen () : boolean @ (0) => AX AF HttpConnection.open () : void @ (0));AG (HttpConnection.open () : void @ (0) => AX AF HttpConnection.isProxied () : boolean @ (0));EF HttpConnection.open () : void @ (0);AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpConnection.open () : void @ (0));EF HttpConnection.isOpen () : boolean @ (0)

AF HttpConnection.isProxied () : boolean @ (0);EF HttpConnection.isProxied () : boolean @ (0)

CloseConnection10.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection;CloseConnection1.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection;CloseConnection0.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection

?

1

0.98

1.0

AG (HttpConnection.open () : void @ (0) => EX EF HttpMethod.execute (HttpState, HttpConnection) : int @ (2));AG (HttpConnection.open () : void @ (0) => EX EF HttpConnection.isSecure () : boolean @ (0));AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpConnection.isSecure () : boolean @ (0));EF HttpConnection.isSecure () : boolean @ (0);AG (HttpConnection.open () : void @ (0) => AX AF HttpConnection.isProxied () : boolean @ (0));AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpMethod.execute (HttpState, HttpConnection) : int @ (2));AG (HttpConnection.open () : void @ (0) => EX EF HttpConnection.isProxied () : boolean @ (0));AG (HttpConnection.isOpen () : boolean @ (0) => AX AF HttpMethod.execute (HttpState, HttpConnection) : int @ (2));AG (HttpConnection.isProxied () : boolean @ (0) => AX AF HttpMethod.execute (HttpState, HttpConnection) : int @ (2));AG (HttpConnection.open () : void @ (0) => AX AF HttpMethod.execute (HttpState, HttpConnection) : int @ (2));AF HttpConnection.isOpen () : boolean @ (0);AG (HttpConnection.isSecure () : boolean @ (0) => AX AF HttpMethod.execute (HttpState, HttpConnection) : int @ (2));EF HttpConnection.isProxied () : boolean @ (0);AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpConnection.isProxied () : boolean @ (0));AG (HttpConnection.isProxied () : boolean @ (0) => EX EF HttpConnection.isSecure () : boolean @ (0));AG (HttpConnection.isSecure () : boolean @ (0) => EX EF HttpMethod.execute (HttpState, HttpConnection) : int @ (2));EF HttpConnection.open () : void @ (0);AG (HttpConnection.isProxied () : boolean @ (0) => EX EF HttpMethod.execute (HttpState, HttpConnection) : int @ (2));AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpConnection.open () : void @ (0));EF HttpConnection.isOpen () : boolean @ (0)

EF HttpMethod.execute (HttpState, HttpConnection) : int @ (2);AF HttpMethod.execute (HttpState, HttpConnection) : int @ (2)

CloseConnection10.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection;CloseConnection1.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection;CloseConnection0.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection

?

2

0.98

1.0

AG (HttpConnection.isOpen () : boolean @ (0) => AX AF HttpConnection.isProxied () : boolean @ (0));AG (HttpConnection.open () : void @ (0) => EX EF HttpConnection.isSecure () : boolean @ (0));AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpConnection.isSecure () : boolean @ (0));AF HttpConnection.isProxied () : boolean @ (0);AG (HttpConnection.isOpen () : boolean @ (0) => AX AF HttpConnection.open () : void @ (0));AG (HttpConnection.isProxied () : boolean @ (0) => AX AF HttpConnection.isSecure () : boolean @ (0));AG (HttpConnection.open () : void @ (0) => AX AF HttpConnection.isProxied () : boolean @ (0));AG (HttpConnection.open () : void @ (0) => AX AF HttpConnection.isSecure () : boolean @ (0));AG (HttpConnection.open () : void @ (0) => EX EF HttpConnection.isProxied () : boolean @ (0));AF HttpConnection.open () : void @ (0);AG (HttpConnection.isOpen () : boolean @ (0) => AX AF HttpConnection.isSecure () : boolean @ (0));AF HttpConnection.isOpen () : boolean @ (0);EF HttpConnection.isProxied () : boolean @ (0);AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpConnection.isProxied () : boolean @ (0));AG (HttpConnection.isProxied () : boolean @ (0) => EX EF HttpConnection.isSecure () : boolean @ (0));EF HttpConnection.open () : void @ (0);AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpConnection.open () : void @ (0));EF HttpConnection.isOpen () : boolean @ (0)

EF HttpConnection.isSecure () : boolean @ (0);AF HttpConnection.isSecure () : boolean @ (0)

CloseConnection10.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection;CloseConnection1.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection;CloseConnection0.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection

?

3

0.98

1.0

AF HttpConnection.isOpen () : boolean @ (0);AG (HttpConnection.isOpen () : boolean @ (0) => AX AF HttpConnection.open () : void @ (0));AG (HttpConnection.isOpen () : boolean @ (0) => EX EF HttpConnection.open () : void @ (0));EF HttpConnection.isOpen () : boolean @ (0)

AF HttpConnection.open () : void @ (0);EF HttpConnection.open () : void @ (0)

CloseConnection10.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection;CloseConnection1.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection;CloseConnection0.pattern (HttpConnection, HttpMethod, HttpState) : void : param #1@HttpConnection