arashall Goto Github PK

abcd

abcd site

aflsmart

Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)

angr

The next-generation binary analysis platform from UC Santa Barbara's Seclab!

arashall.github.io

Arash git page

awesome

😎 Awesome lists about all kinds of interesting topics

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

binnavi

BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.

botnets

This is a collection of #botnet source codes, unorganized. For EDUCATIONAL PURPOSES ONLY

codeql-uboot

ctf-tools

Some setup scripts for security research tools.

driller

Driller: augmenting AFL with symbolic execution!

driller-afl

A version of AFL tailored for Driller's use in analyzing CGC binaries.

ethbmc

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

funfuzz

JavaScript engine & DOM fuzzers

fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution

fuzzer

A Python interface to AFL, allowing for easy injection of testcases and other functionality.

fuzzwin

github-slideshow

A robot powered training repository :robot:

google-security-research

Automatically exported from code.google.com/p/google-security-research

how2heap

A repository for learning various heap exploitation techniques.

kernelfuzzer

Cross Platform Kernel Fuzzer Framework

kirlangic-ttf-fuzzer

TrueType Font Fuzzer

klee

KLEE Symbolic Virtual Machine

literature_review

Survey of program analysis research with a focus on machine code

macke

Modular And Compositional analysis with KLEE Engine

malware-analysis

Analysis of interesting malwares

ms17-010

MS17-010

nightmare

A distributed fuzzing testing suite with web administration

patcherex

Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.

pwndbg

Exploit Development and Reverse Engineering with GDB Made Easy