Show patches with: Series = analyzer: strlen, strcpy, and strcat [PR105899]       |    Archived = No       |   9 patches
Patch Series A/R/T S/W/F Date Submitter Delegate State
[9/9] analyzer: implement kf_strcat [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[8/9] analyzer: handle strlen(BITS_WITHIN) [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[7/9] analyzer: handle INIT_VAL(ELEMENT_REG(STRING_REG), CONSTANT_SVAL) [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[6/9] analyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[5/9] analyzer: reimplement kf_memcpy_memmove analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[4/9] analyzer: eliminate region_model::get_string_size [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[3/9] analyzer: reimplement kf_strcpy [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[2/9] analyzer: handle symbolic bindings in scan_for_null_terminator [PR105899] analyzer: strlen, strcpy, and strcat [PR105899] - - - -1- 2023-08-24 David Malcolm Unresolved
[1/9] analyzer: add logging to impl_path_context analyzer: strlen, strcpy, and strcat [PR105899] - - - 1-- 2023-08-24 David Malcolm Accepted