Skip to content

[WIP] Random weight and favored #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
jiradeto wants to merge 25 commits into
base: master
Choose a base branch
from
Open

[WIP] Random weight and favored #6

Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
ad24bc4
add randomized_top_rated PR
jiradeto Jul 19, 2021
fe1fe82
add cumulative_weigh_selection PR
jiradeto Jul 19, 2021
3d7fc09
remove duplicate rand_double
jiradeto Jul 19, 2021
31d9667
change default value of max_weight_fac_incr to 15.0
jiradeto Jul 19, 2021
c10878b
- use 1.0 probability fo fuzz new inputs
jiradeto Jul 22, 2021
db648a1
revert AFL's original mechanism to select favorites
jiradeto Jul 22, 2021
45244dd
revert update_bitmap_score function
jiradeto Jul 22, 2021
9c31732
reformat code
jiradeto Jul 22, 2021
d52c800
remove enable_throttle_inputs
jiradeto Jul 23, 2021
8027a2b
add enable_uniformly_random_favories flag
jiradeto Jul 23, 2021
9400fab
fix typo
jiradeto Jul 23, 2021
63e1623
fix redefinition
jiradeto Jul 23, 2021
71fe3cf
randomize fuzzing params with prob
jiradeto Jul 23, 2021
a216c7b
simplify random function
jiradeto Jul 28, 2021
7e9c248
randomize more parameters
jiradeto Jul 28, 2021
0906916
remove logging
jiradeto Jul 29, 2021
43c7877
assign random params prob per seed
jiradeto Aug 6, 2021
cfdd58c
include math.h
jiradeto Aug 7, 2021
881d74b
avoid using math
jiradeto Aug 7, 2021
265b49d
Merge pull request #9 from Practical-Formal-Methods/random_params_per…
jiradeto Aug 12, 2021
d22d152
remove blank line
jiradeto Aug 12, 2021
f31d164
Merge pull request #7 from Practical-Formal-Methods/random_params
jiradeto Aug 12, 2021
8abcf93
adjust variables default value
jiradeto Aug 16, 2021
01e143d
remove unused env variable
jiradeto Aug 28, 2021
0e10d78
adjust default parameter
jiradeto Sep 12, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading