Analyzing a Specific Executable
git clone --recurse-submodules https://github.com/coderrect/RedisGraph.git
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: https://github.com/coderrect/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.