feat: Lab6 for symbolic execution init commit

Author: as535364

Lab6/1.txt

@@ -0,0 +1,15 @@
+.PHONY: all run run1 run2 clean
+
+all:
+	gcc -o chal -no-pie chal.c
+
+run: run1 run2
+
+run1: all
+	@cat 1.txt | ./chal
+
+run2: all
+	@cat 2.txt | ./chal
+
+clean:
+	rm -f chal

Lab6/2.txt

@@ -0,0 +1 @@
+Enter the secret key: Correct! The flag is: CTF{symbolic_execution_for_the_win}

Lab6/Makefile

@@ -0,0 +1,11 @@
+#!/usr/bin/env python3
+
+import angr,sys
+
+def main():
+    secret_key = b""
+    sys.stdout.buffer.write(secret_key)
+
+
+if __name__ == '__main__':
+    main()

Lab6/ans

@@ -0,0 +1,43 @@
+#!/bin/bash
+
+# Check for unwanted files
+for file in *; do
+  if [[ $file != "solve.py" && $file != "chal.c" && $file != "Makefile" && $file != "README.md" && $file != "validate.sh" && $file != "ans" ]]; then
+    echo "[!] Unwanted file detected: $file."
+    exit 1
+  fi
+done
+
+test_path="${BASH_SOURCE[0]}"
+solution_path="$(realpath .)"
+tmp_dir=$(mktemp -d -t lab6-XXXXXXXXXX)
+answer=""
+
+cd $tmp_dir
+
+rm -rf *
+cp $solution_path/Makefile .
+cp $solution_path/ans .
+cp $solution_path/*.c .
+cp $solution_path/*.py .
+
+make
+make run > out
+result=$(diff --strip-trailing-cr ans out)
+if [[ -n $result ]]; then
+  echo "[!] Expected: "
+  cat ans
+  echo ""
+  echo "[!] Actual:   "
+  cat out
+  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: