Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/yugr/sortcheckxx
Tool for detecting violations of ordering axioms in STL comparators
https://github.com/yugr/sortcheckxx
dynamic-analysis program-analysis qsort
Last synced: about 5 hours ago
JSON representation
Tool for detecting violations of ordering axioms in STL comparators
- Host: GitHub
- URL: https://github.com/yugr/sortcheckxx
- Owner: yugr
- License: mit
- Created: 2022-01-24T03:08:29.000Z (almost 3 years ago)
- Default Branch: master
- Last Pushed: 2022-07-01T19:45:23.000Z (over 2 years ago)
- Last Synced: 2023-03-11T05:56:58.219Z (over 1 year ago)
- Topics: dynamic-analysis, program-analysis, qsort
- Language: C++
- Homepage:
- Size: 92.8 KB
- Stars: 10
- Watchers: 1
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
[](https://github.com/yugr/sortcheckxx/blob/master/LICENSE.txt)
[](https://github.com/yugr/sortcheckxx/actions)
[](https://codecov.io/gh/yugr/sortcheckxx)
[](https://lgtm.com/projects/g/yugr/sortcheckxx/alerts/)
[](https://scan.coverity.com/projects/yugr-sortcheckxx)
SortChecker++ verifies that comparators in C++ APIs like `std::sort` or `std::binary_search`
satisfy the [Strict Weak Ordering](https://medium.com/@shiansu/strict-weak-ordering-and-the-c-stl-f7dcfa4d4e07)
axioms.
Violation of these axioms is undefined behavior and may lead to all sorts of runtime
errors including [aborts](https://stackoverflow.com/questions/2441045/bewildering-segfault-involving-stl-sort-algorithm) (also [here](https://stackoverflow.com/questions/46670734/erratic-behavior-of-gccs-stdsort-with-lambdas), see [this answer](https://stackoverflow.com/a/24048654/2170527) for explanations).
SortChecker++ is an extension of [SortChecker](https://github.com/yugr/sortcheck) tool which does similar job to C sorting APIs.
The tool has been tested on LLVM 6.0 (Ubuntu 18.04), 10.0 (Ubuntu 20.04) and 14.0 (Ubuntu 22.04).
List of found issues:
* [Libosmium: Missing prepare\_for\_lookup in test\_members\_database.cpp](https://github.com/osmcode/libosmium/issues/351) (fixed)
* [ZeroC Ice: Unsorted array in lookupKwd](https://github.com/zeroc-ice/ice/issues/1362) (fixed)
* [GiNaC: Potential issue in comparator in test\_antipode](https://www.ginac.de/pipermail/ginac-list/2022-June/002390.html) (fixed)
* ArrayFire: Irreflexive comparator (already [fixed](https://github.com/arrayfire/arrayfire/commit/77181f1d9c860144554cd61e4de69b9dd82ccad9) in latest)
* Giac: Non-asymmetric comparator in polynome\_less (already [fixed](https://github.com/geogebra/giac/commit/efbde32d614aed9833903f93084f76bbf61cf418) in latest)
# How to build
To use, first install dependencies:
```
$ sudo apt install libclang-dev llvm-dev
```
and then build the tool
```
$ make clean all
```
# How to use
SortChecker works by instrumenting the input file, i.e. inserting additional checking code into it.
You can run it manually via
```
$ SortChecker file.cpp -- $CXXFLAGS
```
and then compile via
```
$ g++ file.cpp $CXXFLAGS -Ipath/to/sortcheck.h
```
You could also use compiler wrappers in `scripts/` folder to combine instrumentation and compilation:
```
$ PATH=path/to/scripts:$PATH make clean all
```
Instrumented program may be controlled with environment variables:
* `SORTCHECK_VERBOSE=N` - verbosity (`N` is an integer)
* `SORTCHECK_SYSLOG=1` - dump messages to syslog (in addition to stderr)
* `SORTCHECK_ABORT_ON_ERROR=1` - call `abort()` on detected error
* `SORTCHECK_EXIT_CODE=N` - call `exit(CODE)` on detected error (`N` is an integer)
* `SORTCHECK_OUTPUT=path/to/logfile` - write detected errors to file instead of stdout
* `SORTCHECK_CHECKS=mask` - set which checks are enabled via bitmask
(e.g. `mask=0xfffe` would disable the generally uninteresting irreflexivity checks)
# Interpreting the error messages
tbd