COMP3331 COMP9331 Assignment 2023

COMP3331/9331 Computer Networks and Applications Assignment for Term 2, 2023 Version 1.0 Due: 11:59am (noon) Friday, 28 July 2023 (Week 9) 1. Introduction A DNS (Domain Name System) resolver is a crucial component in computer networking that translates human-readable domain names (like www.example.com) into corresponding IP addresses (such as 192.0.2.1). The DNS resolver performs the

COMP3331 COMP9331 Assignment 2023 Read More »

Constraint

Home WeChat: cstutorcs QQ: 749389476 #include “llvm/IR/InstIterator.h” #include “llvm/IR/Module.h” #include “llvm/Support/SourceMgr.h” #include #include “llvm/AsmParser/Parser.h” #include “llvm/IRReader/IRReader.h” #include “Extractor.h” using namespace llvm; void exitWithUsage() { std::cerr

Constraint Read More »

CS 6340 Lab 5 CBI

Lab 5: Cooperative Bug Isolation (CBI) Fall 2022 Semester Due: 7 November, 8:00 am Eastern Time Corresponding Lecture: Lesson 9 (Statistical Debugging) ● Enumerating basic blocks and instructions in a function: o http://releases.llvm.org/8.0.0/docs/ProgrammersManual.html#basic-inspection-and- traversal-routines ● Instrumenting LLVM IR o http://releases.llvm.org/8.0.0/docs/ProgrammersManual.html#creating-and-inserting- new-instructions ● Important classes o http://releases.llvm.org/8.0.0/docs/ProgrammersManual.html#the-function-class o https://cs6340.cc.gatech.edu/LLVM8Doxygen/classllvm_1_1CallInst.html o https://cs6340.cc.gatech.edu/LLVM8Doxygen/classllvm_1_1DebugLoc.html o https://cs6340.cc.gatech.edu/LLVM8Doxygen/classllvm_1_1BranchInst.html In this lab,

CS 6340 Lab 5 CBI Read More »

CS 6340 Lab 7 KLEE

Lab 7: KLEE Symbolic Execution Engine Fall Semester 2022 Due: 12 December, 8:00 a.m. Eastern Time Corresponding Lecture: Lesson 11 (Dynamic Symbolic Execution) The goal of this lab is to gain familiarity with a research based symbolic execution engine called KLEE. KLEE is a hybrid analysis engine built on the LLVM compiler infrastructure. This engine

CS 6340 Lab 7 KLEE Read More »

Fuzzer

Home WeChat: cstutorcs QQ: 749389476 #include #include #include #include #include #include “Mutate.h” #include “Utils.h” int Freq = 1000000; int Count = 0; bool test(std::string &Target, std::string &Input, std::string &CampaignStr, std::string &OutDir) { int ReturnCode = runTarget(Target, Input); switch (ReturnCode) { if (Count % Freq == 0) storePassingInput(Input, CampaignStr, OutDir); return true; fprintf(stderr, “%d crashes found\n”,

Fuzzer Read More »