klee

How does what you say square with the evidence that klee found a bug in OpenSSL which is about as real world as it gets?

Though I use both klee and AFL, this particular instance was found with blackbox randomized tests; using numbers with low transition probabilities.

The new Klee paper is a good read as well.

(Whitebox fuzzing tools like Klee or AFL, or branch coverage analysis, while good tools, seem to not be as effective for errors where the code completely omits a condition rather than having a wrong condition which was not exercised by tests.) In libsecp256k1 the field operations (nearest parallel, we don't use generic bignums) are augmented with proofs of correctness (e.g.

Its a funny algorithm: worst-case time complexity is exponential in the input size, and is pretty easy to demonstrate (see "Klee-Minty cube" on Wikipedia).

Though the question is one of the most deep open problems in the field, it isn't relevant at a lot of levels of study, and so it probably wouldn't ever become more cited than Klee.

I enjoy the Bauhaus school - Wassily Kandinsky, Laszlo Moholy-Nagy, Paul Klee, etc.

I also enjoy Gerhard Richter, Kandinsky, Chagall, and Klee.

Klee or AFL would be somewhat unlikely to find this particular problem because the error was an omitted branch, so they wouldn't know there was a case left to be satisfied.

Klee, EXE, Forensic, cbmc, BAP all mix symbolic analysis with SAT solvers into the C parse tree, and can come up with input to contradict the assertions.

Klee, Kandinsky, Escher, Kahlo, Riviera, Ethan Heidelbaugh, Steve Hemingway, Marcel Duchamp, Georgia O'Keefe, and whatshisname that I'm totally spacing out on right now but I'll remember later probably.

Its a funny algorithm: worst-case time complexity is exponential in the input size, and is pretty easy to demonstrate (see "Klee-Minty cube" on Wikipedia).

Though the question is one of the most deep open problems in the field, it isn't relevant at a lot of levels of study, and so it probably wouldn't ever become more cited than Klee.

I enjoy the Bauhaus school - Wassily Kandinsky, Laszlo Moholy-Nagy, Paul Klee, etc.

I also enjoy Gerhard Richter, Kandinsky, Chagall, and Klee.