Pinned Repositories
bluepill
BluePill: Neutralizing Anti-Analysis Behavior in Malware Dissection (Black Hat Europe 2019, IEEE TIFS 2020)
DroidReach
Framework for testing the reachability of native functions in Android applications.
fuzzolic
fuzzing + concolic = fuzzolic :)
fuzzy-sat
An approximate solver for concolic execution
memsight
MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
ropdissector
A framework for static analysis of ROP exploits and programs
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)"
survey-symbolic-execution
A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
symnav
SEASON Lab's Repositories
season-lab/bluepill
BluePill: Neutralizing Anti-Analysis Behavior in Malware Dissection (Black Hat Europe 2019, IEEE TIFS 2020)
season-lab/fuzzolic
fuzzing + concolic = fuzzolic :)
season-lab/survey-symbolic-execution
A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
season-lab/ropdissector
A framework for static analysis of ROP exploits and programs
season-lab/memsight
MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
season-lab/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)"
season-lab/symnav
season-lab/fuzzy-sat
An approximate solver for concolic execution
season-lab/SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
season-lab/DroidReach
Framework for testing the reachability of native functions in Android applications.
season-lab/sistemi-di-calcolo
Class material and examples for the "Sistemi di Calcolo" (Computer Architecture and Systems Programming) course
season-lab/arancino
Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.
season-lab/symqemu-hybrid
season-lab/rop-collection
Collection of ROP exploits and programs from "Static Analysis of ROP Code" paper
season-lab/cex
season-lab/program-generator
season-lab/qemu
season-lab/z3
season-lab/season-lab.github.io
website of the lab
season-lab/al-khaser
Public malware techniques used in the wild: Virtual Machine, Emulation, Debuggers, Sandbox detection.
season-lab/angr-antievasion
Final project for the M.Sc. in Engineering in Computer Science at UniversitĂ degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
season-lab/conf-data
Conference program metadata.
season-lab/DroidReachBenchmarks
season-lab/symcc-hybrid
season-lab/symfusion-qsym