- Mar 07, 2019
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Mar 06, 2019
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Mar 05, 2019
-
-
Anh Nguyen-Tuong authored
-
- Mar 04, 2019
-
-
Jason Hiser authored
-
Anh Nguyen-Tuong authored
-
- Feb 24, 2019
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Feb 23, 2019
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
Fixed address for prev id and context id See merge request allzp/zfuzz!9
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
Handle flags as instrumentation to compute hash chain uses xor. Also add code to handle red zone for leaf functions
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
Fix crash See merge request allzp/zfuzz!8
-
Anh Nguyen-Tuong authored
Building CFGs seems to require that the assembly is correct Force building of the assembly after making mods to the IR and before building a new CFG
-
Anh Nguyen-Tuong authored
Resolve "Add context sensitivity to zafl instrumentation" Closes #40 See merge request allzp/zfuzz!7
-
Anh Nguyen-Tuong authored
-
- Feb 13, 2019
-
-
Anh Nguyen-Tuong authored
-
- Feb 12, 2019
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Jason Hiser authored
-
Jason Hiser authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Feb 11, 2019
-
-
Jason Hiser authored
updated zafl.sh with better help screen, debugged zax-base to properly implement domgraph optimziation
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
- Feb 10, 2019
-
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-
Anh Nguyen-Tuong authored
-