aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model-manager.cc
AgeCommit message (Expand)AuthorFilesLines
2024-06-07analyzer: eliminate cast_region::m_original_regionDavid Malcolm1-1/+1
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+1
2024-04-02analyzer: prevent ICEs with null typesDavid Malcolm1-0/+2
2024-03-18analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902,PR110928,...David Malcolm1-33/+129
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm1-1/+1
2024-02-20analyzer: handle array-initialization from a string_cst [PR113999]David Malcolm1-5/+30
2024-02-19analyzer: Fix maybe_undo_optimize_bit_field_compare vs non-scalar types [PR11...Andrew Pinski1-0/+3
2024-01-15analyzer: casting all zeroes should give all zeroes [PR113333]David Malcolm1-0/+6
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-11analyzer: Remove check of unsigned_char in maybe_undo_optimize_bit_field_comp...Andrew Pinski1-3/+0
2023-12-06analyzer: fix taint false positives with UNKNOWN [PR112850]David Malcolm1-0/+10
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm1-4/+6
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
generated by cgit v1.1 at 2024-10-20 03:41:55 +0000