aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2023-08-23Daily bump.GCC Administrator1-0/+99
2023-08-22analyzer: reimplement kf_strlen [PR105899]David Malcolm3-59/+29
2023-08-21analyzer: check format strings for null termination [PR105899]David Malcolm4-30/+137
2023-08-21analyzer: add kf_fopenDavid Malcolm1-0/+28
2023-08-21analyzer: replace -Wanalyzer-unterminated-string with scan_for_null_terminato...David Malcolm8-97/+484
2023-08-21analyzer: handle NULL inner context in region_model_context_decoratorDavid Malcolm2-29/+60
2023-08-21analyzer: add ability for context to add events to a saved_diagnosticDavid Malcolm6-3/+82
2023-08-21analyzer: convert note_adding_context to annotating_contextDavid Malcolm2-13/+13
2023-08-15Daily bump.GCC Administrator1-0/+10
2023-08-14analyzer: New option fanalyzer-show-events-in-system-headers [PR110543]benjamin priour3-0/+101
2023-08-12Daily bump.GCC Administrator1-0/+34
2023-08-11analyzer: new warning: -Wanalyzer-unterminated-string [PR105899]David Malcolm7-0/+208
2023-08-11analyzer: More features for CPython analyzer plugin [PR107646]Eric Feng4-5/+72
2023-08-10Daily bump.GCC Administrator1-0/+56
2023-08-09analyzer: remove default return value from region_model::on_call_preDavid Malcolm10-187/+218
2023-08-05Daily bump.GCC Administrator1-0/+44
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm9-27/+155
2023-08-04analyzer: fix some svalue::dump_to_pp implementationsDavid Malcolm1-7/+20
2023-08-04Daily bump.GCC Administrator1-0/+5
2023-08-03analyzer: fix ICE on zero-sized arrays [PR110882]David Malcolm1-1/+5
2023-08-03Daily bump.GCC Administrator1-0/+8
2023-08-02analyzer: stash values for CPython plugin [PR107646]Eric Feng2-0/+31
2023-07-27Daily bump.GCC Administrator1-0/+129
2023-07-26analyzer: add symbol base class, moving region id to there [PR104940]David Malcolm9-150/+262
2023-07-22Daily bump.GCC Administrator1-0/+18
2023-07-20analyzer: avoid usage of TYPE_PRECISION on vector types [PR110455]David Malcolm1-1/+2
2023-07-20analyzer/text-art: fix clang warnings [PR110433,PR110612]David Malcolm1-0/+1
2023-07-20analyzer: fix ICE on certain pointer subtractions [PR110387]David Malcolm1-5/+11
2023-07-20Daily bump.GCC Administrator1-0/+9
2023-07-19analyzer: fix ICE on division of tainted floating-point values [PR110700]David Malcolm2-0/+7
2023-06-30Daily bump.GCC Administrator1-0/+12
2023-06-30analyzer: Fix regression bug after r14-1632-g9589a46ddadc8b [PR110198]benjamin priour3-10/+13
2023-06-25Daily bump.GCC Administrator1-0/+5
2023-06-23text-art: remove explicit #include of C++ standard library headersDavid Malcolm2-0/+2
2023-06-23Daily bump.GCC Administrator1-0/+143
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm27-140/+3319
2023-06-11Daily bump.GCC Administrator1-0/+13
2023-06-10analyzer: Fix allocation size false positive on conjured svalue [PR109577]Tim Lange3-50/+162
2023-06-10Daily bump.GCC Administrator1-0/+19
2023-06-09analyzer: add caching to globals with initializers [PR110112]David Malcolm3-31/+79
2023-06-09Daily bump.GCC Administrator1-0/+11
2023-06-08analyzer: Standalone OOB-warning [PR109437, PR109439]Benjamin Priour3-21/+37
2023-06-03Daily bump.GCC Administrator1-0/+18
2023-06-02analyzer: implement various atomic builtins [PR109015]David Malcolm1-0/+355
2023-06-02analyzer: regions in different memory spaces can't aliasDavid Malcolm1-0/+12
2023-05-19Daily bump.GCC Administrator1-0/+9
2023-05-18analyzer: use _P() defines from tree.hBernhard Reutner-Fischer3-6/+6
2023-03-23Daily bump.GCC Administrator1-0/+11
2023-03-22analyzer: fix false +ves from -Wanalyzer-deref-before-check due to inlining [...David Malcolm3-4/+50
2023-03-19Daily bump.GCC Administrator1-0/+11