Si13ntV0ice's repositories

PyELF

A Python ctypes based userland execve implementation

Language:PythonLicense:BSD-2-ClauseStargazers:1Issues:0Issues:0

Triton

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.

Language:C++License:NOASSERTIONStargazers:1Issues:1Issues:0

amoco

yet another tool for analysing binaries

Language:PythonLicense:GPL-2.0Stargazers:0Issues:1Issues:0

barf-project

BARF : A multiplatform open source Binary Analysis and Reverse engineering Framework

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

CoCo

This is the CoCo Virtual Machine Source Code.

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

crossbridge

Welcome to visit the homepage!

Stargazers:0Issues:2Issues:0

desktop-app

Leanote Desktop App, based on Electron(atom-shell) http://leanote.org

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

drama

This repository contains examples of DRAMA reverse-engineering and side-channel attacks

Language:C++License:UnlicenseStargazers:0Issues:2Issues:0

driller

Driller: augmenting AFL with symbolic execution!

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

DrK

The DrK Attack - Proof of concept

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

etrace

Update of original etrace program.

Language:CStargazers:0Issues:1Issues:0

kaslr-bypass-via-prefetch

A proof-of-concept KASLR bypass for the Linux kernel via timing prefetch

Language:CStargazers:0Issues:0Issues:0

ksm

A really simple and lightweight x64 hypervisor written in C. Supports VMFUNC, EPTP switching, #VE EPT Violation, VT-x nesting and IDT shadowing. VMFUNC backward compatibility also supported.

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

lcc

The lcc retargetable ANSI C compiler

Language:CStargazers:0Issues:2Issues:0

mcsema

x86 to machine code translation framework

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

openreil

Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

pafish

Pafish is a demonstration tool that employs several techniques to detect sandboxes and analysis environments in the same way as malware families do.

Language:CLicense:GPL-3.0Stargazers:0Issues:2Issues:0

panda

Platform for Architecture-Neutral Dynamic Analysis

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Ponce

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

PyJFuzz

PyJFuzz - Python JSON Fuzzer

Language:CSSLicense:MITStargazers:0Issues:1Issues:0

pysymemu

An intel 64 symbolic emulator

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

radamsa

a general-purpose fuzzer

Language:SchemeLicense:MITStargazers:0Issues:1Issues:0

s2e

S2E - A Platform for In-Vivo Multi-Path Software Analysis

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

sparrow

an efficient web/http server...(multi-thread && non-blocking I/O && epoll)

Language:CStargazers:0Issues:2Issues:0

src

IDAPython project for Hex-Ray's IDA Pro

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

symexbib

A bibliography of papers related to symbolic execution

Stargazers:0Issues:1Issues:0

Tigress_protection

Playing with the Tigress binary protection. Automatic deobfuscation using symbolic execution and LLVM.

Language:PythonStargazers:0Issues:1Issues:0

tinyvm

TinyVM is a small, fast, lightweight virtual machine written in pure ANSI C.

Language:CLicense:MITStargazers:0Issues:1Issues:0

trinity

Linux system call fuzzer

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0