Show patches with: Submitter = Tim Lange       |   17 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[2/2] testsuite: Add more allocation size tests for conjured svalues [PR110014] [1/2] analyzer: Fix allocation size false positive on conjured svalue [PR109577] - - - 1-- 2023-06-09 Tim Lange Accepted
[1/2] analyzer: Fix allocation size false positive on conjured svalue [PR109577] [1/2] analyzer: Fix allocation size false positive on conjured svalue [PR109577] - - - 1-- 2023-06-09 Tim Lange Accepted
analyzer: consider empty ranges and zero byte accesses [PR106845] analyzer: consider empty ranges and zero byte accesses [PR106845] - - - --- 2022-09-10 Tim Lange New
[v2] analyzer: support for symbolic values in the out-of-bounds checker [PR106625] [v2] analyzer: support for symbolic values in the out-of-bounds checker [PR106625] - - - --- 2022-09-07 Tim Lange New
[WIP?] analyzer: support for symbolic values in the out-of-bounds checker [PR106625] [WIP?] analyzer: support for symbolic values in the out-of-bounds checker [PR106625] - - - --- 2022-09-05 Tim Lange New
[2/2,v2] analyzer: strcpy semantics Untitled series #829 - - - --- 2022-09-04 Tim Lange New
[2/2] analyzer: strcpy and strncpy semantics [1/2] analyzer: return a concrete offset for cast_regions - - - --- 2022-09-02 Tim Lange New
[1/2] analyzer: return a concrete offset for cast_regions [1/2] analyzer: return a concrete offset for cast_regions - - - --- 2022-09-02 Tim Lange New
analyzer: buffer overlap checker [PR105898] analyzer: buffer overlap checker [PR105898] - - - --- 2022-08-22 Tim Lange New
[v2] analyzer: warn on the use of floating-points operands in the size argument [PR106181] [v2] analyzer: warn on the use of floating-points operands in the size argument [PR106181] - - - --- 2022-08-18 Tim Lange New
analyzer: warn on the use of floating points in the size argument [PR106181] analyzer: warn on the use of floating points in the size argument [PR106181] - - - --- 2022-08-15 Tim Lange New
[committed] testsuite: Disable out-of-bounds checker in analyzer/torture/pr93451.c [committed] testsuite: Disable out-of-bounds checker in analyzer/torture/pr93451.c - - - --- 2022-08-13 Tim Lange New
[2/2,v2] analyzer: out-of-bounds checker [PR106000] [1/2,v2] analyzer: consider that realloc could shrink the buffer [PR106539] - - - --- 2022-08-11 Tim Lange New
[1/2,v2] analyzer: consider that realloc could shrink the buffer [PR106539] [1/2,v2] analyzer: consider that realloc could shrink the buffer [PR106539] - - - --- 2022-08-11 Tim Lange New
[2/2] analyzer: out-of-bounds checker [PR106000] [1/2] analyzer: consider that realloc could shrink the buffer [PR106539] - - - --- 2022-08-09 Tim Lange New
[1/2] analyzer: consider that realloc could shrink the buffer [PR106539] [1/2] analyzer: consider that realloc could shrink the buffer [PR106539] - - - --- 2022-08-09 Tim Lange New
Fix handling of zero capacity regions in -Wanalyzer-allocation-size [PR106394] Fix handling of zero capacity regions in -Wanalyzer-allocation-size [PR106394] - - - --- 2022-07-22 Tim Lange New