git.ipfire.org Git - people/ms/gcc.git/search

]> git.ipfire.org Git - people/ms/gcc.git/search

projects / people / ms / gcc.git / search

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
2022-12-02	David Malcolm	analyzer: add test coverage for string ops Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-01	David Malcolm	analyzer: fix i18n issues in symbolic out-of-bounds... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-01	David Malcolm	analyzer: unify bounds-checking class hierarchies Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-01	David Malcolm	diagnostics: tweak diagnostic_path::interprocedural_p... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-01	David Malcolm	analyzer: more bounds-checking wording tweaks [PR106626] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-01	David Malcolm	analyzer: add note about valid subscripts [PR106626] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-01	David Malcolm	analyzer: fix wording of 'number of bad bytes' note... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-01	David Malcolm	analyzer: move bounds checking to a new bounds-checking.cc Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-12-01	David Malcolm	analyzer: fix ICE on bind/connect with a constant fd... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-30	David Malcolm	analyzer: move stdio known fns to sm-file.cc Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-30	David Malcolm	analyzer work on issues with flex-generated lexers... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-30	David Malcolm	analyzer: fix folding of '(PTR + 0) => PTR' [PR105784] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-24	David Malcolm	analyzer: revamp of heap-allocated regions [PR106473] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-24	David Malcolm	analyzer: fix nondeterminism in logs Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-24	David Malcolm	analyzer: eliminate region_model::on_ fns for sockets Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-24	David Malcolm	analyzer: move known funs for fds to sm-fd.cc Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-22	David Malcolm	analyzer: only look for named functions in root ns... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-22	David Malcolm	analyzer: fix ICE on 'bind(INT_CST, ...)' [PR107783] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-22	David Malcolm	analyzer: fix 'errno' on Solaris and OS X [PR107807] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-22	David Malcolm	analyzer: eliminate region_model::impl_call_* special... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-22	David Malcolm	analyzer: fix ICE on 'bind' that returns a struct ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-22	David Malcolm	analyzer: fix ICE on 'bind' with non-pointer arg [P107783] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-22	David Malcolm	analyzer: fix ICE on writes to errno [PR107777] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-22	David Malcolm	analyzer, testsuite: add more examples taken from CWE Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-19	David Malcolm	analyzer: fix feasibility false +ve on jumps through... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-18	David Malcolm	analyzer: move more impl_* to known_function Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-17	David Malcolm	c, analyzer: fix ICE with -fanalyzer and -Wunused-macros... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-16	David Malcolm	analyzer: more test coverage for named constants Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-16	David Malcolm	analyzer: log the stashing of named constants [PR107711] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-16	David Malcolm	analyzer: use known_function to simplify region_model... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-16	David Malcolm	analyzer: split out checker-path.cc into a new checker... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-15	David Malcolm	analyzer: add warnings relating to sockets [PR106140] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-15	David Malcolm	c, analyzer: support named constants in analyzer [PR106302] Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-13	David Malcolm	analyzer: new warning: -Wanalyzer-tainted-assertion... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-11	David Malcolm	analyzer: more state machine documentation Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-11	David Malcolm	analyzer: split out checker_event classes to their... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-11	David Malcolm	analyzer: new warning: -Wanalyzer-infinite-recursion... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-10	David Malcolm	analyzer: new warning: -Wanalyzer-deref-before-check... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-09	David Malcolm	analyzer: better logging of event creation Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-08	David Malcolm	analyzer: eliminate region_model::eval_condition_without_cm... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-08	David Malcolm	analyzer: start adding support for errno Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-08	David Malcolm	analyzer: introduce succeed_or_fail_call_info Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-08	David Malcolm	analyzer: fix "when 'strchr' returns non-NULL" message Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for state machines from... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for known functions Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	analyzer: use std::unique_ptr during bifurcation Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for checker_event Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for feasibility_problems... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for custom_edge_info... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for saved_diagnostic... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	analyzer: use std::unique_ptr for pending_diagnostic... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	Add gcc/make-unique.h Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
2022-11-03	David Malcolm	analyzer: fix ICE when pipe's arg isn't a pointer ... Signed-off-by: David Malcolm <dmalcolm@redhat.com>	commit \| commitdiff \| tree
next

Michael's GCC tree

RSS Atom