optrans 1.0

README.md

@@ -7,20 +7,30 @@ license: mit
 <h4 align="center">
 <p>
 <a href=#about>About</a> |
-<a href=#news>News</a> |
+<a href=#intuition>Intuition</a> |
 <a href=#quickstart>QuickStart</a> |
-<a href=#details>Details</a> |
 <p>
 </h4>
 
 ## About
 
-OpTrans (Re-Optimization Transformer), is an innovative framework fuses binary code optimization techniques with the transformer model for BCSD. OpTrans employs an algorithm based on binary program analysis to determine which functions should be inlined, followed by binary rewriting techniques to effectuate re-optimization on binaries. Our goal is to provide an effective tool for researchers and practitioners in binary code similarity detection, with our models accessible on the Hugging Face Model Hub.
+OpTrans (Re-Optimization Transformer), is an innovative framework fuses binary code optimization techniques with the transformer model for BCSD. By OpTrans employs an algorithm based on binary program analysis to determine which functions should be inlined, followed by binary rewriting techniques to effectuate re-optimization on binaries. Our goal is to provide an effective tool for researchers and practitioners in binary code similarity detection, with our models accessible on the Hugging Face Model Hub.
 
-## News
 
-- [2024/3/27] OpTrans is available on Hugging Face Model Hub (https://huggingface.co/sandspeare/optrans).
+## Intuition
 
+This document will present how function inlining optimization improve binary code similarity detection.
+
+Function Faust_next in sc3-plugins-HOAEncLebedev501.so compiled with -O0 (sc3-plugins-HOAEncLebedev501.so-O0.i64)
+![O0](./Intuition/O0.jpg)
+
+Function Faust_next in sc3-plugins-HOAEncLebedev501.so compiled with -O3 (sc3-plugins-HOAEncLebedev501.so-O3.i64)
+![O3](./Intuition/O3.jpg)
+
+Function Faust_next in sc3-plugins-HOAEncLebedev501.so compiled with -O0 and processed by function inlining optimization (sc3-plugins-HOAEncLebedev501.so-O0-inline.i64)
+![O0-inline](./Intuition/O0-inline.jpg)
+
+The idb files in ./Intuition are generated by IDA-8.3
 
 ## QuickStart
 
@@ -46,80 +56,37 @@ from transformers import AutoModel, AutoTokenizer
 
 device = torch.device("cuda" if torch.cuda.is_available() else "cpu")
 
-asm_tokenizer = AutoTokenizer.from_pretrained("hustcw/clap-asm", trust_remote_code=True)
-text_tokenizer = AutoTokenizer.from_pretrained("hustcw/clap-text", trust_remote_code=True)
-asm_encoder = AutoModel.from_pretrained("hustcw/clap-asm", trust_remote_code=True).to(device)
-text_encoder = AutoModel.from_pretrained("hustcw/clap-text", trust_remote_code=True).to(device)
+tokenizer = AutoTokenizer.from_pretrained("sandspeare/optrans", trust_remote_code=True)
+encoder = AutoModel.from_pretrained("sandspeare/optrans", trust_remote_code=True).to(device)
+tokenizer.pad_token = tokenizer.unk_token
 ```
 
 ### Example Use Cases
-**Fine-Grained Sorting Algorithm Classification (Zero-Shot)**
+**Function inlining optimization for BCSD**
 
-1. Load your assembly (asm) code dataset. For demonstration, we use a JSON file containing assembly code snippets related to bubble sort:
+1. Load your binary code dataset. For demonstration, we use a pickle file containing binary code snippets for similarity compare.
 
 ```python
-with open("./CaseStudy/bubblesort.json") as fp:
-   asm = json.load(fp)
+with open("./CaseStudy/casestudy.json") as fp:
+   data = json.load(fp)
 ```
 
-2. Define your classification prompts:
-```python
-prompts = [
-   "This is a function related to bubble sort",
-   "This is a function related to selection sort",
-   ...
-]
-```
-3. Encode the assembly code and prompts, then perform classification:
+2. Encode the binary code.
 
 ```python
-# Encode assembly code
-asm_input = asm_tokenizer([asm], padding=True, return_tensors="pt").to(device)
-asm_embedding = asm_encoder(**asm_input)
-
-# Encode prompts
-text_input = text_tokenizer(prompts, return_tensors='pt').to(device)
-text_embeddings = text_encoder(**text_input)
+asm_O0 = tokenizer([data["O0"]], padding=True, return_tensors="pt").to(device)
+asm_embedding_O0 = encoder(**asm_O0)
 
-# Classification
-logits = torch.einsum("nc,ck->nk", [asm_embedding.last_hidden_state, text_embeddings.last_hidden_state.T])
-preds = torch.softmax(logits / 0.07, dim=1).squeeze(0).tolist()
+asm_O0_inline = tokenizer([data["O0_inline"]], padding=True, return_tensors="pt").to(device)
+asm_embedding_O0_inline = encoder(**asm_O0_inline)
 
-# Output predictions
-for i, prompt in enumerate(prompts):
-   print(f"Probability: {preds[i]*100:.3f}%, Text: {prompt}")
+asm_O3 = tokenizer([data["O3"]], padding=True, return_tensors="pt").to(device)
+asm_embedding_O3 = encoder(**asm_O3)
 ```
 
-## Details
-In this document, we provide an overview of the contents of this repository and instructions for accessing the materials.
-
-1. **CaseStudy.ipynb**: A Jupyter Notebook showcasing the zero-shot performance of our proposed model using a case study. Please open this file to get an in-depth view of how our model works and the results it produces.
-
-2. **CaseStudy**: A folder containing IDB files and rebased assembly code for the case study used in the Jupyter Notebook. These files are used to generate the results in the Jupyter Notebook. We provide three different senarios for the case study,
-including a bubble sort program, SHA-3 crypto algorithms and a real-world malware sample (which can be found at [virustotal](https://www.virustotal.com/gui/file/cd677242197cdc89d7b8e2e3056030fe2bb9b384c95a7a027a7eee8182b8426f/)). We conduct three zero-shot (without any further training) case studies, the results are shown in the Jupyter Notebook.
-
-3. **Prompts**: A folder containing prompts for explaining source code and zero-shot evaluation in crypto identification task and protocol categorization.
+3. Perform similarity comparison:
 
-3. **HumanEvaluationExamples**: A folder containing screenshots of human evaluations procedure performed while evaluating our data engine. These examples serve as supplementary evidence to support the claims made in the paper.
-
-### Instructions
-
-To access the materials, please follow these steps:
-
-1. You can view these materials with your brower. Just open the CaseStudy.ipynb file to view the case study and the performance of our model. And you can browse the **HumanEvaluationExamples** folder to view the screenshots of human evaluations performed during the assessment of our shadow models. 
-
-2. Download or clone this repository to your local machine.
-
-   1. Ensure you have a recent version of Jupyter Notebook installed on your system. Or you can use VSCode to open the Jupyter Notebook file.
-
-   2. Open the CaseStudy.ipynb file with Jupyter Notebook to view the case study and the performance of our model.
-   
-   3. We provide IDB files and rebased assembly code for the case study in the **CaseStudy** folder. You can use IDA Pro to open the IDB files and view the assembly code. Or you can view the rebased assembly code in any text editor.
-
-Thank you for your interest in our work, and we hope these materials help you better understand our research and findings.
-
-### Processing Data
-We provide a example script to process the assembly code. The script is located at `scripts/process_asm.py`. You can use the script to process your own binaries.
-```bash
-/path/to/idat64 -c -A -Sscripts/process_asm.py -obinary.idb /path/to/binary
+```python
+sim_O0vsO3 = torch.mm(asm_embedding_O0, asm_embedding_O3.T).squeeze() / 0.07
+sim_O0_inlinevsO3 = torch.mm(asm_embedding_O0_inline, asm_embedding_O3.T).squeeze() / 0.07
 ```