Discover season-lab/fuzzolic Open Source project

1

bluepill

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

C++

119

2

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

3

ropdissector

A framework for static analysis of ROP exploits and programs

Python

40

4

memsight

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

Python

22

5

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

6

symnav

JavaScript

20

7

SymFusion

SymFusion: Hybrid Instrumentation for Concolic Execution

C

17

8

fuzzy-sat

An approximate solver for concolic execution

C

17

9

sistemi-di-calcolo

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

C

9

10

DroidReach

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

Python

8

11

symqemu-hybrid

C

3

12

rop-collection

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

2

13

z3

C++

1

14

program-generator

Python

1

15

cex

Python

1

16

qemu

C

1

season-lab/fuzzolic

season-lab

Reviews

Repository Details

fuzzing + concolic = fuzzolic :)

More Repositories