enzet/symbolic-execution

Issues

• Add new tools

  #34 opened 2 years ago by enzet
  0

• Add Java instrumentation frameworks

  #33 opened 5 years ago by enzet
  0

• Add honggfuzz fuzzer

  #32 opened 6 years ago by enzet
  0

• Add SMT-COMP results to solver diagram

  #30 opened 6 years ago by enzet
  0

• Add paper

  #31 opened 6 years ago by enzet
  0

• Inclusion of foundational Symbolic Execution research

  #12 opened 6 years ago by zv
  4

• Add string solvers

  #3 opened 6 years ago by enzet
  0

• Add DyTa

  #29 opened 6 years ago by enzet
  0

• Add Simplify solver

  #25 opened 6 years ago by enzet
  0

• Add tools for firmware analysis

  #23 opened 7 years ago by enzet
  0

• Add KLOVER

  #22 opened 7 years ago by enzet
  0

• Add ZESTI and QCE

  #21 opened 7 years ago by enzet
  0

• Symbolic Execution for Concurrent Programs

  #20 opened 7 years ago by FedericoAureliano
  0

• Add solvers

  #18 opened 7 years ago by enzet
  0

• Challenge: symbolic execution with higher-order values

  #17 opened 7 years ago by dvanhorn
  0

• Add SAW

  #16 opened 7 years ago by enzet
  0

• Some additions

  #13 opened 7 years ago by SeanHeelan
  8

• Add BuzzFuzz

  #8 opened 7 years ago by enzet
  0

• Add missing symbolic engines from A Survey of Symbolic Execution Techniques

  #4 opened 7 years ago by enzet
  0

• Create SVG converter

  #28 opened 6 years ago by enzet
  0

• Add BORG

  #26 opened 6 years ago by enzet
  0

• Add CREST

  #27 opened 6 years ago by enzet
  0

• Change Z3str3 affiliation to University of Waterloo and IBM Research

  #24 opened 6 years ago by enzet
  1

• Review tool classification

  #5 opened 7 years ago by enzet
  1

• Floating-Point Numbers

  #19 opened 7 years ago by FedericoAureliano
  0

• Change DECAF input language from “Java” to “binary”

  #14 opened 7 years ago by enzet
  0

• Describe diagram notation

  #15 opened 7 years ago by enzet
  0

• Add Rosette

  #11 opened 7 years ago by enzet
  0

• Add ponce for IDA

  #9 opened 7 years ago by Ret2lib
  0

• Add license

  #7 opened 7 years ago by enzet
  0

• Review affiliations

  #6 opened 7 years ago by enzet
  0

• Add Manticore

  #2 opened 7 years ago by enzet
  0

• Add Kudzu

  #1 opened 7 years ago by enzet
  0