Skip to content

Commit

Permalink
feat(bb): add msan preset (#3284)
Browse files Browse the repository at this point in the history
Memory sanitizer preset. Currently complains about uninitialized memory
usage
  • Loading branch information
ludamad authored Nov 11, 2023
1 parent 3ba89cf commit bcf025c
Showing 1 changed file with 22 additions and 0 deletions.
22 changes: 22 additions & 0 deletions barretenberg/cpp/CMakePresets.json
Original file line number Diff line number Diff line change
Expand Up @@ -140,6 +140,23 @@
"LDFLAGS": "-fsanitize=thread"
}
},
{
"name": "msan",
"displayName": "Debugging build with memory sanitizer on Clang-16",
"description": "Build with thread sanitizer on clang16 with debugging information",
"inherits": "clang16-dbg",
"binaryDir": "build-msan",
"generator": "Unix Makefiles",
"environment": {
"CFLAGS": "-fsanitize=memory",
"CXXFLAGS": "-fsanitize=memory",
"LDFLAGS": "-fsanitize=memory"
},
"cacheVariables": {
"BENCHMARK": "OFF",
"TESTING": "OFF"
}
},
{
"name": "coverage",
"displayName": "Build with coverage",
Expand Down Expand Up @@ -309,6 +326,11 @@
"inherits": "clang16",
"configurePreset": "smt-verification"
},
{
"name": "msan",
"inherits": "default",
"configurePreset": "msan"
},
{
"name": "tsan",
"inherits": "default",
Expand Down

0 comments on commit bcf025c

Please sign in to comment.