pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

deleting string models/tests

Browse Source 
Reviewed By: jeremydubreil

Differential Revision: D2686977

fb-gh-sync-id: 0031fb7
master
Sam Blackshear 9 years ago committed by facebook-github-bot-1
parent 646c9dbb61
commit 8eb668f668
5 changed files with 0 additions and 478 deletions
Show Stats Download Patch File Download Diff File

20
infer/models/java/src/java/lang/String.java
Unescape View File

@ -54,24 +54,4 @@ public final class String {
throw new StringIndexOutOfBoundsException(offset + length);
}
public boolean equals(Object anObject) {
InferBuiltins.__check_untainted(anObject);
return this == anObject;
}
public int compareTo(String aString) {
InferBuiltins.__check_untainted(aString);
return InferUndefined.nonneg_int();
}
public boolean endsWith(String aString) {
InferBuiltins.__check_untainted(aString);
return InferUndefined.boolean_undefined();
}
public boolean startsWith(String aString) {
InferBuiltins.__check_untainted(aString);
return InferUndefined.boolean_undefined();
}
}

100
infer/tests/ant_report.json
Unescape View File

@ -44,106 +44,6 @@
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetAuthorityCompareTo(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetAuthorityEndsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetAuthorityStartsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetAuthoriyEquals(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetHostCompareTo(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetHostEndsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetHostEquals(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetHostStartsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetProtocolCompareTo(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetProtocolEndsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetProtocolEquals(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetProtocolStartsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToExternalFormCompareTo(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToExternalFormEndsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToExternalFormEquals(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToExternalFormStartsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToStringCompareTo(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToStringEndsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToStringEquals(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToStringStartsWith(String)",
"file": "codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "InputStream TaintExample.taintingShouldNotPreventInference(SSLSocketFactory)",
"file": "codetoanalyze/java/infer/TaintExample.java",

100
infer/tests/buck_report.json
Unescape View File

@ -44,106 +44,6 @@
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetAuthorityCompareTo(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetAuthorityEndsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetAuthorityStartsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetAuthoriyEquals(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetHostCompareTo(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetHostEndsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetHostEquals(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetHostStartsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetProtocolCompareTo(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetProtocolEndsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetProtocolEquals(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintGetProtocolStartsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToExternalFormCompareTo(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToExternalFormEndsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToExternalFormEquals(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToExternalFormStartsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToStringCompareTo(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToStringEndsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToStringEquals(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "String TaintExample.taintToStringStartsWith(String)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",
"bug_type": "TAINTED_VALUE_REACHING_SENSITIVE_FUNCTION"
},
{
"procedure": "InputStream TaintExample.taintingShouldNotPreventInference(SSLSocketFactory)",
"file": "infer/tests/codetoanalyze/java/infer/TaintExample.java",

238
infer/tests/codetoanalyze/java/infer/TaintExample.java
Unescape View File

@ -23,244 +23,6 @@ import javax.net.ssl.SSLSocketFactory;
public class TaintExample {
String test_equals(String s) {
String my_string ="a string";
String res;
if (my_string.equals(s)) {
res = "OK";
} else {
res = "NOT OK";
}
return res;
}
String test_compareTo(String s) {
String my_string ="a string";
String res;
if (my_string.compareTo(s) == 1) {
res = "OK";
} else {
res = "NOT OK";
}
return res;
}
String test_endsWith(String s) {
String my_string ="a string";
String res;
if (my_string.endsWith(s)) {
res = "OK";
} else {
res = "NOT OK";
}
return res;
}
String test_startsWith(String s) {
String my_string ="a string";
String res;
if (my_string.startsWith(s)) {
res = "OK";
} else {
res = "NOT OK";
}
return res;
}
public String taintGetHostEquals (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getHost();
res = test_equals(s1);
return res;
}
public String taintGetHostCompareTo (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getHost();
res = test_compareTo(s1);
return res;
}
public String taintGetHostEndsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getHost();
res = test_endsWith(s1);
return res;
}
public String taintGetHostStartsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getHost();
res = test_startsWith(s1);
return res;
}
public String taintGetAuthoriyEquals (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getAuthority();
res = test_equals(s1);
return res;
}
public String taintGetAuthorityCompareTo (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getAuthority();
res = test_compareTo(s1);
return res;
}
public String taintGetAuthorityEndsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getAuthority();
res = test_endsWith(s1);
return res;
}
public String taintGetAuthorityStartsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getAuthority();
res = test_startsWith(s1);
return res;
}
public String taintGetProtocolEquals (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getProtocol();
res = test_equals(s1);
return res;
}
public String taintGetProtocolCompareTo (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getProtocol();
res = test_compareTo(s1);
return res;
}
public String taintGetProtocolEndsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getProtocol();
res = test_endsWith(s1);
return res;
}
public String taintGetProtocolStartsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.getProtocol();
res = test_startsWith(s1);
return res;
}
public String taintToExternalFormEquals (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.toExternalForm();
res = test_equals(s1);
return res;
}
public String taintToExternalFormCompareTo (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.toExternalForm();
res = test_compareTo(s1);
return res;
}
public String taintToExternalFormEndsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.toExternalForm();
res = test_endsWith(s1);
return res;
}
public String taintToExternalFormStartsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.toExternalForm();
res = test_startsWith(s1);
return res;
}
public String taintToStringEquals (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.toString();
res = test_equals(s1);
return res;
}
public String taintToStringCompareTo (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.toString();
res = test_compareTo(s1);
return res;
}
public String taintToStringEndsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.toString();
res = test_endsWith(s1);
return res;
}
public String taintToStringStartsWith (String s) throws MalformedURLException {
String res;
URL u = new URL(s);
String s1 = u.toString();
res = test_startsWith(s1);
return res;
}
public InputStream socketNotVerifiedSimple(SSLSocketFactory f)
throws IOException {
Socket socket = f.createSocket();

20
infer/tests/endtoend/java/infer/TaintTest.java
Unescape View File

@ -38,26 +38,6 @@ public class TaintTest {
public void whenInferRunsOnTaintFileErrorFound()
throws InterruptedException, IOException, InferException {
String[] methods = {
"taintGetHostEquals",
"taintGetHostCompareTo",
"taintGetHostEndsWith",
"taintGetHostStartsWith",
"taintGetAuthoriyEquals",
"taintGetAuthorityCompareTo",
"taintGetAuthorityEndsWith",
"taintGetAuthorityStartsWith",
"taintGetProtocolEquals",
"taintGetProtocolCompareTo",
"taintGetProtocolEndsWith",
"taintGetProtocolStartsWith",
"taintToExternalFormEquals",
"taintToExternalFormCompareTo",
"taintToExternalFormEndsWith",
"taintToExternalFormStartsWith",
"taintToStringEquals",
"taintToStringCompareTo",
"taintToStringEndsWith",
"taintToStringStartsWith",
"socketNotVerifiedSimple",
"socketVerifiedForgotToCheckRetval",
"socketIgnoreExceptionNoVerify",

Write Preview
Loading…
Cancel
Save