5 ms·

Hey there, this project looks really great! There seems to be some overlap with the Hypothesis-Auto[1] project. Have you looked into collaborating with Tim and

Hey there, this project looks really great! There seems to be some overlap with the Hypothesis-Auto[1] project. Have you looked into collaborating with Tim and perhaps merging your work together? It seems like it would be very powerful! [1] https://timothycrosley.github.io/hypothesis-auto/ https://timothycrosley.github.io/hypothesis-auto/

timothycrosley 7y ago
Can confirm that I would be happy to collaborate on this project, it looks really cool!
- pschanely 7y ago
  That would be amazing. It's easy to turn CrossHair into an absurdly slow fuzz tester (imagine hashing or printing your inputs early in the process). I think the ideal product would be good at both symbolic and concrete tactics, and the minimization logic of hypothesis would be really nice to have too. I will be in touch!
  - zzz95 7y ago
    Portfolio of a slow but precise fuzzer + fast imprecise fuzzer is the easiest integration. Start both together and return the one which fails first. SMT solvers are often complementary with samplers. However, it would be very interesting to see if a closer integration of symbolic and sampling methodologies is possible.