season-lab Goto Github PK

al-khaser

Public malware techniques used in the wild: Virtual Machine, Emulation, Debuggers, Sandbox detection.

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

arancino

Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.

bluepill

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

cex

conf-data

Conference program metadata.

droidreach

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

droidreachbenchmarks

fuzzolic

fuzzing + concolic = fuzzolic :)

fuzzy-sat

An approximate solver for concolic execution

memsight

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

program-generator

qemu

rop-collection

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

ropdissector

A framework for static analysis of ROP exploits and programs

season-lab.github.io

website of the lab

sistemi-di-calcolo

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

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.

symcc-hybrid

symfusion

SymFusion: Hybrid Instrumentation for Concolic Execution

symfusion-qsym

symnav

symqemu-hybrid

z3