Public Git Hosting - official-gcc.git/search

2023-09-06	David Malcolm	analyzer: implement kf_strstr [PR105899] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-09-06	David Malcolm	analyzer: implement kf_strncpy [PR105899] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-09-06	David Malcolm	analyzer: add ctxt to fill_region/zero_fill_region Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-29	David Malcolm	analyzer: new warning: -Wanalyzer-overlapping-buffers... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-29	David Malcolm	analyzer: improve strdup handling [PR105899] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-25	David Malcolm	analyzer: fix ICE in text art strings support Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-24	David Malcolm	analyzer: implement kf_strcat [PR105899] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-24	David Malcolm	analyzer: handle strlen(BITS_WITHIN) [PR105899] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-24	David Malcolm	analyzer: handle INIT_VAL(ELEMENT_REG(STRING_REG),... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-24	David Malcolm	analyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-24	David Malcolm	analyzer: reimplement kf_memcpy_memmove Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-24	David Malcolm	analyzer: eliminate region_model::get_string_size ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-24	David Malcolm	analyzer: reimplement kf_strcpy [PR105899] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-24	David Malcolm	analyzer: handle symbolic bindings in scan_for_null_terminat... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-24	David Malcolm	analyzer: add logging to impl_path_context Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-22	David Malcolm	analyzer: reimplement kf_strlen [PR105899] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-22	David Malcolm	analyzer: check format strings for null termination... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-22	David Malcolm	analyzer: add kf_fopen Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-22	David Malcolm	analyzer: replace -Wanalyzer-unterminated-string with... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-22	David Malcolm	analyzer: handle NULL inner context in region_model_context_... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-22	David Malcolm	analyzer: add ability for context to add events to... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-22	David Malcolm	analyzer: convert note_adding_context to annotating_context Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-11	David Malcolm	analyzer: new warning: -Wanalyzer-unterminated-string... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-09	David Malcolm	analyzer: remove default return value from region_model... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-04	David Malcolm	analyzer: handle function attribute "alloc_size" [PR110426] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-04	David Malcolm	analyzer: fix some svalue::dump_to_pp implementations Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-03	David Malcolm	testsuite, analyzer: add test case [PR108171] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-08-03	David Malcolm	analyzer: fix ICE on zero-sized arrays [PR110882] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-07-31	David Malcolm	SARIF and -ftime-report's output [PR109361] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-07-26	David Malcolm	analyzer: add symbol base class, moving region id to... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-07-21	David Malcolm	analyzer: avoid usage of TYPE_PRECISION on vector types... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-07-21	David Malcolm	analyzer/text-art: fix clang warnings [PR110433,PR110612] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-07-21	David Malcolm	analyzer: fix ICE on certain pointer subtractions ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-07-19	David Malcolm	analyzer: fix ICE on division of tainted floating-point... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-30	David Malcolm	jit.exp: handle dwarf version mismatch in jit-check... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-30	David Malcolm	jit: avoid using __vector in testcase [PR110466] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-24	David Malcolm	text-art: remove explicit #include of C++ standard... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-23	David Malcolm	c++: provide #include hint for missing includes [PR110164] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-22	David Malcolm	analyzer: add text-art visualizations of out-of-bounds... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-22	David Malcolm	diagnostics: add support for "text art" diagrams Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-22	David Malcolm	testsuite: move handle-multiline-outputs to before... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-16	David Malcolm	c: add name hints to c_parser_declspecs [PR107583] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-13	David Malcolm	c/c++: use positive tone in missing header notes [PR84890] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-09	David Malcolm	analyzer: add caching to globals with initializers... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-02	David Malcolm	analyzer: implement various atomic builtins [PR109015] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-06-02	David Malcolm	analyzer: regions in different memory spaces can't... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-05-30	David Malcolm	testsuite: add verify-sarif-file to some testcases... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-28	David Malcolm	Don't emit -Wxor-used-as-pow on macro expansions [PR107002] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-25	David Malcolm	diagnostics: ensure that .sarif files are UTF-8 encoded... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-24	David Malcolm	docs, analyzer: improvements to "Debugging the Analyzer" Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-24	David Malcolm	json: preserve key-insertion order [PR109163] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-22	David Malcolm	testsuite: always use UTF-8 in scan-sarif-file[-not... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-22	David Malcolm	analyzer: fix false +ves from -Wanalyzer-deref-before... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-18	David Malcolm	analyzer: fix ICE on certain longjmp calls [PR109094] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-15	David Malcolm	diagnostics: attempt to capture crash info in SARIF... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-13	David Malcolm	testsuite: add test coverage for analyzer leak false... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-13	David Malcolm	testsuite: add test coverage for PR analyzer/108045 Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-13	David Malcolm	analyzer, testsuite: add test coverage for various... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-10	David Malcolm	analyzer: fix leak false +ve seen in haproxy's cfgparse... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-10	David Malcolm	analyzer: fix deref-before-check false +ves seen in... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-09	David Malcolm	testsuite: add various -Wanalyzer-null-dereference... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-03	David Malcolm	analyzer: start adding test coverage for OpenMP [PR109016] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-03	David Malcolm	analyzer: provide placeholder implementation of sprintf Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-03	David Malcolm	testsuite: remove XFAIL in gcc.dg/analyzer/pr99716... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-02	David Malcolm	analyzer: fix uninit false +ves reading from DECL_HARD_REGIS... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-01	David Malcolm	analyzer: fixes to side-effects for built-in functions... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-03-01	David Malcolm	analyzer: fix infinite recursion false +ves [PR108935] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-21	David Malcolm	analyzer: stop exploring the path after certain diagnostics... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-16	David Malcolm	analyzer: respect some conditions from bit masks [PR108806] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-15	David Malcolm	analyzer: fix uninit false +ves [PR108664,PR108666... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-10	David Malcolm	analyzer: don't warn for deref-before-check for checks... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-09	David Malcolm	analyzer: fix further overzealous state purging [PR108733] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-08	David Malcolm	analyzer: fix overzealous state purging with on-stack... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-07	David Malcolm	analyzer: fix -Wanalyzer-use-of-uninitialized-value... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-02	David Malcolm	analyzer: fix -Wanalyzer-fd-type-mismatch false +ve... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-02	David Malcolm	analyzer: add deref-before-check-qemu-qtest_rsp_args... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-01	David Malcolm	analyzer: fix uses of alloca in testsuite Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-01	David Malcolm	analyzer: fix -Wanalyzer-allocation-size false -ve... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-02-01	David Malcolm	doc: add notes about limitations of -fanalyzer Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-01-26	David Malcolm	analyzer: fix SARD-tc841-basic-00182-min.c test case... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-01-26	David Malcolm	analyzer: fix false positives from -Wanalyzer-infinite... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-01-19	David Malcolm	analyzer: use dominator info in -Wanalyzer-deref-before... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-01-18	David Malcolm	analyzer: add SARD testsuite 81 Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-01-13	David Malcolm	analyzer: add heuristics for switch on enum type [PR105273] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-01-11	David Malcolm	analyzer: fix leak false positives on "*UNKNOWN = PTR... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-01-05	David Malcolm	gccrs: avoid printing to stderr in selftest::rust_flatten_list Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2023-01-05	David Malcolm	gccrs: add selftest-rust-gdb and selftest-rust-valgrind... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-16	David Malcolm	analyzer: add src_region param to region_model::check_for_po... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-14	David Malcolm	analyzer: don't call binding_key::make on empty regions... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-09	David Malcolm	analyzer: rename region-model-impl-calls.cc to kf.cc Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-09	David Malcolm	analyzer: fix ICE on region creation during get_referenced_b... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-09	David Malcolm	analyzer: handle memmove like memcpy Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-06	David Malcolm	analyzer: don't create bindings or binding keys for... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-06	David Malcolm	analyzer: use __attribute__((nonnull)) at top level... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-06	David Malcolm	contrib: doxygen: add gcc/analyzer subdirectory to... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-06	David Malcolm	analyzer: update internal docs Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-06	David Malcolm	analyzer: split out more stuff from region-model-impl... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-02	David Malcolm	analyzer: introduce struct event_loc_info Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-02	David Malcolm	analyzer: fixes to region creation messages [PR107851] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-02	David Malcolm	analyzer: handle comparisons against negated symbolic... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
next

Mirror of the offical gcc git repository hosted at gcc.gnu.org

RSS Atom