Sortcheck: Tool for detecting violations of ordering axioms in qsort/bsearch cagithub.com/yugr2 pointstodsacerdoti2 years ago