Commits · 4e58ee2a4654769a14f3de1445949b5c4e02687c · Open Source Software / zafl

Jul 11, 2019
- updated to work as submodule of aware · 8277de77
  Jason Hiser authored 5 years ago
  
  8277de77
Jun 12, 2019
- Better argument parsing · 3c758bce
  Anh Nguyen-Tuong authored 5 years ago
  
  3c758bce
Jun 07, 2019
- Add --instrumentation-style option · f4b89efc
  Anh Nguyen-Tuong authored 5 years ago
  
  f4b89efc
- Add option to pass arbitrary args to $PSZ · 1b083cdf
  Anh Nguyen-Tuong authored 5 years ago
  
  1b083cdf
Jun 04, 2019
- Turn off STARS in move globals step · fe10b5b1
  Anh Nguyen-Tuong authored 5 years ago
  
  fe10b5b1
Jun 03, 2019
- Clean up args passed to $PSZ · 8a1ae1e4
  Anh Nguyen-Tuong authored 5 years ago
  
  8a1ae1e4
May 28, 2019
- Add -F flag (disable fork server) · 16be45e2
  Anh Nguyen-Tuong authored 5 years ago
  
  16be45e2
Mar 21, 2019
- Fix context sensitivity args; optimize zax codegen · e3042261
  Anh Nguyen-Tuong authored 6 years ago
  
  e3042261
Mar 19, 2019
- Fix option parsing bug · bce2dc40
  Anh Nguyen-Tuong authored 6 years ago
  
  bce2dc40
Mar 16, 2019
- Fix 2-byte cmp/div and cleanup · 435cf42b
  Anh Nguyen-Tuong authored 6 years ago
  
  435cf42b
Mar 12, 2019
- Update --help for zafl.sh · 19a8da89
  Anh Nguyen-Tuong authored 6 years ago
  
  19a8da89
- Handle 2-byte div and cmp · ad57bb91
  Anh Nguyen-Tuong authored 6 years ago
  
  ad57bb91
Mar 11, 2019
- Trace div/idiv and cleanup code · 5eb8347f
  Anh Nguyen-Tuong authored 6 years ago
  
  5eb8347f
- Simple flag to specify laf transform · ff5b53d0
  Anh Nguyen-Tuong authored 6 years ago
  
  ff5b53d0
Mar 08, 2019
- working towards removing removing zfuzz subdir · 2acc2aac
  Jason Hiser authored 6 years ago
  
  2acc2aac
- moved for merging into zafl project · 945a0217
  Jason Hiser authored 6 years ago
  
  945a0217
- POC for laf split compare · 38762de0
  Anh Nguyen-Tuong authored 6 years ago
  
  38762de0
Mar 07, 2019
- Fix grep pattern · 9a9cad79
  Anh Nguyen-Tuong authored 6 years ago
  
  9a9cad79
- Fix libc detection · 5906ce22
  Anh Nguyen-Tuong authored 6 years ago
  
  5906ce22
Mar 06, 2019
- Make laf step critical when laf enabled · a8293c18
  Anh Nguyen-Tuong authored 6 years ago
  
  a8293c18
- Prototyping split compares · 3c833106
  Anh Nguyen-Tuong authored 6 years ago
  
  3c833106
- Add options for whitelist/blacklist + handle libc · 5650c63e
  Anh Nguyen-Tuong authored 6 years ago
  
  5650c63e
Mar 05, 2019
- Make floating instrumentation the default · 8e3b1fca
  Anh Nguyen-Tuong authored 6 years ago
  
  8e3b1fca
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