Repositories list

• memsight

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

  Python

  •

  BSD 2-Clause "Simplified" License

  •4•22•1•1•Updated Nov 21, 2024Nov 21, 2024

• fuzzolic

  Public
  fuzzing + concolic = fuzzolic :)

  symbolic-executionconcolic-execution

  C

  •

  GNU General Public License v2.0

  •6•118•1•1•Updated May 19, 2024May 19, 2024

• qemu

  Public
  C

  •

  Other

  •1•1•0•0•Updated Oct 4, 2023Oct 4, 2023

• DroidReach

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

  Python

  •2•9•0•0•Updated Aug 30, 2023Aug 30, 2023

• z3

  Public
  C++

  •

  Other

  •1•1•0•0•Updated Jun 3, 2023Jun 3, 2023

• cex

  Public
  Python

  •1•1•0•0•Updated May 7, 2023May 7, 2023

• SymFusion

  Public
  SymFusion: Hybrid Instrumentation for Concolic Execution

  symbolic-executionconcolic-execution

  C

  •5•16•0•0•Updated May 5, 2023May 5, 2023

• symcc-hybrid

  Public
  C++

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Oct 6, 2022Oct 6, 2022

• DroidReachBenchmarks

  Public
  Java

  •1•0•0•0•Updated Aug 27, 2022Aug 27, 2022

• symqemu-hybrid

  Public
  C

  •

  Other

  •1•3•0•0•Updated Aug 1, 2022Aug 1, 2022

• symfusion-qsym

  Public
  C++

  •

  Other

  •0•0•0•0•Updated Apr 12, 2022Apr 12, 2022

• fuzzy-sat

  Public
  An approximate solver for concolic execution

  smt-solverconcolic-execution

  C

  •

  GNU General Public License v2.0

  •4•17•0•0•Updated Feb 28, 2022Feb 28, 2022

• bluepill

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

  debuggerreverse-engineeringmalware+ 2malware-analysismalware-research

  C++

  •

  GNU Lesser General Public License v3.0

  •22•123•0•2•Updated Dec 22, 2021Dec 22, 2021

• season-lab.github.io

  Public
  website of the lab

  JavaScript

  •0•0•0•0•Updated Sep 23, 2021Sep 23, 2021

• symnav

  Public
  JavaScript

  •

  GNU General Public License v3.0

  •4•22•0•0•Updated Feb 25, 2020Feb 25, 2020

• sok-dbi-security

  Public
  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++

  •3•22•0•0•Updated Nov 12, 2019Nov 12, 2019

• ropdissector

  Public
  A framework for static analysis of ROP exploits and programs

  Python

  •

  BSD 2-Clause "Simplified" License

  •4•40•0•0•Updated May 13, 2019May 13, 2019

• rop-collection

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

  0•2•0•0•Updated May 10, 2019May 10, 2019

• survey-symbolic-execution

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

  TeX

  •10•81•0•0•Updated May 3, 2018May 3, 2018

• al-khaser

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

  C++

  •

  GNU General Public License v2.0

  •1.2k•0•0•0•Updated Feb 16, 2018Feb 16, 2018

• arancino

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

  C++

  •15•5•0•0•Updated Feb 14, 2018Feb 14, 2018

• sistemi-di-calcolo

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

  C

  •0•9•0•0•Updated Dec 12, 2017Dec 12, 2017

• angr-antievasion

  Public
  Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).

  Python

  •9•0•0•0•Updated Oct 23, 2017Oct 23, 2017

• program-generator

  Public
  Python

  •4•1•0•0•Updated Jul 4, 2017Jul 4, 2017

• conf-data

  Public
  Conference program metadata.

  Shell

  •17•0•0•0•Updated Jul 17, 2016Jul 17, 2016