Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 24, 2020

• DockerFile for Ubuntu 20.04

  DonggeLiu

  committed
  a9c1188

Commits on Aug 29, 2020

• Collect stats of path preserving

  DonggeLiu

  committed
  eb61811

Commits on Aug 28, 2020

• unify the value of RHO

  DonggeLiu

  committed
  be19333

• Making coverage-only default

  DonggeLiu

  committed
  01ec52b

Commits on Aug 20, 2020

• minor fixes

  DonggeLiu

  committed
  80a11fc

• clean up

  DonggeLiu

  committed
  ec44ea4

• Fix bugs

  DonggeLiu

  committed
  42f7e50

• Collect statistics of the three input generation methods

  DonggeLiu

  committed
  33a40e5

Commits on Aug 19, 2020

• Merge branch 'master' of github.com:Alan32Liu/Legion into master

  DonggeLiu

  committed
  9da47c9

• Do not abort APPF on Z3Exception, redo instead

  DonggeLiu

  committed
  50c52f5

• completing APPF report

  DonggeLiu

  committed
  0437057

• Collect the APPF data (number of iputs,if they find new paths)

  DonggeLiu

  committed
  c90fe0f

• Collect the average constraint solving time

  DonggeLiu

  committed
  49513bc

Commits on Aug 12, 2020

• removed the outdated setting

  DonggeLiu

  committed
  b807ed5

• The setting file for the competition

  DonggeLiu

  committed
  3fd4002

• Make symex consistent with conex

  DonggeLiu

  committed
  5522098

Commits on Aug 10, 2020

• Update README.md

  DonggeLiu

  authored
  263bd3c

• Update README.md

  DonggeLiu

  authored
  c203f8b

Commits on Aug 3, 2020

• Update README.md

  DonggeLiu

  authored
  423b291

• Update README.md

  DonggeLiu

  authored
  b3ea345

• Update README.md

  DonggeLiu

  authored
  619b639

Commits on Jun 28, 2020

• Experiment settings

  DonggeLiu

  committed
  12b2b2e

Commits on Jun 25, 2020

• unify with the experiment version

  DonggeLiu

  committed
  0216828

• ignore some temporary/binary/garbage files

  DonggeLiu

  committed
  68e52ff

• Making a flag for profile

  DonggeLiu

  committed
  0593131

• Merge branch 'beautify'

  DonggeLiu

  committed
  14bd195

Commits on Jun 17, 2020

• capture and handle two kinds of errors from z3 and claripy

  DonggeLiu

  committed
  0079cf3

• git rid of PyCharm syntax warnings

  DonggeLiu

  committed
  a65859c

Commits on Jun 1, 2020

• Allowing float timeout value

  DonggeLiu

  committed
  42f4b03

• Cleanup trace and report in case of timeout

  DonggeLiu

  committed
  e6af315

• Safer way to use thread pool to avoid memory leak

  DonggeLiu

  committed
  d11d8b6

Commits on May 31, 2020

• Fixing the process/memory leakage caused by multiprocess.pool

  

  donggeliu

  authored and

  donggeliu

  committed
  25e606e

Commits on May 30, 2020

• Skip writing only if there is no test case and no byte

  DonggeLiu

  committed
  5903db3

• Fixing FishBone optimiastion.

  DonggeLiu

  committed
  494e4b5

Commits on May 28, 2020

• If the first conex failed, legion can still use the following conexs to identify root address

  DonggeLiu

  committed
  832b08f

Pagination

PreviousNext