SEASON Lab

icon indicating a website link http://season-lab.github.io

icon location Software Analysis and Optimization Laboratory at Sapienza University of Rome

Results 9 repositories owned by SEASON Lab

bluepill

117
Stars
22
Forks
Watchers

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

verified publisher icon season-lab

fuzzolic

113
Stars
6
Forks
Watchers

fuzzing + concolic = fuzzolic :)

verified publisher icon season-lab

memsight

19
Stars
4
Forks
Watchers

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

verified publisher icon season-lab

ropdissector

38
Stars
4
Forks
Watchers

A framework for static analysis of ROP exploits and programs

verified publisher icon season-lab

sok-dbi-security

18
Stars
3
Forks
Watchers

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

verified publisher icon season-lab

survey-symbolic-execution

75
Stars
10
Forks
Watchers

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

verified publisher icon season-lab

symnav

15
Stars
4
Forks
Watchers

verified publisher icon season-lab

SymFusion

18
Stars
5
Forks
Watchers

SymFusion: Hybrid Instrumentation for Concolic Execution

verified publisher icon season-lab

fuzzy-sat

17
Stars
4
Forks
Watchers

An approximate solver for concolic execution

verified publisher icon season-lab