Re: Add support to trace comparison instructions and switch statements

2017-07-11 Thread Wish Wu
quot;__builtin___sanitizer_cov_trace_cmpf \\(" 1 "optimized" } } */ +/* { dg-final { scan-tree-dump-times "__builtin___sanitizer_cov_trace_cmpd \\(" 1 "optimized" } } */ +/* { dg-final { scan-tree-dump-times "__builtin___sanitizer_cov_trace_switch \\(" 2

Re: Add support to trace comparison instructions and switch statements

2017-07-13 Thread Wish Wu
ul, because programmers must have some reasons to do that. As practice , "==" is more meaningful. 4.Should we record comparisons for counting loop checks ? Not sure. With Regards Wish Wu of Ant-financial Light-Year Security Lab On Thu, Jul 13, 2017 at 4:09 PM, Dmitry Vyukov wrote

Re: Add support to trace comparison instructions and switch statements

2017-07-13 Thread Wish Wu
Hi In fact, under linux with "return address" and file "/proc/self/maps", we can give unique id for every comparison. For fuzzing, we may give 3 bits for every comparison as marker of if "<", "==" or ">" is showed. :D With Regards Wish Wu