Pinned Loading

1. season-lab/SymFusion season-lab/SymFusion Public

   SymFusion: Hybrid Instrumentation for Concolic Execution

   C 16 5

2. season-lab/fuzzolic season-lab/fuzzolic Public

   fuzzing + concolic = fuzzolic :)

   C 117 6

3. season-lab/fuzzy-sat season-lab/fuzzy-sat Public

   An approximate solver for concolic execution

   C 17 4

4. aprof aprof Public

   an input-sensitive profiler

   C 17 3

5. symbolic-execution-tutorial symbolic-execution-tutorial Public

   Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

   Python 127 18