Merge branch '512558007' into lab4

Author: AlaRduTP

.github/workflows/lab-autograding.yml

@@ -45,7 +45,7 @@ jobs:
                       const files = await github.rest.pulls.listFiles({ owner, repo, pull_number: issue_number });
                       const changedFiles = files.data.map((file) => file.filename);
                       const allowedFileRegex = /^lab\d+\/main_test.js$/;
-                      const specialChangedFiles = ["lab5/Answer.md", "lab5/antiasan.c"];
+                      const specialChangedFiles = ["lab5/Answer.md", "lab5/antiasan.c", "lab6/Answer.md", "lab7/sol.py"];
                       if (!changedFiles.every((file) => (allowedFileRegex.test(file) || specialChangedFiles.includes(file)))) {
                         core.setFailed('The PR contains changes to files other than the allowed files.');
                       }

lab3/main_test.js

@@ -0,0 +1,5 @@
+const { describe, it } = require('node:test');
+const assert = require('assert');
+const { Calculator } = require('./main');
+
+// TODO: write your tests here

lab6/.gitignore

@@ -0,0 +1,2 @@
+fuzz/
+src/bmpcomp

lab6/Answer.md

@@ -0,0 +1,12 @@
+Name: 
+ID: 
+
+### Fuzz Monitor
+```
+
+```
+
+### Run Crash Result
+```
+
+```

lab6/src/1.bmp

@@ -0,0 +1,59 @@
+#include <stdio.h>
+#include <stdint.h>
+#include <stdlib.h>
+#include <string.h>
+typedef struct _BMPHeader {
+	char BM[2];
+	uint32_t size;
+	uint32_t reserve;
+	uint32_t offset;
+	uint32_t header_size;
+	uint32_t width;
+	uint32_t height;
+	uint16_t planes;
+	uint16_t bpp;
+	uint32_t compression;
+	uint32_t bitmap_size;
+	uint32_t h_res;
+	uint32_t v_res;
+	uint32_t palette;
+	uint32_t important;
+}__attribute__((__packed__)) Header;
+int main(int argc, char **argv) {
+	FILE *pF[9];
+	char *filename = argv[1];
+	for ( int i=0; i<9; ++i ) {
+		pF[i] = fopen(filename, "rb");
+		if ( pF[i] == NULL ) {
+			printf("error! file %s doesn't exist.\n", filename);
+			return 0;
+		}
+	}
+	char output[11] = {'o', 'u', 't', 'p', 'u', 't', '.', 'b', 'm', 'p', '\0'};
+	FILE *pR = fopen(output, "wb");
+	Header H[9], res;
+	printf("size of Herder %d\n", sizeof(Header));
+	for ( int i=0; i<9; ++i )	fread(H+i, sizeof(Header), 1, pF[i]);
+	res = H[0];
+	res.height = H[0].height + H[3].height + H[6].height;
+	res.width = H[0].width + H[1].width + H[2].width;
+	res.bitmap_size = res.height*res.width*3+(res.width%4*res.height);
+	res.size = res.bitmap_size + res.offset;
+	fwrite(&res, sizeof(Header), 1, pR);
+	for ( int i=2; i<9; i+=3 ) {
+		for ( int j=0; j<H[i].height; ++j ) {
+			for ( int k=0; k<3; ++k ) {
+				uint8_t data[H[i-k].width*3];
+				fread(data, sizeof(uint8_t), H[i-k].width*3, pF[i-k]);
+				fwrite(data, sizeof(uint8_t), H[i-k].width*3, pR);
+				fseek(pF[i-k], H[i-k].width%4, SEEK_CUR);
+			}
+			uint8_t padding;
+			for ( int k=0; k<res.width%4; ++k )	fwrite(&padding, sizeof(uint8_t), 1, pR);
+		}
+	}
+	for ( int i=0; i<9; ++i )	fclose(pF[i]);
+	fclose(pR);
+	puts("done!");
+	return 0;
+}

lab6/src/hw0302.c

@@ -0,0 +1,2 @@
+bmpcomp: hw0302.c
+	$(CC) $< -std=c11 -lm -o $@

lab6/src/makefile

@@ -0,0 +1,15 @@
+#!/bin/bash
+
+# Check for unwanted files
+for file in *; do
+  if [[ $file != "src" && $file != "src/makefile" && $file != "src/hw0302.c" && $file != "src/1.bmp" && $file != "Answer.md" && $file != "validate.sh" ]]; then
+    echo "[!] Unwanted file detected: $file."
+    exit 1
+  fi
+done
+
+echo "[V] Pass"
+
+exit 0
+
+# vim: set fenc=utf8 ff=unix et sw=2 ts=2 sts=2:

lab6/validate.sh

@@ -0,0 +1,7 @@
+login: login.o
+
+login.o: login.c
+
+.PHONY: clean
+clean:
+	rm login login.o

lab7/Makefile

@@ -0,0 +1,25 @@
+# Lab7
+
+## Introduction
+
+In this lab, you will write a python script with Angr to find the password in executalbe file named 'login'.
+
+## Preparation (Important!!!)
+
+1. Sync fork your branch (e.g., `SQLab:311XXXXXX`)
+2. `git checkout -b lab7` (**NOT** your student ID !!!)
+
+## Requirement
+
+1. (100%) Detect the condition that login will print 'Login successful' if login success and print 'Login failed' if login fail, find the input of successful condition by Angr.
+
+Please note that you must not alter files other than `sol.py` or just print the input. You will get 0 points if
+
+1. you modify other files to achieve requirements.
+2. you can't pass all CI on your PR.
+
+## Submission
+
+You need to open a pull request to your branch (e.g. 311XXXXXX, your student number) and contain the code that satisfies the abovementioned requirements.
+
+Moreover, please submit the URL of your PR to E3. Your submission will only be accepted when you present at both places.

lab7/README.md

@@ -0,0 +1,26 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+int encrypt(int a1, int a2) {
+        if ( a1 <= 0x40 || a1 > 90 ) {
+                puts("Login failed");
+                exit(1);
+        }
+        return (0x1F * a2 + a1 - 65) % 26 + 65;
+}
+
+int main(void) {
+        char secret[0x20] = "VXRRJEURXDASBFHM";
+        char pwd[0x20] = {0};
+
+        printf("Enter the password: ");
+        scanf("%16s", pwd);
+        for ( int j = 0; j < 0x10; ++j )
+                pwd[j] = encrypt(pwd[j], j + 8);
+        if ( !strcmp(secret, pwd) )
+                puts("Login successful");
+        else
+                puts("Login failed");
+        return 0;
+}

lab7/login.c

@@ -0,0 +1,42 @@
+#!/bin/bash
+
+# Check for unwanted files
+for file in *; do
+  if [[ $file != "login.c" && $file != "sol.py" && $file != "Makefile" && $file != "README.md" && $file != "validate.sh" ]]; then
+    echo "[!] Unwanted file detected: $file."
+    exit 1
+  fi
+done
+
+test_path="${BASH_SOURCE[0]}"
+solution_path="$(realpath .)"
+tmp_dir=$(mktemp -d -t lab7-XXXXXXXXXX)
+answer=""
+
+cd $tmp_dir
+
+pip install angr
+rm -rf *
+cp $solution_path/Makefile .
+cp $solution_path/*.c .
+cp $solution_path/sol.py .
+
+make
+result=$(python3 sol.py)
+if [[ $result != "b'HETOBRCUVWOBFEBB'" ]]; then
+  echo "[!] Expected: "
+  echo "b'HETOBRCUVWOBFEBB'"
+  echo ""
+  echo "[!] Actual:   "
+  echo $result
+  echo ""
+  exit 1
+else
+  echo "[V] Pass"
+fi
+
+rm -rf $tmp_dir
+
+exit 0
+
+# vim: set fenc=utf8 ff=unix et sw=2 ts=2 sts=2: