Commits

Commits on Sep 24, 2020

DockerFile for Ubuntu 20.04
DonggeLiu
committedSep 24, 2020

Commits on Aug 29, 2020

Collect stats of path preserving
DonggeLiu
committedAug 29, 2020

Commits on Aug 28, 2020

unify the value of RHO
DonggeLiu
committedAug 28, 2020
Making coverage-only default
DonggeLiu
committedAug 28, 2020

Commits on Aug 20, 2020

minor fixes
DonggeLiu
committedAug 20, 2020
clean up
DonggeLiu
committedAug 20, 2020
Fix bugs
DonggeLiu
committedAug 20, 2020
Collect statistics of the three input generation methods
DonggeLiu
committedAug 20, 2020

Commits on Aug 19, 2020

Merge branch 'master' of github.com:Alan32Liu/Legion into master
DonggeLiu
committedAug 19, 2020
Do not abort APPF on Z3Exception, redo instead
DonggeLiu
committedAug 19, 2020
completing APPF report
DonggeLiu
committedAug 19, 2020
Collect the APPF data (number of iputs,if they find new paths)
DonggeLiu
committedAug 19, 2020
Collect the average constraint solving time
DonggeLiu
committedAug 19, 2020

Commits on Aug 12, 2020

removed the outdated setting
DonggeLiu
committedAug 12, 2020
The setting file for the competition
DonggeLiu
committedAug 12, 2020
Make symex consistent with conex
DonggeLiu
committedAug 12, 2020

Commits on Aug 10, 2020

Update README.md
DonggeLiu
committedAug 10, 2020
Update README.md
DonggeLiu
committedAug 10, 2020

Commits on Aug 3, 2020

Update README.md
DonggeLiu
committedAug 3, 2020
Update README.md
DonggeLiu
committedAug 3, 2020
Update README.md
DonggeLiu
committedAug 3, 2020

Commits on Jun 28, 2020

Experiment settings
DonggeLiu
committedJun 28, 2020

Commits on Jun 25, 2020

unify with the experiment version
DonggeLiu
committedJun 25, 2020
ignore some temporary/binary/garbage files
DonggeLiu
committedJun 25, 2020
Making a flag for profile
DonggeLiu
committedJun 25, 2020
Merge branch 'beautify'
DonggeLiu
committedJun 25, 2020

Commits on Jun 17, 2020

capture and handle two kinds of errors from z3 and claripy
DonggeLiu
committedJun 17, 2020
git rid of PyCharm syntax warnings
DonggeLiu
committedJun 17, 2020

Commits on Jun 1, 2020

Allowing float timeout value
DonggeLiu
committedJun 1, 2020
Cleanup trace and report in case of timeout
DonggeLiu
committedJun 1, 2020
Safer way to use thread pool to avoid memory leak
DonggeLiu
committedJun 1, 2020

Commits on May 30, 2020

Skip writing only if there is no test case and no byte
DonggeLiu
committedMay 30, 2020
Fixing FishBone optimiastion.
DonggeLiu
committedMay 30, 2020

Commits on May 28, 2020

If the first conex failed, legion can still use the following conexs to identify root address
DonggeLiu
committedMay 28, 2020
Fixing concat None to list
DonggeLiu
committedMay 28, 2020