A fast and dirty checker which detects non-deterministic iteration e.g.

std::unordered_map<...> map;
for (auto [k, v] : map) {
  ...
}

std::map<Something *, ...> map;
for (auto [k, v] : map) {
  ...
}

Warnings are reported only if functions with predefined names (e.g. printf) are encountered in a loop.

CSA's PointerIteration does not report nondeterministic iteration neither over ordered containers of pointers, nor over unordered containers of non-pointers.

To build, install (on Debian/Ubuntu) llvm, libclang-dev and libpcre3-dev:

$ sudo apt-get install llvm libclang-dev libpcre3-dev

and run

$ make clean all

To build debug or sanitized versions run make with DEBUG=1, ASAN=1 or UBSAN=1.

Run bin/find-flaky on files you are interested in:

$ bin/find-flaky tests/3-unordered-map-notok.cc
find-flaky: warning: calling IO function 'printf' inside flaky loop

By default tool looks for most common IO functions (like printf) but you provide your own patterns:

$ cat patterns.txt
# A useful comment
my_debug_fun
# Another one
other_fun
$ bin/find-flaky --patterns patterns.txt ...

Custom compile flags (usually -D and -I) can be supplied with --cflags parameter and verbosity can be set with -v flag. For additional options run bin/find-flaky -h.

Build and then run

$ make test
Found no errors

• support other loop types