Discover season-lab/sok-dbi-security Open Source project

Stars
21
Rank 1,084,038 (Top 22 %)
Language
C++
Created over 5 years ago
Updated about 5 years ago

season-lab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Library to hide DBI artifacts when using Intel Pin. Code from the ASIA CCS 2019 paper "SoK: Using Dynamic Binary Instrumentation for Security (And How You May Get Caught Red Handed)"

bluepill

BluePill: Neutralizing Anti-Analysis Behavior in Malware Dissection (Black Hat Europe 2019, IEEE TIFS 2020)

C++

119

fuzzolic

fuzzing + concolic = fuzzolic :)

112

survey-symbolic-execution

A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.

TeX

ropdissector

A framework for static analysis of ROP exploits and programs

Python

memsight

MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)

Python

symnav

JavaScript

SymFusion

SymFusion: Hybrid Instrumentation for Concolic Execution

fuzzy-sat

An approximate solver for concolic execution

sistemi-di-calcolo

Class material and examples for the "Sistemi di Calcolo" (Computer Architecture and Systems Programming) course

DroidReach

Framework for testing the reachability of native functions in Android applications.

Python

symqemu-hybrid

rop-collection

Collection of ROP exploits and programs from "Static Analysis of ROP Code" paper

C++

program-generator

Python

cex

Python

qemu

season-lab/sok-dbi-security

season-lab

Reviews

Repository Details

More Repositories