mirror of
https://github.com/nlohmann/json.git
synced 2026-10-18 20:18:12 +00:00
Niels Lohmann
f8895c72a9
Infer's std::unique_ptr model confuses the values that the test's build() helper returns by value and reports USE_AFTER_DELETE for one of them after the destructor of an unrelated temporary (ci_infer, 12 reports, all in tests/src/unit-json_view_builder.cpp). AddressSanitizer is clean on the same tests. Signed-off-by: Niels Lohmann <mail@nlohmann.me>
19 lines
1.6 KiB
Plaintext
19 lines
1.6 KiB
Plaintext
{
|
|
"_comment": "Used by the ci_infer CMake target (#5715 item 4b). fail-on-issue makes CI fail on Infer findings; disable-issue-type is a type-level baseline for the ~174 pre-existing findings (all PULSE_UNNECESSARY_COPY*/PULSE_RESOURCE_LEAK/PULSE_CONST_REFABLE, mostly in test code) triaged in run https://github.com/nlohmann/json/actions/runs/35829411620 on commit 1054b2097, so CI fails only on a NEW issue type. Remove an entry here once its findings have been fixed or explicitly accepted.",
|
|
"_comment_pulse": "Pulse stops exploring paths after pulse-max-disjuncts (default 20). With the default, basic_json::replace_value() (destroy + assert_invariant) exceeds the limit, Pulse loses the stored type, and reports false NULLPTR_DEREFERENCE findings for get_ptr() results in tests/src/unit-pointer_access.cpp.",
|
|
"_comment_view": "Infer's model of std::unique_ptr mixes up the `built` values that the helper build() in tests/src/unit-json_view_builder.cpp returns by value: it reports USE_AFTER_DELETE for one result after the destructor of an unrelated temporary (e.g. ~built() on line 345 invalidating `shallow` on line 350). AddressSanitizer is clean on the same tests, so reports for that test file are excluded; findings in the library headers it includes are still reported.",
|
|
"pulse-max-disjuncts": 40,
|
|
"fail-on-issue": true,
|
|
"disable-issue-type": [
|
|
"PULSE_UNNECESSARY_COPY_ASSIGNMENT",
|
|
"PULSE_UNNECESSARY_COPY",
|
|
"PULSE_UNNECESSARY_COPY_INTERMEDIATE",
|
|
"PULSE_UNNECESSARY_COPY_OPTIONAL",
|
|
"PULSE_RESOURCE_LEAK",
|
|
"PULSE_CONST_REFABLE"
|
|
],
|
|
"report-block-list-path-regex": [
|
|
"tests/src/unit-json_view_builder\\.cpp"
|
|
]
|
|
}
|