projects
/
platform
/
upstream
/
gcc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add .gbs.conf to align upstream branch with tag
2023-04-27
David Malcolm
analyzer: fix false positives from -Wanalyzer-tainted...
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
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
next