season-lab/program-generator

Stars
1
Language
Python
Created over 8 years ago
Updated over 7 years ago

season-lab/program-generator

season-lab

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

bluepill

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

fuzzolic

fuzzing + concolic = fuzzolic :)

survey-symbolic-execution

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

ropdissector

A framework for static analysis of ROP exploits and programs

memsight

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

sok-dbi-security

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)"

symnav

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.

symqemu-hybrid

rop-collection

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

z3

cex

qemu