Analyzing a Specific Executable

git clone --recurse-submodules
apt-get install build-essential cmake m4 automake peg libtool autoconf
coderrect -e graph_race .

It is often the case that a build may generate more than one executables. By default, Coderrect only analyzes the first executable. If you would like to analyze a different executable, you can specific it via the command option -e <executable>.

coderrect -e graph_race .

In the above, “graph_race” is the name of the executable generated from a sample repository forked from RedisGraph:

This repository generates multiple executables, but not all of them contain races. “graph_race” is an artificial executable created to manifest some races in RedisGraph.

We have a detailed tutorial on detecting races in RedisGraph.