Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

buelfhood
/
SOCO-Java-CodeBERT-ST

Sentence Similarity
sentence-transformers
Safetensors
roberta
feature-extraction
Generated from Trainer
dataset_size:33411
loss:BatchAllTripletLoss
text-embeddings-inference
Model card Files Files and versions
xet
Community

Instructions to use buelfhood/SOCO-Java-CodeBERT-ST with libraries, inference providers, notebooks, and local apps. Follow these links to get started.

  • Libraries
  • sentence-transformers

    How to use buelfhood/SOCO-Java-CodeBERT-ST with sentence-transformers:

    from sentence_transformers import SentenceTransformer
    
    model = SentenceTransformer("buelfhood/SOCO-Java-CodeBERT-ST")
    
    sentences = [
        "import java.io.*;\nimport java.net.*;\nimport java.*;\nimport java.Runtime.*;\nimport java.Object.*;\nimport java.util.*;\nimport java.util.StringTokenizer;\n\npublic class Dictionary \n{\n  String uname = \"\";\n  String pword = \"null\";\n  Vector v = new Vector();\n   int runTime;\n  public void doConnect(String connect, int num)\n  {\n    String  = connect;\n    \n    try\n     {\n       URL secureSite = new URL();\n       URLConnection connection = secureSite.openConnection();\n       if (uname != null || pword != null)\n\t  {\n\t   \n\t    for(int i=num; i<v.size(); i++)\n\t    {\n\t      pword = (String)v.elementAt(i);\n\t      String up = uname + \":\" + pword;\n            String encoding;\n            try\n\t\t{\n\t\t  connection.misc.BASE64Encoder encoder = (con.misc.BASE64Encoder) Class.forName(\".misc.BASE64Encoder\").newInstance();\n\t\t  encoding = encoder.encode (up.getBytes());\n\t\t \n           }\n\t     catch (Exception ex) \n            {\n\t\t  Base64Converter encoder = new Base64Converter();\n\t\t  System.out.println(\"in catch\");\n              encoding = encoder.encode(up.getBytes());\n           }\n\t     connection.setRequestProperty (\"Authorization\", \" \" + encoding);\n           connection.connect();\n           if(connection instanceof HttpURLConnection)\n\t     {\n\t       HttpURLConnection httpCon=(HttpURLConnection)connection;\n             if(httpCon.getResponseCode()==HttpURLConnection.HTTP_UNAUTHORIZED)\n\t\t  {\n\t\t   System.out.println(\"Not authorized - check  for details\" + \" -Incorrect Password : \" + pword);\n\t         doConnect(i, i+1);\n\t       }\n\t\telse\n\t\t { \n\t\t  System.out.println(\"\\n\\n\\nPassword for HTTP Secure Site by Dictionary Attack:\");\n\t        System.out.println( +\"\\tPassword : \"+ pword);\n\n              runTime = System.currentTimeMillis() - runTime; \n              System.out.println(\"Time taken  crack password (in seconds)\"+\" : \"+ runTime/1000+\"\\n\"+ \"Tries taken  crack password : \"+ i);\n\t        System.exit(0);\n\t      }\n\t    }\n\t  }\n      }\n    }\n    catch(Exception ex)\n    {\n      ex.printStackTrace();\n    }\n  }\n  public Vector getPassword()\n  {\n    try\n    {\n      ReadFile  rf = new ReadFile();\n      rf.loadFile();\n      v = rf.getVector();\n    }\n    catch(Exception ex)\n    {\n      ex.printStackTrace();\n    }\n    return v;\n  } \n  public void setTimeTaken( int timetaken)\n  {\n    runTime = timetaken;\n  }   \n  public static void main ( String args[] ) throws IOException \n  {\n    \n     runTime1 = System.currentTimeMillis();     \n    Dictionary newDo = new Dictionary();\n    newDo.setTimeTaken(runTime1);\n    newDo. getPassword();\n    String site = \"http://sec-crack.cs.rmit.edu./SEC/2/\";\n    newDo.doConnect(site, 0);\n    \n  }  \n  \n}\n\nclass  Base64Converter\n      {\n  \n          public final char [ ]  alphabet = {\n              'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H',   \n              'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P',   \n              'Q', 'R', 'S', 'T', 'U', 'V', 'W', 'X',   \n              'Y', 'Z', 'a', 'b', 'c', 'd', 'e', 'f',   \n              'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n',   \n              'o', 'p', 'q', 'r', 's', 't', 'u', 'v',   \n              'w', 'x', 'y', 'z', '0', '1', '2', '3',   \n              '4', '5', '6', '7', '8', '9', '+', '/' }; \n  \n  \n          public String  encode ( String  s )\n          {\n              return encode ( s.getBytes ( ) );\n          }\n  \n          public String  encode ( byte [ ]  octetString )\n          {\n              int  bits24;\n              int  bits6;\n  \n              char [ ]  out\n                = new char [ ( ( octetString.length - 1 ) / 3 + 1 ) * 4 ];\n  \n              int outIndex = 0;\n              int i        = 0;\n  \n              while ( ( i + 3 ) <= octetString.length ) {\n                  \n                  bits24=( octetString [ i++ ] & 0xFF ) << 16;\n                  bits24 |=( octetString [ i++ ] & 0xFF ) << 8;\n  \n                  bits6=( bits24 & 0x00FC0000 )>> 18;\n                  out [ outIndex++ ] = alphabet [ bits6 ];\n                  bits6 = ( bits24 & 0x0003F000 ) >> 12;\n                  out [ outIndex++ ] = alphabet [ bits6 ];\n                  bits6 = ( bits24 & 0x00000FC0 ) >> 6;\n                  out [ outIndex++ ] = alphabet [ bits6 ];\n                  bits6 = ( bits24 & 0x0000003F );\n                  out [ outIndex++ ] = alphabet [ bits6 ];\n              }\n  \n              if ( octetString.length - i == 2 )\n              {\n                  \n                  bits24  = ( octetString [ i     ] & 0xFF ) << 16;\n                  bits24 |=( octetString [ i + 1 ] & 0xFF ) << 8;\n                  bits6=( bits24 & 0x00FC0000 )>> 18;\n                  out [ outIndex++ ] = alphabet [ bits6 ];\n                  bits6 = ( bits24 & 0x0003F000 ) >> 12;\n                  out [ outIndex++ ] = alphabet [ bits6 ];\n                  bits6 = ( bits24 & 0x00000FC0 ) >> 6;\n                  out [ outIndex++ ] = alphabet [ bits6 ];\n  \n                  \n                  out [ outIndex++ ] = '=';\n              }\n              else if ( octetString.length - i == 1 )\n              {\n                  \n                  bits24 = ( octetString [ i ] & 0xFF ) << 16;\n                  bits6=( bits24 & 0x00FC0000 )>> 18;\n                  out [ outIndex++ ] = alphabet [ bits6 ];\n                  bits6 = ( bits24 & 0x0003F000 ) >> 12;\n                  out [ outIndex++ ] = alphabet [ bits6 ];\n  \n                  \n                  out [ outIndex++ ] = '=';\n                  out [ outIndex++ ] = '=';\n              }\n  \n              return new String ( out );\n          }\n       }\n  \n  \n",
        "\n\n\nimport java.io.*;\nimport java.util.*;\nimport java.*;\nimport java.net.*;\n\npublic class WatchDog\n{\n\n   static Process p = null;\n   static Process qproc = null;\n\n   static BufferedReader bf = null;\n   static StringTokenizer tok = null;\n\n   static String Path = null;\n   static String str = null;\n   static String urlStr=null;\n   static boolean changed = false;\n\n   static File indexfile = new File(\"index.html\");\n   static File tmpfile = new File(\"tmpindex.html\");\n   static File mdfile = new File(\"md5file.txt\");\n   static File tmpmdfile = new File(\"tmpmd5file.txt\");\n   static PrintWriter mailwriter = null;\n\n\n   public static void main (String[] args) \n   {\n\n      urlStr = \"http://www.cs.rmit.edu./\";\n\n      try\n      {\n         \n         mailwriter = new PrintWriter(new BufferedWriter(new FileWriter(\"tomail.txt\", false)));\n\n         getLatest(urlStr);\n         parseFile(); \n\n         mailwriter.read();\n\n         if(changed)\n         {\n            System.out.println(\"Sending Mail\");\n            p = Runtime.getRuntime().exec(\"./mailscript\");\n            p.waitFor();\n\n         }\n         else\n            System.out.println(\" mail sent\");\n\n      }  catch (IOException ioe)\n         {\n            System.out.println(\"IOException\");\n            ioe.printStackTrace();\n         }\n         catch (InterruptedException intex)\n         {\n            System.out.println(\"Interrupted Exception\");\n            intex.printStackTrace();\n         }\n\n\n   }\n\n\n   static void getLatest(String urlStr)\n   { \n      \n      URL url = null;\n      \n      try\n      {\n         url = new URL(urlStr);\n\n      } catch (MalformedURLException mfurl)\n        {\n           System.out.println(\"Malformed URL\");\n           mfurl.printStackTrace();\n        }\n\n      try\n      {\n         mailwriter.println();\n\n         p = Runtime.getRuntime().exec(\"/usr//pwd\"); \n         p.waitFor();\n         bf= new BufferedReader(new InputStreamReader(\n                          p.getInputStream()));\n\n         Path=bf.readLine();\n\n         if (indexfile.exists())\n         {\n            mailwriter.println(\"File with name 'index.html' found in directory.\");\n            mailwriter.println(\"Renaming existing 'index.html'  'tmpindex.html...\");\n            p = Runtime.getRuntime().exec(\"/usr//mv \"+indexfile+ \" \" + Path+\"/\"+tmpfile);\n            p.waitFor();\n            p = Runtime.getRuntime().exec(\"/usr//mv \"+mdfile+ \" \" + Path+\"/\"+tmpmdfile);\n            mailwriter.println();\n            mailwriter.println(\"File with name 'md5file.txt' found in directory.\");\n            mailwriter.print(\"Renaming existing 'md5file.txt'  'tmpmd5file.txt...\");\n\n            mailwriter.println(\".\");\n\n            mailwriter.println();\n         }\n\n         mailwriter.println(\"Downloading current version of site - \" + urlStr);\n         p = Runtime.getRuntime().exec(\"/usr/local//wget \"+url);\n         p.waitFor();\n         if (!tmpfile.exists())\n         {\n            mailwriter.println(\"File - \" + urlStr + \"index.html saved  disk for the first time.\");\n         }\n\n\n      } catch (IOException ioe)\n        {\n           System.out.println(\"IOException\");\n           ioe.printStackTrace();\n        }\n        catch (IndexOutOfBoundsException iobe)\n        {\n           System.out.println(\"Index Out Of Bounds Exception\");\n           iobe.printStackTrace();\n        }\n        catch (Exception e)\n        {\n           System.out.println(\"Exception\");\n           e.printStackTrace();\n        }\n   }\n\n   static void parseFile()\n   {\n\n      Vector imgVect = new Vector();\n\n      try\n      {\n         p = Runtime.getRuntime().exec(\"/usr//grep img \" + Path + \"/\"+ indexfile);\n         p.waitFor();\n        bf = new BufferedReader(new InputStreamReader(\n                          p.getInputStream()));\n\n         while((str=bf.readLine())!=null)\n         {\n            bf = new StringTokenizer(str, \"\\\"\", false);\n          \n            while(bf.hasMoreTokens())\n            {\n               str=bf.nextToken();\n               if ((str.indexOf(\"gif\") > 0) || (str.indexOf(\"jpg\") > 0))\n                  imgVect.addElement(str);\n            }\n           \n         }\n\n      }catch (IOException ioe)\n        {\n           System.out.println(\"IOException\");\n           ioe.printStackTrace();\n        }\n        catch (Exception e)\n        {\n           System.out.println(\"Exception\");\n           e.printStackTrace();\n        }\n\n        mailwriter.println(\"Creating file with md5sums of the webpage and images...\");\n        md5Create(imgVect);\n\n   }\n\n   static void md5Create(Vector imgVect)\n   {\n      String tmpString = null;\n      Vector imgNames = new Vector();\n\n      try\n      {\n         PrintWriter pr = new PrintWriter(new BufferedWriter(new FileWriter(mdfile, false)));\n \n         p=Runtime.getRuntime().exec(\"/usr/local//md5sum \"+indexfile);\n         p.waitFor();\n         bf= new BufferedReader(new InputStreamReader(\n                          p.getInputStream()));\n         pr.println(bf.readLine());\n   \n         for(int i=0; i<imgVect.size();i++)\n         {\n            imgNames.insertElementAt((getImgNames((String)imgVect.elementAt(i))), i);\n            imgVect.setElementAt((getFullPath((String)imgVect.elementAt(i))), i);\n\n            p=Runtime.getRuntime().exec(\"/usr/local//md5sum \"+(String)imgNames.elementAt(i));\n            p.waitFor();\n            bf= new BufferedReader(new InputStreamReader(\n                          p.getInputStream()));\n            pr.println(bf.readLine());\n            rmImgFile(Path+\"/\"+(String)imgNames.elementAt(i));\n         }\n         pr.get();\n\n      }  catch (IOException ioe)\n         {\n            System.out.println(\"IOException\");\n            ioe.printStackTrace();\n         }\n         catch (InterruptedException intex)\n         {\n            System.out.println(\"Interrupted Exception\");\n            intex.printStackTrace();\n         }\n\n      if (tmpmdfile.exists())\n         compVersions((imgVect.size())+1);\n\n   }\n\n   static void compVersions(int numlines)\n   {\n\n      int tmp = 0;\n      int x = 0;\n      String[] md5A = new String[numlines];\n      Vector tmpmd5V = new Vector(); \n                                     \n                                     \n      String[] tmpmd5A = null;\n      StringTokenizer stoken  = null;\n      String mdImgName = null;\n      String mdImgVal = null;\n      String tmpImgName = null;\n      String tmpImgVal = null;\n\n      try\n      {\n\n         bf = new BufferedReader(new FileReader(mdfile));\n\n         while((str = bf.readLine()) != null)\n         {\n            md5A[tmp]=str;\n            tmp++;\n         }\n\n         bf = new BufferedReader(new FileReader(tmpmdfile));\n         tmp=0;\n\n         while ((str = bf.readLine()) !=null)\n         {\n            tmpmd5V.addElement(str);\n            tmp++;\n         }\n\n         tmpmd5A = (String[])tmpmd5V.toArray(new String[tmpmd5V.size()]);   \n\n         if (tmpmd5A[0].compareTo(md5A[0]) != 0)\n         {\n            mailwriter.println(\"---The file index.html has changed.---\");\n            mailwriter.println(\"-Diff of old and new -\");\n            changed=true;\n            mailwriter.println();\n            p=Runtime.getRuntime().exec(\"/usr/local//diff index.html tmpindex.html\");\n            p.waitFor();\n             bf= new BufferedReader(new InputStreamReader(p.getInputStream()));\n\n            while ((str = bf.readLine()) != null)\n               mailwriter.println(str);\n\n         }\n         else\n         {\n            mailwriter.println(\"The file index.html hasn't changed.\");\n            mailwriter.println();\n         }\n\n         mailwriter.println();\n         mailwriter.println(\"Changes  Images\");\n         mailwriter.println(\"-----------------\");\n\n\n         \n\n         for (tmp=1; tmp<md5A.length; tmp++) \n         {\n            stoken = new StringTokenizer(md5A[tmp]);\n            mdImgVal = stoken.nextToken();\n            mdImgName = stoken.nextToken();\n            for (x=1; x<tmpmd5A.length; x++)\n            {\n               stoken = new StringTokenizer(tmpmd5A[x]);\n               tmpImgVal = stoken.nextToken();\n               tmpImgName = stoken.nextToken();\n\n               if (mdImgName.compareTo(tmpImgName) == 0)\n               {\n                  if(mdImgVal.compareTo(tmpImgVal) == 0)\n                  {\n                     \n                     break;\n                  }\n                  else\n                  {\n                     mailwriter.println(\"The image \"+mdImgName+\" has changed.\");\n                     changed=true;\n                     break;\n                  }\n               }\n               if (x == ((tmpmd5A.length)-1))\n               {\n                  mailwriter.println(\"The image \"+mdImgName+\" is  new  this \");\n                  changed=true;\n               }\n            }\n         }\n\n         for (tmp=1; tmp<tmpmd5A.length; tmp++) \n         {\n            stoken = new StringTokenizer(tmpmd5A[tmp]);\n            tmpImgVal = stoken.nextToken();\n            tmpImgName = stoken.nextToken();\n            for (x=1; x<md5A.length; x++)\n            {\n               stoken = new StringTokenizer(md5A[x]);\n               mdImgVal = stoken.nextToken();\n               mdImgName = stoken.nextToken();\n               if (tmpImgName.compareTo(mdImgName) == 0)\n               {\n                  break;\n               }\n               if (x == ((md5A.length)-1))\n               {\n                  mailwriter.println(\"The image \"+tmpImgName+\" is   longer  the \");\n                  changed=true;\n               }\n            }\n         }\n\n\n      } catch(IOException ioe)\n         {System.out.println(\"IOException\");\n          ioe.printStackTrace();\n         }\n        catch(InterruptedException iex)\n         {System.out.println(\"Interrupted Exception\");\n         iex.printStackTrace();\n         }\n\n   }\n\n\n   static Object getFullPath(String fname)\n   {\n      \n\n      if(fname.charAt(0)== '/') \n         fname=urlStr+fname;  \n      else if(fname.charAt(0) != 'h')\n         fname=urlStr+'/'+fname;\n\n      getImgFile(fname);\n\n      return (Object)fname; \n   }\n\n   static void getImgFile(String fullPath)\n   {\n      \n\n      try\n      {\n         qproc=Runtime.getRuntime().exec(\"/usr/local//wget \"+fullPath);\n         qproc.waitFor();\n\n      } catch (IOException ioe)\n        {\n           System.out.println(\"IOException\");\n           ioe.printStackTrace();\n        }\n        catch (InterruptedException intex)\n        {\n           System.out.println(\"Interrupted Exception\");\n           intex.printStackTrace();\n        }\n   }\n\n   static void rmImgFile(String delpath)\n   {\n      \n\n      try\n      {\n         qproc=Runtime.getRuntime().exec(\"/usr//rm \"+ delpath);\n         qproc.waitFor();\n\n      } catch (IOException ioe)\n        {\n           System.out.println(\"IOException\");\n           ioe.printStackTrace();\n        }\n        catch (InterruptedException intex)\n        {\n           System.out.println(\"Interrupted Exception\");\n           intex.printStackTrace();\n        }\n   \n   }\n\n   static Object getImgNames(String prsName)\n   {\n          \n  \n      String str = new StringTokenizer(prsName, \"/\", false);\n\n      while(str.hasMoreTokens())\n      {\n         str=bgf.nextToken();\n         if ((str.indexOf(\"gif\") > 0) || (str.indexOf(\"jpg\") > 0))\n            prsName=str;\n      }\n      return (Object)prsName;\n   }\n}\n",
        "import java.io.*;\nimport java.text.*;\nimport java.util.*;\nimport java.net.*;\n\npublic class WatchDog\n{\n   private String address;\n   private UnixMailing email;\n\n   private int step = 0;\n   private String buffer = \"\";\n\n   public static void main(String [] args)\n   {\n      if (args.length < 2)\n      {\n         System.err.println(\"Invalid usage!\");\n         System.err.println(\"Usage: java WatchDog <url> <email>\");\n         System.exit(1);\n      }\n\n      String address = args[0];\n      String email = args[1];\n      WatchDog theProg = new WatchDog(address, email);\n\n      try\n      {\n         File currDir = new File(\".\");\n         File [] list = currDir.listFiles();\n         for (int i = 0; i < list.length; i++)\n         {\n            if (list[i].getName().trim().startsWith(\"_buffer\"))\n               list[i].delete();\n         }\n      }\n      catch(Exception e) {}\n\n      while (true)\n      {\n         theProg.checkPage();\n         try\n         {\n            Thread.sleep();\n         }\n         catch(InterruptedException e ) {}\n      }\n\n   }\n\n   public WatchDog(String address, String email)\n   {\n      this.address = address;\n      this.email = new UnixMailing(email);\n   }\n\n   public void checkPage()\n   {\n      try\n      {\n         File buffFp = new File(\"_bufferFile.html\");\n         Vector imgs = new Vector();\n\n         boolean getAgain = false;\n         if (buffFp.exists())\n         {\n            URLConnection conn = (new URL(address)).openConnection();\n            conn.setDoInput(true);\n            conn.connect();\n            DataInputStream inNet = new DataInputStream(conn.getInputStream());\n\n            System.out.println(\"Checking file \"+address);\n            char i = '\\0';\n            char f = '\\0';\n            DataInputStream inFile = new DataInputStream(\n                                             new FileInputStream(buffFp));\n            try\n            {\n               int step = 0;\n               while(true)\n               {\n                  i = (char)inNet.readByte();\n                  f = (char)inFile.readByte();\n\n                  if (i != f)\n                  {\n                     email.println(\"  changes in the content of the web: \"+address);\n                     System.out.println(\"  changes in the content of the web: \"+address);\n                     getAgain = true;\n                     break;\n                  }\n                  tokenImages(i, imgs);\n               }\n            }\n            catch(EOFException eofe) {}\n\n            if (!getAgain)\n            {\n               try\n               {\n                  i = (char)inNet.readByte();\n                  email.println(\"  changes in the content of the web: \"+address);\n                  System.out.println(\"  changes in the content of the web: \"+address);\n                  getAgain = true;\n               }\n               catch(EOFException eofe) {}\n               try\n               {\n                  f = (char)inFile.readByte();\n                  email.println(\"  changes in the content of the web: \"+address);\n                  System.out.println(\"  changes in the content of the web: \"+address);\n                  getAgain = true;\n               }\n               catch(EOFException eofe) {}\n            }\n\n            inFile.print();\n            inNet.print();\n         }\n         else\n            getAgain = true;\n\n\n         if (getAgain)\n         {\n            getAgain = false;\n            URLConnection conn = (new URL(address)).openConnection();\n            conn.setDoInput(true);\n            conn.connect();\n            DataInputStream inNet = new DataInputStream(conn.getInputStream());\n\n            System.out.println(\"Storing file \"+address);\n            DataOutputStream outFile = new DataOutputStream(\n                                             new FileOutputStream(buffFp));\n            byte i = 0;\n            try\n            {\n               while(true)\n               {\n                  i = inNet.readByte();\n                  outFile.writeByte(i);\n                  tokenImages((char)i, imgs);\n               }\n            }\n            catch(EOFException eofe) {}\n\n            outFile.print();\n            inNet.print();\n         }\n         for(int index = 0; index < imgs.size(); index++)\n            checkImage(address, (String)imgs.get(index));\n         email.sent();\n      }\n      catch(Exception e)\n      {\n         e.printStackTrace();\n      }\n   }\n\n\n   public void tokenImages(char i, Vector imgs)\n   {\n      if (step == 1) \n      {\n         if (i == 'i' && buffer.length() <= 0 ||\n             i == 'm' && buffer.equals(\"i\") ||\n             i == 'g' && buffer.equals(\"im\"))\n         {\n            buffer += i;\n            buffer = buffer.toLowerCase();\n         }\n         else\n         {\n            if (Character.isWhitespace(i) && buffer.equals(\"img\"))\n               step = 2;\n            else if (!Character.isWhitespace(i) || buffer.length() > 0)\n               step = 0;\n            buffer = \"\";\n         }\n      }\n      else if (step == 2) \n      {\n         if (i == 's' && buffer.length() <= 0 ||\n             i == 'r' && buffer.equals(\"s\") ||\n             i == 'c' && buffer.equals(\"sr\"))\n         {\n            buffer += i;\n            buffer = buffer.toLowerCase();\n         }\n         else\n         {\n            if (Character.isWhitespace(i) && buffer.equals(\"src\"))\n               step = 3;\n            else if (i == '=' && buffer.equals(\"src\"))\n               step = 4;\n            else if (i == '>')\n               step = 0;\n            buffer = \"\";\n         }\n      }\n      else if (step == 3) \n      {\n         if (i == '=')\n         {\n            step = 4;\n         }\n         else if (!Character.isWhitespace(i))\n         {\n            if(i == '>')\n               step = 0;\n            else\n               step = 2;\n            buffer = \"\";\n         }\n      }\n      else if (step == 4) \n      {\n         if (i == '\\\"')\n         {\n            step = 5;\n            buffer = \"\";\n         }\n         else if (!Character.isWhitespace(i))\n         {\n            if(i == '>')\n            {\n               buffer = \"\";\n               step = 0;\n            }\n            else\n            {\n               buffer = \"\"+i;\n               step = 6;\n            }\n\n         }\n\n      }\n      else if (step == 5) \n      {\n         if (i == '\\\"')\n         {\n            if (buffer.trim().length() > 0)\n               imgs.add(buffer);\n            buffer = \"\";\n            step = 0;\n         }\n         else\n            buffer += i;\n      }\n      else if (step == 6) \n      {\n         if (Character.isWhitespace(i) || i == '>')\n         {\n            if (buffer.trim().length() > 0)\n               imgs.add(buffer);\n            buffer = \"\";\n            step = 0;\n         }\n         else\n            buffer += i;\n      }\n      else if(i == '<')\n      {\n         step = 1;\n         buffer = \"\";\n      }\n   }\n\n   public void checkImage(String hostUrl, String imageUrl)\n   {\n      try\n      {\n         String fullURL = \"\";\n         if (imageUrl.startsWith(\"http\"))\n         {\n            fullURL = imageUrl;\n         }\n         else if (imageUrl.startsWith(\"/\"))\n         {\n            fullURL = \"http://\"+(new URL(hostUrl)).getHost()+imageUrl;\n         }\n         else\n         {\n            String path = (new URL(hostUrl)).getPath();\n            if (!path.endsWith(\"/\"))\n               path = path.substring(0, path.lastIndexOf('/')+1);\n\n            fullURL = \"http://\"+(new URL(hostUrl)).getHost()+path+imageUrl;\n         }\n\n         File buffFp = new File(\"_buffer\"+\n                      (new URL(fullURL)).getPath().replaceAll(\"/\", \"_\"));\n         Vector imgs = new Vector();\n\n         boolean getAgain = false;\n         if (buffFp.exists())\n         {\n            URLConnection conn = (new URL(fullURL)).openConnection();\n            conn.setDoInput(true);\n            conn.connect();\n            DataInputStream inNet = new DataInputStream(conn.getInputStream());\n\n            System.out.println(\"Checking image: \"+fullURL);\n            byte i = 0;\n            byte f = 0;\n            DataInputStream inFile = new DataInputStream(\n                                             new FileInputStream(buffFp));\n            try\n            {\n               int step = 0;\n               while(true)\n               {\n                  i = inNet.readByte();\n                  f = inFile.readByte();\n\n                  if (i != f)\n                  {\n                     email.println(\"Image \"+fullURL+\" has been change!\");\n                     System.out.println(\"Image \"+fullURL+\" has been change!\");\n                     getAgain = true;\n                     break;\n                  }\n               }\n            }\n            catch(EOFException eofe) {}\n\n            if (!getAgain)\n            {\n               try\n               {\n                  i = inNet.readByte();\n                  email.println(\"Image \"+fullURL+\" has been change!\");\n                  System.out.println(\"Image \"+fullURL+\" has been change!\");\n                  getAgain = true;\n               }\n               catch(EOFException eofe) {}\n               try\n               {\n                  f = inFile.readByte();\n                  email.println(\"Image \"+fullURL+\" has been change!\");\n                  System.out.println(\"Image \"+fullURL+\" has been change!\");\n                  getAgain = true;\n               }\n               catch(EOFException eofe) {}\n            }\n\n            inFile.print();\n            inNet.print();\n         }\n         else\n            getAgain = true;\n\n         if (getAgain)\n         {\n            getAgain = false;\n            URLConnection conn = (new URL(fullURL)).openConnection();\n            conn.setDoInput(true);\n            conn.connect();\n            DataInputStream inNet = new DataInputStream(conn.getInputStream());\n\n            System.out.println(\"Storing the image: \"+fullURL);\n            DataOutputStream outFile = new DataOutputStream(\n                                             new FileOutputStream(buffFp));\n            byte i = 0;\n            try\n            {\n               while(true)\n               {\n                  i = inNet.readByte();\n                  outFile.writeByte(i);\n               }\n            }\n            catch(EOFException eofe) {}\n\n            outFile.print();\n            inNet.print();\n         }\n      }\n      catch(Exception e)\n      {\n         e.printStackTrace();\n      }\n   }\n}\n\n",
        "import java.net.*;\nimport java.util.*;\n\npublic class BruteForce {\n\n   public static void main(String[] args) {\n      new CrackAttempt();\n   }\n}\n\nclass CrackAttempt {\n   public CrackAttempt() {\n      final int MAX_LENGTH = 3;\n      boolean auth = false;\n      Date  = new Date();\n      boolean morePasswords = true;\n      int passPtr = 0;\n      StringBuffer validChars = new StringBuffer(\"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ\");\n      char[] password = new char[MAX_LENGTH];\n\n      password[0] = validChars.charAt(0);\n      while (!auth && morePasswords) {\n         String resource = \"http://sec-crack.cs.rmit.edu./SEC/2/\";\n         try {\n            \n            Authenticator.setDefault(new CrackAuth(password));\n            URL url = new URL(resource);\n            HttpURLConnection conn = (HttpURLConnection)url.openConnection();\n            conn.setRequestMethod(\"HEAD\");\n            if (conn.getResponseCode() == HttpURLConnection.HTTP_OK) {\n               System.out.println(\"cracked with \" + new String(password));\n               auth = true;\n            }\n         } catch (Exception e) {\n            System.out.println(\" was  exception: \" + e.getMessage());\n         }\n         int count = passPtr;\n         while (true) {\n            if (password[count] == validChars.charAt(validChars.length() - 1)) {\n               password[count] = validChars.charAt(0);\n               count--;\n            } else {\n               password[count] = validChars.charAt(validChars.indexOf(String.valueOf(password[count])) + 1);\n               break;\n            }\n            if (count < 0) {\n               \n               if (passPtr < MAX_LENGTH - 1) {\n                  passPtr++;\n                  password[passPtr] = validChars.charAt(0);\n               } else {\n                  morePasswords = false;\n               }\n               break;\n            }\n         }\n         \n      } \n      if (!auth) {\n         System.out.println(\"Unable  determine password\");\n      } else {\n          time = (new Date()).getTime() - start.getTime();\n         System.out.println(\"it took \" + String.valueOf(time) + \" milliseconds  crack the password\");\n      }\n   }\n}\n\nclass CrackAuth extends Authenticator {\n   char[] password;\n   public CrackAuth(char[] password) {\n      this.password = password;\n   }\n\n   protected PasswordAuthentication getPasswordAuthentication()\n   {\n      String user = \"\";\n      return new PasswordAuthentication(user, password);\n   }\n}\n"
    ]
    embeddings = model.encode(sentences)
    
    similarities = model.similarity(embeddings, embeddings)
    print(similarities.shape)
    # [4, 4]
  • Notebooks
  • Google Colab
  • Kaggle
SOCO-Java-CodeBERT-ST
Ctrl+K
Ctrl+K
  • 1 contributor
History: 2 commits
buelfhood's picture
buelfhood
Add new SentenceTransformer model
f55a58c verified 12 months ago
  • 1_Pooling
    Add new SentenceTransformer model 12 months ago
  • .gitattributes
    1.52 kB
    initial commit 12 months ago
  • README.md
    114 kB
    Add new SentenceTransformer model 12 months ago
  • config.json
    654 Bytes
    Add new SentenceTransformer model 12 months ago
  • config_sentence_transformers.json
    205 Bytes
    Add new SentenceTransformer model 12 months ago
  • merges.txt
    456 kB
    Add new SentenceTransformer model 12 months ago
  • model.safetensors
    499 MB
    xet
    Add new SentenceTransformer model 12 months ago
  • modules.json
    229 Bytes
    Add new SentenceTransformer model 12 months ago
  • sentence_bert_config.json
    53 Bytes
    Add new SentenceTransformer model 12 months ago
  • special_tokens_map.json
    958 Bytes
    Add new SentenceTransformer model 12 months ago
  • tokenizer.json
    3.56 MB
    Add new SentenceTransformer model 12 months ago
  • tokenizer_config.json
    1.25 kB
    Add new SentenceTransformer model 12 months ago
  • vocab.json
    798 kB
    Add new SentenceTransformer model 12 months ago