tareq97-zz

AFL

american fuzzy lop - a security-oriented fuzzer

AFLplusplus

afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!

assign-1

Web crawler tool

assignment

Awesome-Fuzzing

A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Development like root cause analysis.

awesome-robotics

A list of awesome Robotics resources

bandit

Bandit is a tool designed to find common security issues in Python code.

github-slideshow

A robot powered training repository :robot:

daily_paper

This repo consists of literature review done on daily basis

DataStructures

This folder consists of C++ implementations of all data structures

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

fuzz-webassembly

The main idea here is to fuzz the WebAssembly language and take out as many bugs as possible.

HCI

This is repository for state of the art research in Human Computer Interaction

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

klee

KLEE Symbolic Execution Engine

likedthesis

opendr

A modular, open and non-proprietary toolkit for core robotic functionalities by harnessing deep learning

osp-core

propfuzz

A Rust toolkit to combine property-based testing and fuzzing.

python-ext-wasm

🐍🕸 Python library to run WebAssembly binaries.

rosdistro

This repo maintains a lists of repositories for each ROS distribution

slumps

Research project on superoptimization and randomization for WebAssembly WASM (https://kth.github.io/slumps/)

software_architecture

Solve-Problems

This reprository contains small programs for understading langauage or basic level programming in C#

SPARTA

SPARTA is a library that provides the basic blocks for building high-performance static code analyzers based on Abstract Interpretation.

swam

WebAssembly engine in Scala

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

v8

The official mirror of the V8 Git repository

wasm3

🚀 The fastest WebAssembly interpreter (and the most universal wasm runtime)

wasmer

🚀 The Universal WebAssembly Runtime supporting WASI and Emscripten