SEASON Lab (@season-lab)
Guthub

season-lab

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    480
  • Global Org. Rank 24,461 (Top 8 %)
  • Registered almost 9 years ago
  • Most used languages
    C
         37.5 %
    Python
         31.3 %
    C++
         18.8 %
    JavaScript
         6.3 %
    TeX
         6.3 %

Top repositories

1

bluepill

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

fuzzolic

fuzzing + concolic = fuzzolic :)
C
112
star
3

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
81
star
4

ropdissector

A framework for static analysis of ROP exploits and programs
Python
40
star
5

memsight

MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
Python
22
star
6

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)"
C++
21
star
7

symnav

JavaScript
20
star
8

SymFusion

SymFusion: Hybrid Instrumentation for Concolic Execution
C
17
star
9

fuzzy-sat

An approximate solver for concolic execution
C
17
star
10

sistemi-di-calcolo

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

DroidReach

Framework for testing the reachability of native functions in Android applications.
Python
8
star
12

symqemu-hybrid

C
3
star
13

rop-collection

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

z3

C++
1
star
15

program-generator

Python
1
star
16

cex

Python
1
star
17

qemu

C
1
star