Bugchecker.net – finds bugs in your binaries (symbolic execution)

[k4st]

As 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!

[wololo]

Thanks! If you have any advice, we are all ears.

[shard]

The About page talks about Klee, the program that Philip Guo talked about in his story about the trials of PhD life:

http://pgbovine.net/PhD-memoir-prologue.htm

[TrainedMonkey]

Just read about: http://bugchecker.net/about - apparently only x86-64 Linux executives. Which is still pretty awesome.

[wololo]

Thanks for reporting this, looking into it. The Windows support is fairly unstable right now. About page updated.

[dmix]

I would change on the website:

1) Upload binary 2) Receive Bugs

to:

1) Upload binary 2) Discover Bugs

[smtddr]

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

[letney]

The console app / bugchecker python script on this page: http://bugchecker.net/console

needs the BUGCHECKER_API_URL = 'http://localhost/api.php' changed to 'http://bugchecker.net/api.php' to work.

[wololo]

Very appreciated, fixing...

[nwmcsween]

Have you thought of using something besides uclibc? uclibc has all kinds of corner cases of non-conformity, musl would be a somewhat better alternative. Can this work on shared libraries as well if given a header?

[wololo]

* It doesn't use uclibc. The way it works is the guest program is a snapshot of the target program process after it has been linked with its shared libraries. Usually this means it's linked with glibc (but not necessarily -- cyanogenmod programs are linked with bionic).

* Shared libraries: yes, and it doesn't need a header. Not supported yet in the interface. It does need access to the function symbols though.