Commits · 91623b5b5959a57a6f50c5325b631610efeef435 · Open Source Software / zafl

Feb 24, 2019
- Add random seed option · 71658c2f
  Anh Nguyen-Tuong authored 6 years ago
  
  71658c2f
Feb 23, 2019
- In coll afl mode, no need to shift prev id · e78ccc30
  Anh Nguyen-Tuong authored 6 years ago
  
  e78ccc30
- Fixed address for prev id and context id · e99ac632
  Anh Nguyen-Tuong authored 6 years ago
  
  e99ac632
- Resolve "Add context sensitivity to zafl instrumentation" · d4f8eff5
  Anh Nguyen-Tuong authored 6 years ago
  
  d4f8eff5
Feb 12, 2019
- fixed boneheaded mistake in zafl.sh · b109555f
  Jason Hiser authored 6 years ago
  
  b109555f
- changed zafl to explictly enable rida instead of relying on psz to be ps-rida · 1ae993c8
  Jason Hiser authored 6 years ago
  
  1ae993c8
Feb 11, 2019
- updated zafl.sh with better help screen, debugged zax-base to properly... · 8cc6c47a
  Jason Hiser authored 6 years ago
  
  updated zafl.sh with better help screen, debugged zax-base to properly implement domgraph optimziation
  8cc6c47a
- Turn off floating instrumentation if --no-stars · ae83913c
  Anh Nguyen-Tuong authored 6 years ago
  
  ae83913c
Feb 05, 2019
- added domgraph analysis to zax · 132dc63b
  Jason Hiser authored 6 years ago
  
  132dc63b
Feb 03, 2019
- Enable floating instrumentation in basic blocks · f111a8c0
  Anh Nguyen-Tuong authored 6 years ago
  
  f111a8c0
Jan 30, 2019
- Fix usage · f633f9a5
  Anh Nguyen-Tuong authored 6 years ago
  
  f633f9a5
- Cleanup · adbbc61a
  Anh Nguyen-Tuong authored 6 years ago
  
  adbbc61a
- Cleanup tests and code · 1da09cb7
  Anh Nguyen-Tuong authored 6 years ago
  
  Got rid of sprintf in zuntracer.cpp
  1da09cb7
- Add fixed map option to block-level instrumentation · ab9a9e6d
  Anh Nguyen-Tuong authored 6 years ago
  
  Add tests
  ab9a9e6d
Jan 20, 2019
- Refactoring... · ee4b5311
  Anh Nguyen-Tuong authored 6 years ago
  
  ee4b5311
- Cleanup zafl.sh script · 60c6df00
  Anh Nguyen-Tuong authored 6 years ago
  
  60c6df00
Jan 18, 2019
- Add fork server only option · 795a60cd
  Anh Nguyen-Tuong authored 6 years ago
  
  795a60cd
Jan 16, 2019
- Break critical edge · e46c2df7
  Anh Nguyen-Tuong authored 6 years ago
  
  e46c2df7
Jan 10, 2019
- ZUntracer instrumentation · 16a28303
  Anh Nguyen-Tuong authored 6 years ago
  
  16a28303
Dec 14, 2018
- Remove --ida in test (deprecated) · 30a57e6c
  Anh Nguyen-Tuong authored 6 years ago
  
  30a57e6c
Dec 11, 2018
- Rename zafl transform to zax · 2e5d3352
  Anh Nguyen-Tuong authored 6 years ago
  
  2e5d3352
Nov 30, 2018
- Test both ida and rida for sha256.zafl · 3c8d3316
  Anh Nguyen-Tuong authored 6 years ago
  
  3c8d3316
Nov 27, 2018
- Fix bug where we're instrumenting the fork server code · 39fc980a
  Anh Nguyen-Tuong authored 6 years ago
  
  39fc980a
Nov 24, 2018
- Allow multiple exit points in zafl.sh · f12760a1
  Anh Nguyen-Tuong authored 6 years ago
  
  f12760a1
Nov 05, 2018
- Add -e and -E options · 7dfc0c56
  Anh Nguyen-Tuong authored 6 years ago
  
  -e: specify entry point for fork server -E: specify exit point(s)
  7dfc0c56
Oct 15, 2018
- Fix parsing of address for main · fba13677
  Anh Nguyen-Tuong authored 6 years ago
  
  fba13677
- Refactor zafl.sh to take params in any order · 5bd735c9
  Anh Nguyen-Tuong authored 6 years ago
  
  5bd735c9
Oct 14, 2018
- Update test · 2aaa3366
  Anh Nguyen-Tuong authored 6 years ago
  
  2aaa3366
- Turn off graph optimization by default · 9bfba952
  Anh Nguyen-Tuong authored 6 years ago
  
  9bfba952
- Add -v, --verbose · 11818aef
  Anh Nguyen-Tuong authored 6 years ago
  
  11818aef
- CollAfl style instrumentation to reduce collisions · 3d812cd6
  Anh Nguyen-Tuong authored 6 years ago
  
  3d812cd6
Oct 02, 2018
- Let rida/ida find function name · 79d9c59c
  Anh Nguyen-Tuong authored 6 years ago
  
  79d9c59c
- Convert main to entry point address · f1f46d15
  Anh Nguyen-Tuong authored 6 years ago
  
  rida does not recognize main like ida does
  f1f46d15
Sep 16, 2018
- Make rida the default for zafl · 9f04551d
  Anh Nguyen-Tuong authored 6 years ago
  
  9f04551d
- Use C instead of C++ · d8605a54
  Anh Nguyen-Tuong authored 6 years ago
  
  d8605a54
- Additional error checking using ldd -d · 1dc83dba
  Anh Nguyen-Tuong authored 6 years ago
  
  1dc83dba
Sep 13, 2018
- Fix bug in zafl.sh, more blacklisted funcs · 0016ad70
  Anh Nguyen-Tuong authored 6 years ago
  
  0016ad70
Sep 12, 2018
- Default (ida+stars) where stars (live flags/leaf annot) · 45d5813f
  Anh Nguyen-Tuong authored 6 years ago
  
  45d5813f
- Use entry point from ELF headers for fork server for main execs · 2cedc687
  Anh Nguyen-Tuong authored 6 years ago
  
  2cedc687
Sep 11, 2018
- Add --stars --no-stars option to zafl · c3c283be
  Anh Nguyen-Tuong authored 6 years ago
  
  c3c283be