fix: lab8 no angr

Author: YingMuo

.github/workflows/lab-autograding.yml

@@ -56,4 +56,7 @@ jobs:
                   if [ ${{ steps.lab.outputs.result }} -eq 6 ]; then
                     sudo apt install -y llvm-14
                   fi
+                  if [ ${{ steps.lab.outputs.result }} -eq 8 ]; then
+                    python3 -m pip install angr
+                  fi
                   ./validate.sh

lab3/main_test.js

@@ -2,50 +2,4 @@ const {describe, it} = require('node:test');
 const assert = require('assert');
 const { Calculator } = require('./main');
 
-describe('Calculator', () => {
-    const calc = new Calculator();
-
-    // ---- exp(x) tests ----
-    it('exp(0) should return 1', () => {
-        assert.strictEqual(calc.exp(0), 1);
-    });
-
-    it('exp(1) should return ~2.718', () => {
-        assert.ok(Math.abs(calc.exp(1) - Math.E) < 1e-10);
-    });
-
-    it('exp(Infinity) should throw unsupported operand type', () => {
-        assert.throws(() => calc.exp(Infinity), {
-            message: 'unsupported operand type'
-        });
-    });
-
-    it('exp(1000) should throw overflow', () => {
-        assert.throws(() => calc.exp(1000), {
-            message: 'overflow'
-        });
-    });
-
-    // ---- log(x) tests ----
-    it('log(1) should return 0', () => {
-        assert.strictEqual(calc.log(1), 0);
-    });
-
-    it('log(0) should throw math domain error (1)', () => {
-        assert.throws(() => calc.log(0), {
-            message: 'math domain error (1)'
-        });
-    });
-
-    it('log(-5) should throw math domain error (2)', () => {
-        assert.throws(() => calc.log(-5), {
-            message: 'math domain error (2)'
-        });
-    });
-
-    it('log(NaN) should throw unsupported operand type', () => {
-        assert.throws(() => calc.log(NaN), {
-            message: 'unsupported operand type'
-        });
-    });
-});
+// TODO: write your tests here

lab5/antiasan.c

@@ -1,12 +1,6 @@
 #include <string.h>
-#include <stdio.h>
-
 
 void antiasan(unsigned long addr)
 {
-  unsigned long s_addr = (addr >> 3) + 0x7FFF8000;
-  unsigned long off = 0;
-  for (int i = 0; i < 240; i++){
-     *((char*)(s_addr + off + i)) = 0;
-  }
+
 }

lab6/llvm-pass.so.cc

@@ -1,71 +1,34 @@
 #include "llvm/Passes/PassPlugin.h"
 #include "llvm/Passes/PassBuilder.h"
-#include "llvm/IR/PassManager.h"
 #include "llvm/IR/IRBuilder.h"
-#include "llvm/IR/Instructions.h"
-#include "llvm/IR/Constants.h"
-#include "llvm/IR/Module.h"
 
 using namespace llvm;
 
 struct LLVMPass : public PassInfoMixin<LLVMPass> {
-  PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM) {
-    LLVMContext &Ctx = M.getContext();
-    IntegerType *Int32Ty = Type::getInt32Ty(Ctx);
-    PointerType *Int8PtrTy = Type::getInt8PtrTy(Ctx);
-
-    // Declare: void debug(int)
-    FunctionCallee debugFunc = M.getOrInsertFunction("debug", FunctionType::get(Type::getVoidTy(Ctx), {Int32Ty}, false));
-    ConstantInt *debugID = ConstantInt::get(Int32Ty, 48763);
-
-    for (auto &F : M) {
-      if (F.getName() == "main") {
-        IRBuilder<> Builder(&*F.getEntryBlock().getFirstInsertionPt());
-
-        // Inject debug(48763);
-        Builder.CreateCall(debugFunc, {debugID});
-
-        // Get main args
-        auto args = F.args().begin();
-        Argument *argcArg = args++;
-        Argument *argvArg = args;
-
-        // === Overwrite argc to 48763 ===
-        // Allocate space and overwrite
-        AllocaInst *argcAlloca = Builder.CreateAlloca(Int32Ty, nullptr, "argc.fake");
-        Builder.CreateStore(ConstantInt::get(Int32Ty, 48763), argcAlloca);
+  PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM);
+};
 
-        // Replace all uses of argcArg with loaded value
-        for (auto &BB : F) {
-          for (auto &I : BB) {
-            for (unsigned i = 0; i < I.getNumOperands(); ++i) {
-              if (I.getOperand(i) == argcArg) {
-                IRBuilder<> tmpBuilder(&I);
-                LoadInst *argcLoad = tmpBuilder.CreateLoad(Int32Ty, argcAlloca);
-                I.setOperand(i, argcLoad);
-              }
-            }
-          }
-        }
+PreservedAnalyses LLVMPass::run(Module &M, ModuleAnalysisManager &MAM) {
+  LLVMContext &Ctx = M.getContext();
+  IntegerType *Int32Ty = IntegerType::getInt32Ty(Ctx);
+  FunctionCallee debug_func = M.getOrInsertFunction("debug", Int32Ty);
+  ConstantInt *debug_arg = ConstantInt::get(Int32Ty, 48763);
 
-        // === Overwrite argv[1] ===
-        Value *index1 = ConstantInt::get(Int32Ty, 1);
-        Value *argv1Ptr = Builder.CreateGEP(argvArg->getType()->getPointerElementType(), argvArg, index1);
-        Value *newStr = Builder.CreateGlobalStringPtr("hayaku... motohayaku!");
-        Builder.CreateStore(newStr, argv1Ptr);
-      }
-    }
+  for (auto &F : M) {
+    errs() << "func: " << F.getName() << "\n";
 
-    return PreservedAnalyses::none();
   }
-};
+  return PreservedAnalyses::none();
+}
 
-extern "C" LLVM_ATTRIBUTE_WEAK ::llvm::PassPluginLibraryInfo llvmGetPassPluginInfo() {
+extern "C" ::llvm::PassPluginLibraryInfo LLVM_ATTRIBUTE_WEAK
+llvmGetPassPluginInfo() {
   return {LLVM_PLUGIN_API_VERSION, "LLVMPass", "1.0",
-          [](PassBuilder &PB) {
-            PB.registerOptimizerLastEPCallback(
-                [](ModulePassManager &MPM, OptimizationLevel OL) {
-                  MPM.addPass(LLVMPass());
-                });
-          }};
+    [](PassBuilder &PB) {
+      PB.registerOptimizerLastEPCallback(
+        [](ModulePassManager &MPM, OptimizationLevel OL) {
+          MPM.addPass(LLVMPass());
+        });
+    }};
 }
+