Bugchecker.net – finds bugs in your binaries (symbolic execution)
1–10 of 16 posts
Re: Bugchecker.net – finds bugs in your binaries (symbolic execution)
#2Just read about: http://bugchecker.net/about - apparently only x86-64 Linux executives. Which is still pretty awesome.
Re: Bugchecker.net – finds bugs in your binaries (symbolic execution)
#3As someone that does dynamic binary translation for kernel modules (to find bugs) and eventually wants to get into symbolic/concolic execution (to find bugs), this is cool. I would be really pleased if they're able to make a successful business out of this!
Re: Bugchecker.net – finds bugs in your binaries (symbolic execution)
#4Just read about: http://bugchecker.net/about - apparently only x86-64 Linux executives. Which is still pretty awesome.
Thanks for reporting this, looking into it. The Windows support is fairly unstable right now. About page updated.
Re: Bugchecker.net – finds bugs in your binaries (symbolic execution)
#5As someone that does dynamic binary translation for kernel modules (to find bugs) and eventually wants to get into symbolic/concolic execution (to find bugs), this is cool. I would be really pleased if they're able to make a successful business out of this!
Thanks! If you have any advice, we are all ears.
Re: Bugchecker.net – finds bugs in your binaries (symbolic execution)
#6I would change on the website:
1) Upload binary 2) Receive Bugs
to:
1) Upload binary 2) Discover Bugs
Re: Bugchecker.net – finds bugs in your binaries (symbolic execution)
#7I would change on the website: 1) Upload binary 2) Receive Bugs to: 1) Upload binary 2) Discover Bugs
Looking at the picture, I'm pretty sure it's intentionally worded that way. A spin on "Push Button, Receive Bacon".
Re: Bugchecker.net – finds bugs in your binaries (symbolic execution)
#8I would change on the website: 1) Upload binary 2) Receive Bugs to: 1) Upload binary 2) Discover Bugs
Looking at the picture, I'm pretty sure it's intentionally worded that way. A spin on "Push Button, Receive Bacon". http://knowyourmeme.com/memes/push-button-receive-bacon
Ah, wasn't aware of that meme. I'd still go "Strunk & White" and keep it concrete rather than clever when writing for a business.
Re: Bugchecker.net – finds bugs in your binaries (symbolic execution)
#9The About page talks about Klee, the program that Philip Guo talked about in his story about the trials of PhD life:
Re: Bugchecker.net – finds bugs in your binaries (symbolic execution)
#10Earlier quoted context omitted.
Looking at the picture, I'm pretty sure it's intentionally worded that way. A spin on "Push Button, Receive Bacon". http://knowyourmeme.com/memes/push-button-receive-bacon
Ah, wasn't aware of that meme. I'd still go "Strunk & White" and keep it concrete rather than clever when writing for a business.
Done.