Show HN: CrossHair – SMT Assisted Testing for Python
1–10 of 15 posts
Re: Show HN: CrossHair – SMT Assisted Testing for Python
#2Hi all! My primary objective with this post is to find potential collaborators and people willing to try it. (and file bugs!)
If you do try it, I'd encourage you to think of it as an exercise in formally documenting your code's behavior, with the side benefit that CrossHair can sometimes help you ensure the correctness of that documentation.
And, of course, feedback of any kind at all is honestly appreciated. Thanks for being the awesome community that you are!
Re: Show HN: CrossHair – SMT Assisted Testing for Python
#3Hey 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!
Re: Show HN: CrossHair – SMT Assisted Testing for Python
#4So this is Symbolic Execution based testing for Python?
Re: Show HN: CrossHair – SMT Assisted Testing for Python
#5Hey 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/
Can confirm that I would be happy to collaborate on this project, it looks really cool!
Re: Show HN: CrossHair – SMT Assisted Testing for Python
#6This looks really cool. Love to see z3 being used for tools.
Re: Show HN: CrossHair – SMT Assisted Testing for Python
#7Hey 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/
Can confirm that I would be happy to collaborate on this project, it looks really cool!
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!
Re: Show HN: CrossHair – SMT Assisted Testing for Python
#8So this is Symbolic Execution based testing for Python?
That's right! We pick different choose execution paths arbitrarily and accumulate constraints in an SMT solver as we go. It's implemented with special objects that look just like ints, strings, etc; this might help:
Re: Show HN: CrossHair – SMT Assisted Testing for Python
#9This looks really cool. Love to see z3 being used for tools.
Yes. Z3 is impressive. I intend to do a write-up of how I chose to model Python values in it soon.
Re: Show HN: CrossHair – SMT Assisted Testing for Python
#10Hi all! My primary objective with this post is to find potential collaborators and people willing to try it. (and file bugs!) If you do try it, I'd encourage you to think of it as an exercise in formally documenting your code's behavior, with the side benefit that CrossHair can sometimes help you ensure the correctness of that documentation. And, of course, feedback of any kind at all is honestly appreciated. Thanks…
This is a really minor nitpick that I am expressing to help you market this better. Instead of saying (defunct) PEP 316 just say inspired which communicates that you don’t do everything of pep 316 also .