aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.cc
AgeCommit message (Expand)AuthorFilesLines
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm1-20/+22
2024-02-20analyzer: handle array-initialization from a string_cst [PR113999]David Malcolm1-1/+16
2024-01-31analyzer: fix skipping of debug stmts [PR113253]David Malcolm1-0/+5
2024-01-30analyzer: fix -Wanalyzer-allocation-size false +ve on Linux kernel's round_up...David Malcolm1-2/+73
2024-01-30analyzer: add SARIF property bag to -Wanalyzer-allocation-sizeDavid Malcolm1-10/+21
2024-01-18analyzer: fix ICE on strlen ((char *)&VECTOR_CST) [PR111361]David Malcolm1-1/+8
2024-01-18analyzer: fix offsets in has_null_terminator [PR112811]David Malcolm1-134/+297
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-16analyzer: add sarif properties for bounds checking diagnosticsDavid Malcolm1-0/+41
2023-12-08analyzer: fix ICE on infoleak with poisoned sizeDavid Malcolm1-13/+24
2023-12-07analyzer: deal with -fshort-enumsAlexandre Oliva1-4/+23
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm1-66/+57
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm1-2/+5
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm1-5/+72
2023-11-02analyzer: fix clang warnings [PR112317]David Malcolm1-16/+5
2023-10-31analyzer: move class record_layout to its own .h/.ccDavid Malcolm1-131/+1
2023-10-26Add attribute((null_terminated_string_arg(PARAM_IDX)))David Malcolm1-22/+158
2023-09-15analyzer: handle volatile opsDavid Malcolm1-0/+11
2023-09-14analyzer: use unique_ptr for rejected_constraintDavid Malcolm1-16/+19
2023-09-09analyzer: Move gcc.dg/analyzer tests to c-c++-common (2) [PR96395]benjamin priour1-0/+4
2023-09-07analyzer: basic support for computed gotos (PR analyzer/110529)David Malcolm1-1/+38
2023-09-06analyzer: implement kf_strncpy [PR105899]David Malcolm1-0/+2
2023-09-06analyzer: add ctxt to fill_region/zero_fill_regionDavid Malcolm1-5/+14
2023-09-01analyzer: Add support of placement new and improved operator new [PR105948,PR...benjamin priour1-0/+36
2023-08-30analyzer: implement reference count checking for CPython plugin [PR107646]Eric Feng1-0/+4
2023-08-30Analyzer: include algorithm headerFrancois-Xavier Coudert1-0/+1
2023-08-27analyzer: Move gcc.dg/analyzer tests to c-c++-common (1) [PR96395]benjamin priour1-0/+56
2023-08-24analyzer: implement kf_strcat [PR105899]David Malcolm1-7/+56
2023-08-24analyzer: handle strlen(BITS_WITHIN) [PR105899]David Malcolm1-1/+20
2023-08-24analyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899]David Malcolm1-21/+47
2023-08-24analyzer: reimplement kf_memcpy_memmoveDavid Malcolm1-0/+35
2023-08-24analyzer: eliminate region_model::get_string_size [PR105899]David Malcolm1-29/+0
2023-08-24analyzer: reimplement kf_strcpy [PR105899]David Malcolm1-5/+27
2023-08-24analyzer: handle symbolic bindings in scan_for_null_terminator [PR105899]David Malcolm1-0/+15
2023-08-21analyzer: check format strings for null termination [PR105899]David Malcolm1-30/+95
2023-08-21analyzer: replace -Wanalyzer-unterminated-string with scan_for_null_terminato...David Malcolm1-85/+436
2023-08-21analyzer: handle NULL inner context in region_model_context_decoratorDavid Malcolm1-1/+2
2023-08-21analyzer: add ability for context to add events to a saved_diagnosticDavid Malcolm1-0/+13
2023-08-21analyzer: convert note_adding_context to annotating_contextDavid Malcolm1-6/+6
2023-08-11analyzer: new warning: -Wanalyzer-unterminated-string [PR105899]David Malcolm1-0/+163
2023-08-11analyzer: More features for CPython analyzer plugin [PR107646]Eric Feng1-2/+15
2023-08-09analyzer: remove default return value from region_model::on_call_preDavid Malcolm1-146/+10
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm1-17/+92
2023-07-26analyzer: add symbol base class, moving region id to there [PR104940]David Malcolm1-7/+14
2023-07-20analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455]David Malcolm1-1/+2
2023-06-30analyzer: Fix regression bug after r14-1632-g9589a46ddadc8b [PR110198]benjamin priour1-7/+8
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-17/+35
2023-06-10analyzer: Fix allocation size false positive on conjured svalue [PR109577]Tim Lange1-50/+30
2023-06-09analyzer: add caching to globals with initializers [PR110112]David Malcolm1-24/+1
2023-06-08analyzer: Standalone OOB-warning [PR109437, PR109439]Benjamin Priour1-8/+14
generated by cgit v1.1 at 2025-08-05 00:48:29 +0000