Hacker News new | ask | show | jobs
by ZeroCool2u 2352 days ago
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/
1 comments
timothycrosley 2352 days ago
Can confirm that I would be happy to collaborate on this project, it looks really cool!
link
pschanely 2352 days 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!
link
zzz95 2352 days 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.

link