aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.cc
AgeCommit message (Expand)AuthorFilesLines
2024-06-18analyzer: Fix g++ 4.8 bootstrap without using std::move to return std::unique...Jonathan Wakely1-4/+4
2024-06-12pretty_printer: make all fields privateDavid Malcolm1-3/+3
2024-06-08analyzer: Restore g++ 4.8 bootstrap; use std::move to return std::unique_ptr.Roger Sayle1-2/+2
2024-06-07analyzer: add logging to get_representative_path_varDavid Malcolm1-25/+84
2024-06-07analyzer: eliminate cast_region::m_original_regionDavid Malcolm1-1/+1
2024-06-07analyzer: new warning: -Wanalyzer-undefined-behavior-ptrdiff (PR analyzer/105...David Malcolm1-0/+141
2024-06-01analyzer: detect -Wanalyzer-allocation-size at call stmts [PR106203]David Malcolm1-5/+79
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+78
2024-05-28selftests: split out make_fndecl from selftest.h to its own headerDavid Malcolm1-0/+1
2024-04-12analyzer: Bail out on function pointer for -Wanalyzer-allocation-sizeStefan Schulze Frielinghaus1-0/+4
2024-04-09Fix up duplicated words mostly in comments, part 2Jakub Jelinek1-1/+1
2024-04-02analyzer: prevent ICEs with null typesDavid Malcolm1-1/+2
2024-03-21analyzer: fix ignored constraints involving casts [PR113619]David Malcolm1-7/+17
2024-03-20Use integer_{zero,one}_node some moreJakub Jelinek1-14/+14
2024-03-19analyzer: fix ICE due to corrupt MEM_REFs [PR113505]Jakub Jelinek1-6/+10
2024-03-18analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902,PR110928,...David Malcolm1-1/+22
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
generated by cgit v1.1 at 2024-08-17 05:44:00 +0000