sortcheck: Tool for detecting violations of ordering axioms in qsort/bsearch callbacks (via matthew2) — discussion

#c #security