Edit pass for i18n, grammar, and style

3836425+corob-msft@users.noreply.github.com · 3836425+corob-msft@users.noreply.github.com · commit e75d19bdcd69 · 2021-09-15T05:58:01.000-07:00
diff --git a/docs/build/reference/fsanitize-coverage.md b/docs/build/reference/fsanitize-coverage.md
@@ -7,9 +7,7 @@ helpviewer_keywords: ["/fsanitize-coverage [C++]", "sanitizer compiler option [C
 ---
 # `/fsanitize-coverage` (Configure Sanitizer Coverage)
 
-The **`/fsanitize-coverage`** compiler options instruct the compiler to add various instrumentation points where user-defined functions are called. These options are primarily useful for fuzzing scenarios with **`/fsanitize=fuzzer`**. See the OneFuzz [documentation page](https://www.microsoft.com/en-us/research/project/project-onefuzz/) and [GitHub project](https://github.com/microsoft/onefuzz) for more information.
-
-As of Visual Studio 2022 17.0, the follow options have experimental support: **`/fsanitize-coverage=edge`**, **`/fsanitize-coverage=inline-8bit-counters`**, **`/fsanitize-coverage=trace-cmp`**, **`/fsanitize-coverage=trace-div`**. 
+The **`/fsanitize-coverage`** compiler options instruct the compiler to add various kinds of instrumentation points where user-defined functions are called. These options are useful for fuzzing scenarios that use **`/fsanitize=fuzzer`**. For more information, see the [OneFuzz documentation](https://www.microsoft.com/en-us/research/project/project-onefuzz/) and [OneFuzz GitHub project](https://github.com/microsoft/onefuzz).
 
 ## Syntax
 
@@ -24,13 +22,31 @@ As of Visual Studio 2022 17.0, the follow options have experimental support: **`
 
 ## Remarks
 
-The **`/fsanitize-coverage`** compiler options offer code coverage support and various options to modify which compiler-provided instrumentation is generated. Currently, all the options available are also ones that are automatically set when using [**`/fsanitize=fuzzer`**](fsanitize.md), which requires the instrumentation points and callbacks mentioned in these options. You do not need to provide the callbacks mentioned below when using **`/fsanitize=fuzzer`**. 
+In Visual Studio 2022 version 17.0, the following options have experimental support:
+
+- **`/fsanitize-coverage=edge`**,
+- **`/fsanitize-coverage=inline-8bit-counters`**,
+- **`/fsanitize-coverage=trace-cmp`**,
+- **`/fsanitize-coverage=trace-div`**.
+
+The **`/fsanitize-coverage`** compiler options offer code coverage support and various options to modify which compiler-provided instrumentation is generated. All these options are automatically set when [`/fsanitize=fuzzer`](fsanitize.md) is specified. The **`/fsanitize=fuzzer`** option requires the same instrumentation points and callbacks mentioned in these options. You don't need to provide the callbacks mentioned below when using **`/fsanitize=fuzzer`**.
+
+The **`/fsanitize-coverage`** option doesn't allow comma-separated syntax, for example: **`/fsanitize-coverage=edge,inline-8bit-counters,trace-cmp,trace-div`**. Specify these options individually.
+
+The **`/fsanitize-coverage`** options are available beginning in Visual Studio 2022 version 17.0.
+
+### Code coverage
+
+The **`/fsanitize-coverage=edge`** compiler option enables code coverage instrumentation along all non-redundant edges. Use **`/fno-sanitize-coverage=edge`** to disable this option if it's already provided or implied by another option.
 
-The **`/fsanitize-coverage=edge`** compiler option enables code coverage instrumentation along all non-redundant edges. Use **`/fno-sanitize-coverage=edge`** to disable this option if it has already been provided or implied by another option.
+### Inline counters
 
-The **`/fsanitize-coverage=inline-8bit-counters`** compiler option instructs the compiler to add an inline counter increment on every relevant edge. This option will also add a call to `extern "C" void __sanitizer_cov_8bit_counters_init(uint8_t *start, uint8_t *stop)` that will need to be implemented. The arguments correspond to the start and end of an array containing all the 8-bit counters created. Use **`/fno-sanitize-coverage=inline-8bit-counters`** to disable this option if it has been already provided or implied by another option.
+The **`/fsanitize-coverage=inline-8bit-counters`** compiler option instructs the compiler to add an inline counter increment on every relevant edge. This option also adds a call to `extern "C" void __sanitizer_cov_8bit_counters_init(uint8_t *start, uint8_t *stop)` that you must implement. The arguments correspond to the start and end of an array that contains all the 8-bit counters created. Use **`/fno-sanitize-coverage=inline-8bit-counters`** to disable this option if it's already provided or implied by another option.
+
+### Trace comparisons
 
 The **`/fsanitize-coverage=trace-cmp`** compiler option instructs the compiler to insert calls to the following functions:
+
 ```C
 // Before each comparison instruction of the stated size.
 void __sanitizer_cov_trace_cmp1(uint8_t Arg1, uint8_t Arg2);
@@ -44,33 +60,34 @@ void __sanitizer_cov_trace_const_cmp2(uint16_t Arg1, uint16_t Arg2);
 void __sanitizer_cov_trace_const_cmp4(uint32_t Arg1, uint32_t Arg2);
 void __sanitizer_cov_trace_const_cmp8(uint64_t Arg1, uint64_t Arg2);
 ```
-Use **`/fno-sanitize-coverage=trace-cmp`** to disable this option if it has been already provided or implied by another option.
+
+Use **`/fno-sanitize-coverage=trace-cmp`** to disable this option if it's already provided or implied by another option.
+
+### Trace divisions
 
 The **`/fsanitize-coverage=trace-div`** compiler option instructs the compiler to insert calls to the following functions:
+
 ```C
 // Before a division instruction of the stated size.
 void __sanitizer_cov_trace_div4(uint32_t Val);
 void __sanitizer_cov_trace_div8(uint64_t Val);
 ```
-Use **`/fno-sanitize-coverage=trace-div`** to disable this option if it has been already provided or implied by another option.
-
-Currently, **`/fsanitize-coverage=`** does not allow comma-separated syntax, for example: **`/fsanitize-coverage=edge,inline-8bit-counters,trace-cmp,trace-div`**. These options must be provided individually.
 
-The **`/fsanitize-coverage`** options are available beginning in Visual Studio 2022.
+Use **`/fno-sanitize-coverage=trace-div`** to disable this option if it's already provided or implied by another option.
 
 ### To set the advanced compiler options
 
 1. Open your project's **Property Pages** dialog box.
 
 1. Select the **Configuration Properties** > **C/C++** > **Command Line** property page.
 
-1. Modify the **Additional Options** property to set **/fsanitize-coverage=\<option\>**.
+1. Modify the **Additional Options** property to set **/fsanitize-coverage** options.
 
 1. Choose **OK** or **Apply** to save your changes.
 
 ## See also
 
 [MSVC compiler options](compiler-options.md)\
 [MSVC compiler command-line syntax](compiler-command-line-syntax.md)\
-[`/fsanitize` (Enable Sanitizers) compiler option](fsanitize.md)\
+[`/fsanitize` (Enable Sanitizers)](fsanitize.md)\
 [AddressSanitizer build and language reference](../../sanitizers/asan-building.md)
diff --git a/docs/build/reference/fsanitize.md b/docs/build/reference/fsanitize.md
@@ -7,7 +7,7 @@ helpviewer_keywords: ["/fsanitize [C++]", "-fsanitize=address [C++]", "address s
 ---
 # `/fsanitize` (Enable sanitizers)
 
-Use the **`/fsanitize`** compiler options to enable sanitizers. As of Visual Studio 2019 16.9, the only supported sanitizer is [AddressSanitizer](../../sanitizers/asan.md). As of Visual Studio 2022 17.0, LibFuzzer has experimental support.
+Use the **`/fsanitize`** compiler options to enable sanitizers.
 
 ## Syntax
 
@@ -18,16 +18,14 @@ Use the **`/fsanitize`** compiler options to enable sanitizers. As of Visual Stu
 
 ## Remarks
 
-The **`/fsanitize=address`** compiler option enables [AddressSanitizer](../../sanitizers/asan.md), a powerful compiler and runtime technology to light up [hard-to-find bugs](../../sanitizers/asan.md#error-types).
+The **`/fsanitize=address`** compiler option enables [AddressSanitizer](../../sanitizers/asan.md), a powerful compiler and runtime technology to uncover [hard-to-find bugs](../../sanitizers/asan.md#error-types). The option is available starting in Visual Studio 2019 version 16.9.
 
-The **`/fsanitize=fuzzer`** compiler option enables LibFuzzer (experimental), a coverage-guided fuzzing library that can be used to find bugs and crashes caused by user-provided input. It is recommended to use **`/fsanitize=address`** alongside LibFuzzer. See the OneFuzz [documentation page](https://www.microsoft.com/en-us/research/project/project-onefuzz/) and [GitHub project](https://github.com/microsoft/onefuzz) for more information.
+The **`/fsanitize=fuzzer`** compiler option enables experimental support for LibFuzzer. LibFuzzer is a coverage-guided fuzzing library that can be used to find bugs and crashes caused by user-provided input. We recommended you use **`/fsanitize=address`** with LibFuzzer. For more information, see the [OneFuzz documentation](https://www.microsoft.com/en-us/research/project/project-onefuzz/) and [OneFuzz GitHub project](https://github.com/microsoft/onefuzz). Support for the **`/fsanitize=fuzzer`** option is available starting in Visual Studio 2022 version 17.0.
 
-Currently, **`/fsanitize=`** does not allow comma-separated syntax, for example: **`/fsanitize=address,fuzzer`**. These options must be provided individually.
+The **`/fsanitize`** option doesn't allow comma-separated syntax, for example: **`/fsanitize=address,fuzzer`**. These options must be specified individually.
 
 The **`/fsanitize-address-use-after-return`** and **`/fno-sanitize-address-vcasan-lib`** compiler options, and the [`/INFERASANLIBS` (Use inferred sanitizer libs)](./inferasanlibs.md) and **`/INFERASANLIBS:NO`** linker options offer support for advanced users. For more information, see [AddressSanitizer build and language reference](../../sanitizers/asan-building.md).
 
-The **`/fsanitize`** options are available beginning in Visual Studio 2019 version 16.9.
-
 ### To set the **`/fsanitize=address`** compiler option in the Visual Studio development environment
 
 1. Open your project's **Property Pages** dialog box.
@@ -67,7 +65,7 @@ The **`/fsanitize`** options are available beginning in Visual Studio 2019 versi
 [MSVC compiler options](compiler-options.md)\
 [MSVC compiler command-line syntax](compiler-command-line-syntax.md)\
 [`/INFERASANLIBS` (Use inferred sanitizer libs)](./inferasanlibs.md)\
-[`/fsanitize-coverage` (Configure Sanitizer Coverage) compiler option](fsanitize-coverage.md)\
+[`/fsanitize-coverage` (Configure Sanitizer Coverage)](fsanitize-coverage.md)\
 [AddressSanitizer overview](../../sanitizers/asan.md)\
 [AddressSanitizer known issues](../../sanitizers/asan-known-issues.md)\
 [AddressSanitizer build and language reference](../../sanitizers/asan-building.md)
diff --git a/docs/sanitizers/asan-building.md b/docs/sanitizers/asan-building.md
@@ -1,7 +1,7 @@
 ---
 title: "AddressSanitizer language, build, and debugging reference"
 description: "Technical description of building for the AddressSanitizer"
-ms.date: 03/02/2021
+ms.date: 09/15/2021
 f1_keywords: ["__SANITIZE_ADDRESS__", "ASAN_VCASAN_DEBUGGING"]
 helpviewer_keywords: ["ASan reference", "AddressSanitizer reference", "Address Sanitizer reference"]
 ---
@@ -56,17 +56,24 @@ void test3() {
 
 ### `/fsanitize=address` compiler option
 
-The [**`/fsanitize=address`**](../build/reference/fsanitize.md) compiler option instruments memory references in your code to catch memory safety errors at runtime. The instrumentation hooks loads, stores, scopes, alloca, and CRT functions. It can detect hidden bugs such as out-of-bounds, use-after-free, use-after-scope, and so on. For a non-exhaustive list of errors detected at runtime, see [AddressSanitizer error examples](./asan-error-examples.md).
+The [**`/fsanitize=address`**](../build/reference/fsanitize.md) compiler option instruments memory references in your code to catch memory safety errors at runtime. The instrumentation hooks loads, stores, scopes, `alloca`, and CRT functions. It can detect hidden bugs such as out-of-bounds, use-after-free, use-after-scope, and so on. For a non-exhaustive list of errors detected at runtime, see [AddressSanitizer error examples](./asan-error-examples.md).
 
 **`/fsanitize=address`** is compatible with all existing C++ or C optimization levels (for example, **`/Od`**, **`/O1`**, **`/O2`**, **`/O2 /GL`**, and profile guided optimization). The code produced with this option works with static and dynamic CRTs (for example, **`/MD`**, **`/MDd`**, **`/MT`**, and **`/MTd`**). This compiler option can be used to create an .EXE or .DLL targeting x86 or x64. Debug information is required for optimal formatting of call stacks.
 
 For examples of code that demonstrates several kinds of error detection, see [AddressSanitizer error examples](asan-error-examples.md).
 
 ### `/fsanitize=fuzzer` compiler option (experimental)
 
-The [**`/fsanitize=fuzzer`**](../build/reference/fsanitize.md) compiler option will add LibFuzzer to the default library list, as well as also set the following sanitizer coverage options: [edge instrumentation points (**`/fsanitize-coverage=edge`**)](../build/reference/fsanitize-coverage.md), [inline 8-bit counters (**`/fsanitize-coverage=inline-8bit-counters`**)](../build/reference/fsanitize-coverage.md), and extra instrumentation around [comparisons (**`/fsanitize-coverage=trace-cmp`**)](../build/reference/fsanitize-coverage.md) and [integer divisions (**`/fsanitize-coverage=trace-div`**)](../build/reference/fsanitize-coverage.md). It is recommended to use **`/fsanitize=address`** alongside **`/fsanitize=fuzzer`**.
+The [`/fsanitize=fuzzer`](../build/reference/fsanitize.md) compiler option adds LibFuzzer to the default library list. It also sets the following sanitizer coverage options:
 
-Here are the libraries added to the default library list when specifying **`/fsanitize=fuzzer`**:
+- [Edge instrumentation points (**`/fsanitize-coverage=edge`**)](../build/reference/fsanitize-coverage.md),
+- [inline 8-bit counters (**`/fsanitize-coverage=inline-8bit-counters`**)](../build/reference/fsanitize-coverage.md),
+- [comparisons (**`/fsanitize-coverage=trace-cmp`**)](../build/reference/fsanitize-coverage.md), and
+- [integer divisions (**`/fsanitize-coverage=trace-div`**)](../build/reference/fsanitize-coverage.md).
+
+We recommend you use **`/fsanitize=address`** with **`/fsanitize=fuzzer`**.
+
+These libraries are added to the default library list when you specify **`/fsanitize=fuzzer`**:
 
 | Runtime option | LibFuzzer library |
 |--|--|
@@ -75,7 +82,7 @@ Here are the libraries added to the default library list when specifying **`/fsa
 | **`/MTd`** | *`clang_rt.fuzzer_MTd-{arch}`* |
 | **`/MDd`** | *`clang_rt.fuzzer_MDd-{arch}`* |
 
-There is also a version of the LibFuzzer libraries that omit the **`main`** function, leaving the responsibility to define **`main`** and call **`LLVMFuzzerInitialize`** and **`LLVMFuzzerTestOneInput`** to the user. You will need to use [**`/NODEFAULTLIB`**](../build/reference/nodefaultlib-ignore-libraries.md) to ensure the libraries listed above are not included and link with one of the libraries listed below instead:
+LibFuzzer libraries that omit the **`main`** function are also available. It's your responsibility to define **`main`** and to call **`LLVMFuzzerInitialize`** and **`LLVMFuzzerTestOneInput`** when you use these libraries. Use [`/NODEFAULTLIB`](../build/reference/nodefaultlib-ignore-libraries.md) to link with one of the libraries listed below:
 
 | Runtime option | LibFuzzer no_main library |
 |--|--|
