aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2024-05-29Daily bump.GCC Administrator1-0/+4
2024-05-28selftests: split out make_fndecl from selftest.h to its own headerDavid Malcolm1-0/+1
2024-05-19Daily bump.GCC Administrator1-0/+10
2024-05-17diagnostics, analyzer: add CFG edge visualization to path-printingDavid Malcolm2-2/+19
2024-05-16Daily bump.GCC Administrator1-0/+7
2024-05-15analyzer: fix ICE seen with -fsanitize=undefined [PR114899]David Malcolm1-1/+2
2024-05-04Daily bump.GCC Administrator1-0/+31
2024-05-03testsuite: fix analyzer C++ failures on Solaris [PR111475]David Malcolm9-9/+97
2024-04-13Daily bump.GCC Administrator1-0/+5
2024-04-12analyzer: Bail out on function pointer for -Wanalyzer-allocation-sizeStefan Schulze Frielinghaus1-0/+4
2024-04-11Daily bump.GCC Administrator1-0/+48
2024-04-10analyzer: fix ICE on negative values for size_t [PR114472]David Malcolm3-5/+21
2024-04-10analyzer: add SARIF property bag to -Wanalyzer-infinite-loopDavid Malcolm1-0/+22
2024-04-10analyzer: add SARIF property bag to -Wanalyzer-infinite-recursionDavid Malcolm1-0/+13
2024-04-10analyzer: add SARIF property bags to -Wanalyzer-overlapping-buffersDavid Malcolm3-3/+49
2024-04-10analyzer: show size in SARIF property bag for -Wanalyzer-tainted-allocation-sizeDavid Malcolm1-1/+14
2024-04-10Daily bump.GCC Administrator1-0/+9
2024-04-09Fix up duplicated words mostly in comments, part 2Jakub Jelinek3-4/+4
2024-04-08Daily bump.GCC Administrator1-0/+7
2024-04-05analyzer: respect GCC_COLORS in out-of-bounds diagrams [PR114588]David Malcolm1-6/+2
2024-04-03Daily bump.GCC Administrator1-0/+6
2024-04-02analyzer: prevent ICEs with null typesDavid Malcolm2-1/+4
2024-03-28Daily bump.GCC Administrator1-0/+10
2024-03-27analyzer: fix ICE due to type mismatch when replaying call summary [PR114473]David Malcolm1-0/+12
2024-03-24Daily bump.GCC Administrator1-0/+9
2024-03-23analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR11...David Malcolm2-0/+29
2024-03-23Daily bump.GCC Administrator1-0/+19
2024-03-22analyzer: look through casts in taint sanitization [PR112974,PR112975]David Malcolm1-0/+8
2024-03-22analyzer: add SARIF property bags to taint diagnosticsDavid Malcolm1-3/+47
2024-03-22Daily bump.GCC Administrator1-0/+7
2024-03-21analyzer: fix ignored constraints involving casts [PR113619]David Malcolm1-7/+17
2024-03-21Daily bump.GCC Administrator1-0/+21
2024-03-20analyzer: fix -Wanalyzer-deref-before-check false positive seen in loop heade...David Malcolm1-0/+30
2024-03-20Use integer_{zero,one}_node some moreJakub Jelinek2-21/+21
2024-03-20Daily bump.GCC Administrator1-0/+17
2024-03-19analyzer: fix ICE due to corrupt MEM_REFs [PR113505]Jakub Jelinek1-6/+10
2024-03-19analyzer: fixes to __atomic_{exchange,load,store} [PR114286]David Malcolm1-33/+102
2024-03-19Daily bump.GCC Administrator1-0/+116
2024-03-18analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902,PR110928,...David Malcolm13-327/+928
2024-03-18analyzer: support null operands in remove_ssa_namesDavid Malcolm1-1/+2
2024-03-08Daily bump.GCC Administrator1-0/+9
2024-03-07analyzer: Fix up some -Wformat* warningsJakub Jelinek5-1/+5
2024-03-01Daily bump.GCC Administrator1-0/+87
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm24-127/+159
2024-02-28Daily bump.GCC Administrator1-0/+15
2024-02-27analyzer: use correct format code for string literal indices [PR110483,PR111802]David Malcolm1-1/+1
2024-02-27analyzer: fix ICE on floating-point bounds [PR111881]David Malcolm1-0/+6
2024-02-22Daily bump.GCC Administrator1-0/+16
2024-02-20analyzer: handle array-initialization from a string_cst [PR113999]David Malcolm3-6/+49
2024-02-20analyzer: handle empty ranges in symbolic_byte_range::intersection [PR113998]David Malcolm1-0/+18
generated by cgit v1.1 at 2024-10-19 11:15:06 +0000