aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model-manager.cc
AgeCommit message (Expand)AuthorFilesLines
2023-08-24analyzer: handle INIT_VAL(ELEMENT_REG(STRING_REG), CONSTANT_SVAL) [PR105899]David Malcolm1-0/+19
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm1-0/+2
2023-07-26analyzer: add symbol base class, moving region id to there [PR104940]David Malcolm1-45/+55
2023-07-19analyzer: fix ICE on division of tainted floating-point values [PR110700]David Malcolm1-0/+1
2023-06-30analyzer: Fix regression bug after r14-1632-g9589a46ddadc8b [PR110198]benjamin priour1-2/+3
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-7/+25
2023-05-18analyzer: use _P() defines from tree.hBernhard Reutner-Fischer1-4/+4
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-12-08analyzer: fix ICE on region creation during get_referenced_base_regions [PR10...David Malcolm1-1/+1
2022-12-06analyzer: use __attribute__((nonnull)) at top level of analysis [PR106325]David Malcolm1-0/+11
2022-12-01analyzer: handle comparisons against negated symbolic values [PR107948]David Malcolm1-0/+3
2022-11-29analyzer: fix folding of '(PTR + 0) => PTR' [PR105784]David Malcolm1-4/+4
2022-11-23analyzer: revamp of heap-allocated regions [PR106473]David Malcolm1-2/+13
2022-11-07analyzer: start adding support for errnoDavid Malcolm1-0/+2
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-05analyzer: simplify some includesDavid Malcolm1-7/+0
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+27
2022-10-04analyzer: fold -(-(VAL)) to VALDavid Malcolm1-0/+11
2022-10-04analyzer: widening_svalues take a function_point rather than a program_pointDavid Malcolm1-4/+5
2022-09-09analyzer: add support for plugin-supplied known function behaviorsDavid Malcolm1-1/+2
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm1-0/+3
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-0/+20
2022-05-11analyzer: fix memory leaksDavid Malcolm1-3/+11
2022-04-09analyzer: fix folding of regions involving unknown ptrs [PR103892]David Malcolm1-6/+31
2022-03-29analyzer: skip constant pool in -fdump-analyzer-untracked [PR testsuite/105085]David Malcolm1-0/+7
2022-03-28analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm1-3/+24
2022-03-24analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm1-0/+41
2022-02-23analyzer: handle __attribute__((const)) [PR104434]David Malcolm1-0/+28
2022-02-15analyzer: fix ICE on cast to NULL type [PR104524]David Malcolm1-2/+3
2022-02-10analyzer: handle more casts of string literals [PR98797]David Malcolm1-6/+13
2022-02-02analyzer: implement bit_range_regionDavid Malcolm1-0/+20
2022-01-27analyzer: fix -Wformat warnings on i686Martin Liska1-2/+2
2022-01-22analyzer: fix ICE on vector casts [PR104159]David Malcolm1-0/+11
2022-01-18analyzer: fix ICE on unary ops folding to casts of constants [PR104089]David Malcolm1-1/+18
2022-01-18analyzer: fix ICE on realloc of zeroed memory [PR104062]David Malcolm1-1/+2
2022-01-11analyzer: fix false +ve on bitwise binops (PR analyzer/102692)David Malcolm1-2/+53
2022-01-07analyzer: add logging of aliasingDavid Malcolm1-2/+3
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-16analyzer: fix missing -Wanalyzer-write-to-const [PR102695]David Malcolm1-0/+7
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm1-1/+6
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+48
2021-07-22analyzer: fix feasibility false +ve with overly complex svaluesDavid Malcolm1-0/+4
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm1-8/+20
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+4
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-6/+307
2021-06-18analyzer: add region_model_manager::get_or_create_int_cstDavid Malcolm1-2/+12
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm1-35/+59
2021-06-08analyzer: bitfield fixes [PR99212]David Malcolm1-3/+43
2021-02-01analyzer: fix false positives with *UNKNOWN_PTR [PR98918]David Malcolm1-0/+13
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
generated by cgit v1.1 at 2025-01-04 01:00:06 +0000