mutation-core 0.5.0

Mutation testing tool for Bitcoin Core

Mutation Core

A mutation testing tool for Bitcoin Core.

"Mutation testing (or mutation analysis or program mutation) is used to design new software tests and evaluate the quality of existing software tests. Mutation testing involves modifying a program in small ways.[1] Each mutated version is called a mutant and tests detect and reject mutants by causing the behaviour of the original version to differ from the mutant. This is called killing the mutant. Test suites are measured by the percentage of mutants that they kill." (Wikipedia)

Features

• Allows generating mutants only for the code touched or added in a specific branch (useful to test PRs) and avoid spending time by generating mutants for files from bench/test/doc/etc folders.
• Allows generating mutants using only some security-based mutation operators. This might be good for testing fuzzing.
  • e.g:

      @@ -630,7 +630,7 @@ static void ApproximateBestSubset(FastRandomContext& insecure_rand, const std::v
                  {
                      nTotal += groups[i].GetSelectionAmount();
                      selected_coins_weight += groups[i].m_weight;
  -                   vfIncluded[i] = true;
  +                   vfIncluded[i + 100] = true;
                      if (nTotal >= nTargetValue && selected_coins_weight <= max_selection_weight) {
                          fReachedTarget = true;
                          // If the total is between nTargetValue and nBest, it's our new best
  

      @@ -560,7 +560,7 @@ util::Result<SelectionResult> SelectCoinsSRD(const std::vector<OutputGroup>& utx
  
          // Add group to selection
          heap.push(group);
  -        selected_eff_value += group.GetSelectionAmount();
  +        selected_eff_value += group.GetSelectionAmount() + std::numeric_limits<CAmount>::max();
          weight += group.m_weight;
  
          // If the selection weight exceeds the maximum allowed size, remove the least valuable inputs until we
  

      @@ -4194,7 +4194,7 @@ static bool ContextualCheckBlockHeader(const CBlockHeader& block, BlockValidatio
      }
  
      // Check timestamp against prev
  -    if (block.GetBlockTime() <= pindexPrev->GetMedianTimePast())
  +    if (block.GetBlockTime() <= std::numeric_limits<int64_t>::max())
          return state.Invalid(BlockValidationResult::BLOCK_INVALID_HEADER, "time-too-old", "block's timestamp is too early");
  
      // Testnet4 only: Check timestamp against prev for difficulty-adjustment
  

• Avoids creating useless mutants. (e.g. by skipping comments, LogPrintf statements...).
• Allows generating only one mutant per line of code (might be useful for CI/CD).
• Allows creating mutants for the functional and unit tests.
• Allows to create mutants only for code that is covered by tests.

...and, of course, there are some specific mutation operators designed for Bitcoin Core.

Installing

pip install mutation-core

How to use (simplest way)

cd bitcoin
git checkout branch # if needed - it can be your local working branch or some PR branch
mutation-core mutate
mutation-core analyze # set -j=N to setup a number of jobs to compile Bitcoin Core

How to use

Generate mutants for a specific file:

mutation-core mutate -f=path/to/file

Generate mutants for a specific PR (it will only create mutants for the touched code. You should run it into Bitcoin Core folder):

mutation-core mutate -p=PR_NUMBER

You can create a json file specifing the lines to skip creating mutants. e.g.:

{
  "path/to/file": [1, 2, 3],
  "path/to/file2": [10, 121, 8]
}

When creating mutants for file, it will skip lines 1, 2 and 3. To use this feature, you can use the flag -sl passing the path to the json file.

mutation-core mutate ... -sl=skip.json

Create only one mutant per line (if you want faster analysis):

mutation-core mutate -p=PR_NUMBER --one_mutant=1

If you want to create mutants only for unit or functional tests touched by a PR:

mutation-core mutate -p=PR_NUMBER --test_only=1

If you do not specify either a file or PR number, it will create mutants for the touched code by the current branch you are checked out. If the specified file is a Python one, it will create mutants considering it is a functional test.

You can specify a test coverage file (i.e. *.info) to create mutants only for code that is covered by tests.

mutation-core mutate -f=path/to/file -c=path/to/total_coverage.info

The mutate command will create folders with mutants (one folder per mutated file). To test them you can run:

mutation-core analyze -f=path/to/folder -c="command to test each mutant"

e.g.

mutation-core analyze -f=path/to/folder -c="cmake --build build && ./build/test/functional/foo123.py"

Or simply...

mutation-core analyze

By not specifying the command, the tool will test every mutant by running all the unit and functional tests. In case the mutated file is a test one, it will simply run that specific test.

Mutating unit and functional tests

Does it make sense? Yes! See: https://github.com/trailofbits/necessist/blob/master/docs/Necessist%20Mutation%202024.pdf

By removing some statements and method calls, we can check whether the test passes and identify buggy tests. In our case, we will not touch any wait_for, wait_until, send_and_ping, assert_*, BOOST_* and other verifications.

See an example of the usage of this tool for test/functional/p2p_compactblocks.py.

mutation-core mutate -f="./test/functional/p2p_compactblocks.py"

mutation-core analyze -f="muts" -c="./test/functional/p2p_compactblocks.py"

See some of the surviving mutants:

--- a/./test/functional/p2p_compactblocks.py
+++ b/muts/p2p_compactblocks.mutant.103.py
@@ -479,7 +479,7 @@ class CompactBlocksTest(BitcoinTestFramework):
         # Now try giving one transaction ahead of time.
         utxo = self.utxos.pop(0)
         block = self.build_block_with_transactions(node, utxo, 5)
-        self.utxos.append([block.vtx[-1].sha256, 0, block.vtx[-1].vout[0].nValue])
         test_node.send_and_ping(msg_tx(block.vtx[1]))
         assert block.vtx[1].hash in node.getrawmempool()

--- a/./test/functional/p2p_compactblocks.py
+++ b/muts/p2p_compactblocks.mutant.126.py
@@ -580,7 +580,7 @@ class CompactBlocksTest(BitcoinTestFramework):
             msg = msg_getblocktxn()
             msg.block_txn_request = BlockTransactionsRequest(int(block_hash, 16), [])
             num_to_request = random.randint(1, len(block.vtx))
-            msg.block_txn_request.from_absolute(sorted(random.sample(range(len(block.vtx)), num_to_request)))
             test_node.send_message(msg)
             test_node.wait_until(lambda: "blocktxn" in test_node.last_message, timeout=10)