Commits · ab356eb6dbbc6d0606a0804300a8bf1a3bbb9a92 · Open Source Software / zafl

Sep 04, 2019
- WIP: turn on --auto-zafl-libraries · 08317281
  Anh Nguyen-Tuong authored 5 years ago
  
  08317281
Aug 18, 2019
- slightly more verbose debug output in test-ls, and fixed -C arg parsing for zafl.sh · a708dfe4
  Jason Hiser authored 5 years ago
  
  a708dfe4
Aug 17, 2019
- setup critical edge breaking to 1) emit a map of critical edges, and 2)... · 022f4450
  Jason Hiser authored 5 years ago
  
  setup critical edge breaking to 1) emit a map of critical edges, and 2) parameterize which edge types get broken
  022f4450
Jul 29, 2019
- updated help text · ec65a527
  Jason Hiser authored 5 years ago
  
  ec65a527
- added option to specify loop counting buckets · 34a8ba5f
  Jason Hiser authored 5 years ago
  
  34a8ba5f
- Update to add zedge to zax, and rename it to loop-count-instr · f452c89e
  Jason Hiser authored 5 years ago
  
  f452c89e
Jul 18, 2019
- updating zafl.sh and zax to using command line args instead of env for... · 11efff40
  Jason Hiser authored 5 years ago
  
  updating zafl.sh and zax to using command line args instead of env for communicating fixed-map addressing
  11efff40
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