Commits · 2e5d3352b8c48539702c520746b1b71242412370 · Open Source Software / zafl

Dec 11, 2018
- Rename zafl transform to zax · 2e5d3352
  Anh Nguyen-Tuong authored 6 years ago
  
  2e5d3352
Dec 09, 2018
- Fix bug: decoding instruction just inserted results in exception · a58b2483
  Anh Nguyen-Tuong authored 6 years ago
  
  a58b2483
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
- Fix compilation error · 8dc51762
  Anh Nguyen-Tuong authored 6 years ago
  
  8dc51762
- Allow multiple exit points in zafl.sh · f12760a1
  Anh Nguyen-Tuong authored 6 years ago
  
  f12760a1
Oct 15, 2018
- Refactor zafl.sh to take params in any order · 5bd735c9
  Anh Nguyen-Tuong authored 6 years ago
  
  5bd735c9
Oct 14, 2018
- Look for back edges before eliding conditional branches · a21d0706
  Anh Nguyen-Tuong authored 6 years ago
  
  a21d0706
- Add -v, --verbose · 11818aef
  Anh Nguyen-Tuong authored 6 years ago
  
  11818aef
- Elide inner node · 2a9356c8
  Anh Nguyen-Tuong authored 6 years ago
  
  2a9356c8
- Check for IBTA before using CollAfl-style instrumentation · 0b0f9766
  Anh Nguyen-Tuong authored 6 years ago
  
  0b0f9766
- Fold collAFl optimization into graph optimization · fc9005ed
  Anh Nguyen-Tuong authored 6 years ago
  
  fc9005ed
- CollAfl style instrumentation to reduce collisions · 3d812cd6
  Anh Nguyen-Tuong authored 6 years ago
  
  3d812cd6
Oct 12, 2018
- Handle cases where basic blocks point to self · 552a255b
  Anh Nguyen-Tuong authored 6 years ago
  
  552a255b
Oct 11, 2018
- More aggressive eliding after conditional branch · fc0385bb
  Anh Nguyen-Tuong authored 6 years ago
  
  fc0385bb
- Cleanup graph optimization code · a547b9bf
  Anh Nguyen-Tuong authored 6 years ago
  
  a547b9bf
- Cleanup code to extract dead regs · 6f11b95e
  Anh Nguyen-Tuong authored 6 years ago
  
  6f11b95e
Oct 04, 2018
- Add enable/disable fork server option · 375a5e2c
  Anh Nguyen-Tuong authored 6 years ago
  
  375a5e2c
Sep 21, 2018
- Turn on register optimization when --stars enabled · bb76ef53
  Anh Nguyen-Tuong authored 6 years ago
  
  bb76ef53
- Cleanup, add instrumentation for red zone in fork server · 4c12ff93
  Anh Nguyen-Tuong authored 6 years ago
  
  4c12ff93
Sep 18, 2018
- Blacklisting of basic blocks · a99306fb
  Anh authored 6 years ago
  
  push/jmp pairs exit blocks with only 1 instruction known functions
  a99306fb
- Code cleanup · f6176cb7
  Anh Nguyen-Tuong authored 6 years ago
  
  f6176cb7
Sep 17, 2018
- Honor verbose flag · 4905306e
  Anh Nguyen-Tuong authored 6 years ago
  
  4905306e
Sep 12, 2018
- Make sure fork server entry point doesn't get instrumented · 0cd19c46
  Anh Nguyen-Tuong authored 6 years ago
  
  0cd19c46
Sep 13, 2018
- Fix bug in zafl.sh, more blacklisted funcs · 0016ad70
  Anh Nguyen-Tuong authored 6 years ago
  
  0016ad70
Sep 12, 2018
- Make stars (flags) the default · c39b53e4
  Anh Nguyen-Tuong authored 6 years ago
  
  c39b53e4
- Disable register optimizations · 2ab3e84d
  Anh Nguyen-Tuong authored 6 years ago
  
  2ab3e84d
Sep 09, 2018
- Fix push/pop mismatch when instrumenting basic blocks · abf7a902
  Anh Nguyen-Tuong authored 6 years ago
  
  Also rida now the default
  abf7a902
Sep 08, 2018
- New option to elide basic blocks w/ 1 successor · 52cffdee
  Anh Nguyen-Tuong authored 6 years ago
  
  52cffdee
Sep 07, 2018
- Add --autozafl option · b2ef97e8
  Anh Nguyen-Tuong authored 6 years ago
  
  b2ef97e8
Sep 04, 2018
- Use insertAssembly from libtransform · fa9e103a
  Anh Nguyen-Tuong authored 6 years ago
  
  fa9e103a
Aug 26, 2018
- Better debugging support · f6b6cdf3
  Anh Nguyen-Tuong authored 6 years ago
  
  Utility functions for whitelist/blacklist
  f6b6cdf3
- Add white+black list · 687621f9
  Anh Nguyen-Tuong authored 6 years ago
  
  687621f9
Aug 25, 2018
- Fix zafl on libraries · 1327eee6
  Anh Nguyen-Tuong authored 6 years ago
  
  1327eee6
- Fix mismatched push/pop · 3a3bd022
  Anh Nguyen-Tuong authored 6 years ago
  
  3a3bd022
Aug 24, 2018
- Respect red zone when inserting fork server code · 5258ea42
  Anh Nguyen-Tuong authored 6 years ago
  
  5258ea42
- Fix check for ZAFL_LIMIT_END · 31cc37e1
  Anh Nguyen-Tuong authored 6 years ago
  
  31cc37e1
- Prep zafl for binary search · b9a08a1d
  Anh Nguyen-Tuong authored 6 years ago
  
  b9a08a1d
Aug 23, 2018
- Add exit points · fdc02172
  Anh Nguyen-Tuong authored 6 years ago
  
  fdc02172
- More stats · 661102da
  Anh Nguyen-Tuong authored 6 years ago
  
  661102da
- Build libautozafl.so · 4de8682e
  Anh Nguyen-Tuong authored 6 years ago
  
  4de8682e